Passages of proof (2004)

by Cristian S. Calude , Elena Calude , Solomon Marcus
Venue:BULL. EUR. ASSOC. THEOR. COMPUT. SCI. EATCS
Citations:1 - 1 self

Active Bibliography

legitimise the conquests of intuition... J. – Cristian S. Calude, Elena Calude, Solomon Marcus - 2008
7 Mathematical proofs at a crossroad – Cristian S. Calude, Solomon Marcus - 2004
In mathematics you don’t understand things. You just get used to them. J. von Neumann From Heisenberg to Gödel via Chaitin – Cristian S. Calude, Michael A. Stay - 2008
11 From Heisenberg to Gödel via Chaitin – Cristian S. Calude, Michael A. Stay - 2004
From Heisenberg to Gödel via Chaitin – Karl Svozil, Cristian S. Calude, Michael A. Stay
Who Is Afraid of Randomness? – C.S. Calude, Cristian S. Calude, Ivar Ekeland - 2000
8 Exact Approximations of Omega Numbers – C. S. Calude, M. J. Dinneen, Cristian S. Calude, Michael J. Dinneen
20 Computing a glimpse of randomness – Cristian S. Calude, Michael J. Dinneen, Chi-kou Shu
18 Transcending the Limits of Turing Computability – Vadim A. Adamyan, Cristian S. Calude, Boris S. Pavlov - 1998
12 Algorithmic randomness, quantum physics, and incompleteness – Cristian S. Calude - 2004
9 Is Complexity a Source of Incompleteness? – Cristian S. Calude , Helmut Jürgensen - 2004
17 Chaitin Ω Numbers, Solovay Machines, and Incompleteness – Cristian S. Calude - 1999
5 WORDS AND TRANSCENDENCE – Michel Waldschmidt - 2009
A Program-Size Complexity Measure for Mathematical Problems and Conjectures – Michael J. Dinneen
3 Very simple Chaitin machines for concrete AIT – Michael Stay - 2005
10 A New Measure of the Difficulty of Problems – Cristian S. Calude, Elena Calude, Michael J. Dinneen - 2006
Most short programs halt quickly – Cristian S. Calude, Michael A. Stay - 2008
9 Most programs stop quickly or never halt – Cristian S. Calude, Michael A. Stay
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY – unknown authors