formal systems of proof
1 episode mention this concept
Knowledge Graph
Related concepts — line thickness indicates connection strength. Click any node to explore.
Related concepts
Concepts that appear alongside formal systems of proof across episodes.
- quantum mechanics
- computability
- general relativity
- bottom-up ai systems
- artificial intelligence (ai) ethics
- universal turing machine
- continuum vs. discrete systems in physics
- reflection (as a component of understanding)
- conscious planning in animals
- gödel's incompleteness theorem
- computational view of consciousness
- non-computational understanding
- cerebellum vs. cerebrum