Resources › cs › theory › computation Bookmarks Lecture 3: Gödel, Turing, and Friends Added on August 19, 2025 · 18 min read mathematics/logic cs/theory/computation/models 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 cs/theory/computation/models Lambda Calculus vs. Turing Machines (Theory of Computation) Added on July 22, 2025 · 68:23 · 24.0K views mathematics/logic cs/theory/computation/models TuringConf Added on December 7, 2024 · 25 min read mathematics/logic cs/theory/computation/models Subcategories