Article series · 6 parts
Intro to incompleteness
A computational approach to Gödel’s First Incompleteness Theorem, using Python programs and Turing machines.
Start readingI build AI products, from the first idea to launch. I like working close to both the code and the business: choosing what’s worth doing and bringing together the people who can make it happen.
Notes on software, AI, and the mathematics behind computation. Ideas worked through with explanations, examples, and code.
All notesArticle series · 6 parts
A computational approach to Gödel’s First Incompleteness Theorem, using Python programs and Turing machines.
Start readingAnd, along the way, an introduction to AAC systems and language models
Projects I build to explore an idea, solve a practical problem, or share what I’ve learned.
All