A Python implementation of formal systems from the book “Gödel, Escher, Bach”

My implementation of M-I-U, more than 30 years ago, as a kid, in Turbo Pascal.<p><a href="https:&#x2F;&#x2F;github.com&#x2F;ehud&#x2F;MIU" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;ehud&#x2F;MIU</a>

For those not in the know, the first book ever bought from Amazon was Douglas Hofstadter&#x27;s &quot;Fluid Concepts and Creative Analogies : Computer Models of the Fundamental Mechanisms of Thought&quot;

Here is an introduction to the MIU formal system for someone who hasn&#x27;t read GEB.<p><a href="https:&#x2F;&#x2F;sirodoht.xyz&#x2F;blog&#x2F;the-miu-formal-system&#x2F;" rel="nofollow">https:&#x2F;&#x2F;sirodoht.xyz&#x2F;blog&#x2F;the-miu-formal-system&#x2F;</a>

On a related note, if you are interested in learning more about Godel and the Incompleteness Theorem and its significance, I recommend the book Incompleteness by Rebecca Goldstein.

I remember doing this with pen and paper ages ago when I read the book. Somehow it clicked with me a lot better than my Abstract Algebra lectures.

Author here! Thanks for the post :)

Here&#x27;s some more Python related to the book (by a coworker):<p><a href="https:&#x2F;&#x2F;github.com&#x2F;Quuxplusone&#x2F;TNT" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;Quuxplusone&#x2F;TNT</a>

I once did an introductory talk to Agda that was structured around solving the MU problem, i.e. proving that MU is not derivable in MIU: <a href="https:&#x2F;&#x2F;unsafePerform.IO&#x2F;projects&#x2F;agda&#x2F;sg-meetup&#x2F;SGMeetup.pdf" rel="nofollow">https:&#x2F;&#x2F;unsafePerform.IO&#x2F;projects&#x2F;agda&#x2F;sg-meetup&#x2F;SGMeetup.pd...</a> (the MIU bit starts in Part III, slide 46)

Nice, I wrote code for MU as well. What about BlooP and friends?

I&#x27;d be interested in seeing implementation of the machine learning systems from &quot;fluid concepts&quot;

Where&#x27;s typogenetics? :D

I am not a mathematician but are there any others who have problems with Godel&#x27;s &#x27;Theorem&#x27;?