Ludwig - cs/theory/computation

LudwigAbap

Resources › cs › theory › computation

Bookmarks

video youtube.com · 1:10:14 Blaise Agüera y Arcas and Michael Levin: The Computational Foundations of Life and Intelligence computational biology models

video youtube.com · 1:06:53 David Jaz Myers: Paradigms of composition models category theory

bookmark developmentalsystems.org · 1 min Exploring Flow-Lenia Universes with a Curiosity-driven AI Scientist: Discovering Diverse Ecosystem Dynamics fundamentals models

bookmark ludwigabap.com · 2h 36m Why Philosophers Should Care About Computational Complexity models epistemology
video youtube.com · 1:11:25 Computational Complexity and Explanations in Physics–Scott Aaronson (University of Texas at Austin) quantum epistemology theoretical foundations

bookmark thoughtforms.life · 14 min Algorithms Redux: finding unexpected properties in truly minimal systems models

bookmark alife.org · 1 min Lenia models

video youtube.com · 1:17:34 Lecture 22 - Kolmogorov Complexity + Halting Problem + Godel Incompleteness models logic logic

video youtube.com · 57:24 Professor Avi Wigderson on the "P vs. NP" problem cryptography complexity
video youtube.com · 56:12 "A Theoretical Computer Science Lens on Consciousness" by Lenore Blum, Manuel Blum, and Avrim Blum consciousness models mind

bookmark writings.stephenwolfram.com · 1h 1m The Ruliology of Lambdas models functional

bookmark scottaaronson.com · 18 min Lecture 3: Gödel, Turing, and Friends models logic

bookmark rkka21.ru · 45 min An Overview Of Computational Complexity models

video youtube.com · 52:01 Stephen Wolfram - Where the Computational Paradigm Leads (in Physics, Tech, AI, Biology, Math, ...) models metaphysics
video youtube.com · 17:57 What P vs NP is actually about cryptography complexity
bookmark cs.cmu.edu · 52 min On The Unusual Effectiveness Of Logic In Computer Science models logic

video youtube.com · 23:54 Halting Problem & Quantum Entanglement 2020 Breakthrough result [MIP*=RE] complexity logic
video youtube.com · 1:04:50 Physicist Dr. David Deutsch-Quantum Computing, Turing Machines, & Multiverses (THE SAAD TRUTH_1742) quantum quantum computing epistemology
video youtube.com · 36:54 But what is quantum computing? (Grover's Algorithm) complexity models
video youtube.com · 1:27:38 Stephen Wolfram | Computational Foundations of Everything models epistemology
video youtube.com · 1:08:23 Lambda Calculus vs. Turing Machines (Theory of Computation) models logic logic
video youtube.com · 1:45:56 Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62 complexity
video youtube.com · 1:28:22 Quantum Computing for Computer Scientists models
video youtube.com · 17:56 Busy Beaver Turing Machines - Computerphile models

bookmark rjlipton.com · 3 min Logical Complexity of Proofs complexity logic

bookmark turing100.acm.org · 25 min TuringConf models logic

bookmark beza1e1.tuxen.de · 8 min Accidentally Turing-Complete models

Subcategories

complexity (8)
models (20)