On Wednesday, May 8, 2019 at 10:03:08 AM UTC-5, Bruno Marchal wrote: > > > On 5 May 2019, at 22:24, 'Brent Meeker' via Everything List < > [email protected] <javascript:>> wrote: > > Thanks for the interesting reply. > > > You are welcome. > > > > This is the piece my friend was thinking of: > > > https://www.mit.edu/people/dpolicar/writing/prose/text/epistemologicalNightmare.html > > > > OK. Nice. I forgot that little piece of chef-d’oeuvre, which is indeed in > the book "MIND’S I” edited by Dennett and Hofstadter. The closest book to > the correct consequence of Mechanism. I would add pieces of Daniel > Galouye’s book Simulacron III in a next possible edition. > > All books by Smullyan are good introduction to what I call the “theology > of the machine”, mainly the theory G*, or qG*, or qG1* and their mandatory > intensional variants. The most explicit one is “Forever Undecided” where > the Gödel diagonal lemma, or Kleene’s second recursion theorem is > “modelled” by a human visiting the island of night and knaves. > > Bruno > > > Some Smullian (*To Mock a Mockingbird*), reflective and monadic programming, in Haskell:
Combinators in Haskell http://logicaltypes.blogspot.com/2008/08/combinators-in-haskell.html Combinatory Birds as Types http://logicaltypes.blogspot.com/2008/08/combinatory-birds-as-types.html https://wiki.haskell.org/Combinatory_logic https://github.com/simon-frankau/mock-a-mockingbird @philipthrift -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/c59f5b0d-a6ba-475a-93a7-d2d8dbba3d09%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
