alexprengere/FormalSystems

A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"

310 best points · 45 comments · 1 Hacker News post · 626 GitHub stars · View on GitHub

Hacker News discussions

• A Python implementation of formal systems from the book “Gödel, Escher, Bach” (310 points, 45 comments, by geospeck, 2017-03-30)