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

Re:A Python implementation of formal systems from the book “... by ehudla on Thursday March 30, 2017 @02:11PM (#13997586)

I was asked how to install Pascal now, but I have no idea. I suspect the code relies on DOS and Turbo Pascal too much to run now without jumping through some hoops.

[ Parent | on HN ]

Re:A Python implementation of formal systems from the book “... by pjmlp on Thursday March 30, 2017 @02:55PM (#13997945)

I had a quick look through it, you might be able to run it with FreePascal.

http://www.freepascal.org/

[ Parent | on HN ]

Re:A Python implementation of formal systems from the book “... by ehudla on Thursday March 30, 2017 @03:03PM (#13997991)

Thanks!

[ Parent | on HN ]