Resources › cs › theory › computation › models Bookmarks Lecture 3: Gödel, Turing, and Friends Added on August 19, 2025 · 18 min read mathematics/logic Juergen Schmidhuber: Godel Machines, Meta-Learning, and LSTMs | Lex Fridman Podcast #11 Added on July 22, 2025 · 79:58 · 137.6K views ai/neural_networks Lambda Calculus vs. Turing Machines (Theory of Computation) Added on July 22, 2025 · 68:23 · 24.0K views mathematics/logic TuringConf Added on December 7, 2024 · 25 min read mathematics/logic Subcategories