Gödel’s first incompleteness theorem: an interactive tutorial

This post is published externally at https://busy-beavers.tigyog.app/incompletenessexternal link.

Tagged #tigyog.

Similar posts

More by Jim

Want to build a fantastic product using LLMs? I work at Granola where we're building the future IDE for knowledge work. Come and work with us! Read more or get in touch!

This page copyright James Fisher 2022. Content is not associated with my employer. Found an error? Edit this page.