Orch-OR
Orchestrated objective reduction (Orch-OR) is a model of consciousness theorized by theoretical physicist Sir Roger Penrose and anesthesiologist Stuart Hameroff, which claims that consciousness derive...
Gödel's incompleteness theorems
Gödel's incompleteness theorems are two theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. The theorems, pro...
Penrose interpretation
The Penrose interpretation is a prediction by Sir Roger Penrose (born 1931) about the relationship between quantum mechanics and general relativity. Penrose proposes that a quantum state remains in s...
Proof sketch for Gödel's first incompleteness theorem
This article gives a sketch of a proof of Gödel's first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses, which are discussed as needed dur...