Meta Maths: The Quest for Omega |
Conversations with a Mathematician: Math, Art, Science and the Limits of Reason |
Algorithmic Information Theory |
Proving Darwin: Making Biology Mathematical |
INFORMATION-THEORETIC INCOMPLETENESS |
The LIMITS of MATHEMATICS: A Course on Information Theory and the Limits of Formal Reasoning |
Goedel's Way: Exploits into an undecidable world - Gregory Chaitin
- Francisco Doria
- Newton C.A. da Costa
|
Collapse Volume I: Numerical Materialism |
Thinking About Gödel and Turing: Essays on Complexity, 1970-2007 |
|
|