[FRIAM] visualization of logic(s)

[Carl Tollander]

Check out John Baez's recent work on Azimuth blog....

C


On Sep 22, 2017 17:50, "gⅼеɳ ☣" <gepropella at gmail.com> wrote:

>
> Given the discussion of logic(s), I imagine a visualization where we take
> a language, maybe ZFC, come up with a set of sentences, maybe 100 or so,
> and place them on a 2D grid, where each grid point shows their truth
> value.  So, you'd have a 10x10 grid of T's and F's based on how those
> sentences evaluated in ZFC.  You also include a button or something that
> allows you to modify the language in some way.  E.g. click on the button
> and it removes the axiom of regularity and you see the grid points change
> from T to F.  I suppose you could do this with a smattering of sentences
> from first- and (first- plus) second-order logic as well.  I suppose it
> would be critical which sentences you included in the grid and their
> relationship with the underlying language.  In addition to T and F, you
> might also have something like ∞ for undefined, undecidable, or nonsense.
>
> What do you think?  Is this a silly idea?  Does something like it exist
> already?  Would it be interesting?  Useless?
>
> --
> ☣ gⅼеɳ
>
> ============================================================
> FRIAM Applied Complexity Group listserv
> Meets Fridays 9a-11:30 at cafe at St. John's College
> to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
> FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20170922/1a2b3532/attachment.html>