Mathematical proofs at a crossroad (2004)

Cached

Download Links

by Cristian S. Calude , Solomon Marcus
Venue:Theory Is Forever, Lectures Notes in Comput. Sci. 3113
Citations:7 - 7 self

Active Bibliography

1 S.: Passages of proof – Cristian S. Calude, Elena Calude, Solomon Marcus - 2004
legitimise the conquests of intuition... J. – Cristian S. Calude, Elena Calude, Solomon Marcus - 2008
What’s experimental about experimental mathematics? ∗ – Henrik Kragh Sørensen - 2008
1 How to acknowledge hypercomputation? – Alexander Leitsch, Günter Schachner, Karl Svozil - 2007
THE NATURE OF CONTEMPORARY CORE MATHEMATICS – Frank Quinn - 2010
Informal Prologue – Donald N. Petcher - 2000
From Heisenberg to Gödel via Chaitin – Karl Svozil, Cristian S. Calude, Michael A. Stay
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
20 Computing a glimpse of randomness – Cristian S. Calude, Michael J. Dinneen, Chi-kou Shu
Narrative and the Rationality of Mathematical Practice – unknown authors - 2008
The Relationship Between Patterns of Classroom Discourse and Mathematics Learning – Jessica Lynn Pierson - 2008
2 Social Processes, Program Verification and All That – Andrea Asperti, et al. - 2009
An algorithmic information-theoretic approach to the behaviour of financial markets – Hector Zenil, Jean-paul Delahaye - 2010
Is Feasibility in Physics Limited by Fantasy Alone? ∗ – Cristian S. Calude, Karl Svozil - 2011
9 Computational universes – Karl Svozil - 2006
3 Two Philosophical Applications of Algorithmic Information Theory – Gregory Chaitin
and – Er Leitsch, Günter Schachner, Karl Svozil - 712
ARISTOTELIAN REALISM – James Franklin