Awesome Lists

FormalSystems

by alexprengere

Pythonpushed over 5 years ago

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

AI summary

Formal System Simulator

An implementation of formal systems from Douglas Hofstadter's book Gödel, Escher, Bach

stars
619
forks
35
watching
23
awesome list
1
View on GitHubalexprengere.github.com/FormalSystems

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/alexprengere/FormalSystems/links.svg)](https://awesome.facts.dev/awesome/alexprengere/FormalSystems)
HTML
<a href="https://awesome.facts.dev/awesome/alexprengere/FormalSystems"><img src="https://awesome.facts.dev/shield/alexprengere/FormalSystems/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/alexprengere/FormalSystems/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.