What does Gödel's theorem show about any formal system, and what does Penrose conclude from it?
If a human sees truths no formal procedure can prove, understanding is not computation.
Roger Penrose · Shadows of the Mind: A Search for the Missing Science of Consciousness
What happens to a synapse when neuron A repeatedly fires neuron B?
Neurons that fire together wire together: learning is local, not commanded from above.
Donald O. Hebb · The Organization of Behavior
Why can't a classical computer efficiently simulate a large quantum system?
Nature computes quantum-mechanically, so only a quantum machine can simulate it faithfully.
Richard Feynman · Simulating Physics with Computers
Why can a brain recognize faces on just twenty watts, even though neurons are millions of times slower than transistors?
The brain doesn't speak math: it computes slowly but in parallel, winning on twenty watts.
John von Neumann · The Computer and the Brain
Why, according to Penrose, can a computer not replicate the human mind?
The mechanism of the human mind transcends computation, being inaccessible to any algorithm.
Roger Penrose · The Emperor's New Mind
Why are there questions that no computer can answer?
Some problems are undecidable: no computer can solve them, no matter how powerful.
Charles Petzold · The Annotated Turing
How does a rational agent function in artificial intelligence?
Artificial intelligence is built through rational agents that perceive their environment and act to achieve goals.
Stuart Russell și Peter Norvig · Artificial Intelligence: A Modern Approach
What nullifies the protection of a strong cryptographic algorithm?
Modern cryptography protects messages only if the mathematical algorithms are implemented without errors.
Bruce Schneier · Applied Cryptography: Protocols, Algorithms, and Source Code in C
What guarantees that a simple Turing machine is so powerful?
A simple Turing machine can compute anything any other computer ever could.
Alan Turing · On Computable Numbers, with an Application to the Entscheidungsproblem
What fundamental unit of information measurement did Shannon introduce?
Any information can be reduced to a sequence of simple yes/no questions, called bits.
Claude Shannon · A Mathematical Theory of Communication
How did Euclid build the truths of complex geometry?
From simple, self-evident axioms, entire geometry is built through logical steps.
Euclid · Elements
What happens when a supposedly useless mathematical theory becomes essential for online security?
Pure mathematics is the pursuit of beauty, not immediate utility
G. H. Hardy · A Mathematician's Apology
Why do people and computers aim for a good‑enough solution instead of the optimal one?
People and computers settle for “good enough” solutions because of bounded rationality
Herbert A. Simon · The Sciences of the Artificial
What happens if a true statement cannot be proved within its own system?
In any sufficiently powerful formal system there are true statements that cannot be proved using its own rules.
Ernest Nagel and James R. Newman · Gödel's Proof
Why do we choose Euclidean geometry over other geometries?
Geometry is a practical convention, not an absolute truth, chosen to simplify calculations.
Henri Poincaré · Science and Hypothesis
What happens to a simple program’s performance when the data volume grows significantly?
A good program doesn’t just work; it uses the most efficient method, like a chef choosing the optimal recipe
Donald Knuth · The Art of Computer Programming
What happens when a system refers to itself?
Consciousness arises from self‑referential loops, like a hand drawing itself.
Douglas Hofstadter · Gödel, Escher, Bach: An Eternal Golden Braid
Why does measuring a coastline with a smaller ruler yield a greater length?
Natural forms are fractal: their jagged structure repeats identically at any scale of magnification.
Benoit Mandelbrot · The Fractal Geometry of Nature
How does an automatic system adjust itself to reach a desired state?
Systems self-regulate by using feedback from the results of their own actions.
Norbert Wiener · Cybernetics: Or Control and Communication in the Animal and the Machine
What did the monumental effort in Principia Mathematica demonstrate about the foundations of mathematics?
Fundamental mathematics can be derived from pure logical principles, but the proof is extremely laborious.
Bertrand Russell and Alfred North Whitehead · Principia Mathematica
You're all caught up. Come back later.
List