formal systems
2 episodes mention this concept
lexfridmanFeb 17, 2020Quantum Computing, Computational Complexity, and the Philosophical Limits of Prediction with Scott Aaronson
ScienceQuantum ComputingComputational Complexity TheoryComplexity ClassesComplexity Zoo wiki- lexfridman
Roger Penrose on Consciousness, Computation, and the Limits of Artificial Intelligence
ScienceComputational view of consciousnessGödel's Incompleteness TheoremUniversal Turing machineNon-computational understanding
Knowledge Graph
Related concepts — line thickness indicates connection strength. Click any node to explore.
Related concepts
Concepts that appear alongside formal systems across episodes.
- q-prime (scientific/mathematical sub-questions)
- complexity zoo wiki
- chaotic amplification (butterfly effect)
- hodgkin-huxley equations
- thermal noise
- hard problem of consciousness
- predictability of behavior
- turing test
- computational complexity theory
- nano robots
- free will (compatibilist, libertarian)
- quantum computing
- quantum state
- artificial general intelligence (agi)
- complexity classes
- quantum information theory
- quantum mechanics (amplitudes, superposition, destructive measurement)