legitimise the conquests of intuition... J.

legitimise the conquests of intuition... J. (2008)

Cached

Download Links

[arxiv.org]

by Cristian S. Calude , Elena Calude , Solomon Marcus

BibTeX

@MISC{Calude08legitimisethe,
    author = {Cristian S. Calude and Elena Calude and Solomon Marcus},
    title = {legitimise the conquests of intuition... J.},
    year = {2008}
}

Bookmark

OpenURL

Abstract

The object of mathematical rigour is to sanction and

Citations

351	Syntactic Structures - Chomsky - 1957
118	The Fabric of Reality - Deutsch - 2000
89	Social processes and the proofs of theorems and programs - DeMillo, Lipton, et al. - 1979
67	Randomness and mathematical proof - Chaitin - 1975
62	Solvability of groups of odd order - Feit, Thompson - 1963
49	Information and Randomness: An Algorithmic Perspective, 2nd edn. Revised and Extended - Calude - 2002
42	The unknowable - Chaitin - 1999
42	Exploring Randomness - Chaitin - 2001
20	Experimental Mathematics: Recent Developments and Future Outlook - Bailey, Borwein
20	A new proof of the four-colour theorem - Robertson, Sanders, et al. - 1996
18	Impossibility: the limits of science and the science of limits - Barrow - 1998
18	Is independence an exception - Calude, Jürgensen, et al. - 1994
16	Computing with Cells and Atoms - Calude, Paun - 2001
16	A version of Ω for which ZFC can not predict a single bit - Solovay - 2000
14	Chaitin Ω numbers, Solovay machines and incompleteness, Theoret - Calude
14	Computing a glimpse of randomness - Calude, Dinneen
12	Randomness everywhere - Calude, Chaitin - 1999
10	Theory and practice - Knuth - 1985
9	The four–colour problem and its philosophical significance - Tymoczko - 1979
8	What Is Mathematics - Hersh - 1997
6	Every Planar Graph is Four Colorable - Appel, Haken - 1989
6	The journey of the four colour theorem through time - Calude
6	complexity, randomness and beyond, Minds and Machines - Incompleteness
6	Computers, paradoxes and the foundations of mathematics - Chaitin - 2002
5	Computation of the regular continued fraction for Euler’s constant - Brent - 1977
5	Constructive Truth in practice - Bridges
5	Slaying the kraken. The sociohistory of a mathematical proof - MacKenzie - 1999
4	Personal communication to - Chaitin - 2002
4	Towards the animation of proofs–testing proofs by examples, Theoret - Hayashi, Sumitomo, et al.
4	Topologie et linguistique - Thom - 1970
3	A Play, Faber - Proof - 2001
3	Triangle of Thoughts - Connes, Linchnerowicz, et al. - 2001
3	Pour L’honneur de l’Esprit Humain - Dieudonné - 1986
3	Thought from Ancient to Modern Times - Kline - 1972
3	No system can be improved in all respects - Marcus - 1998
3	Dialogues on Mathematics - Rényi - 1967
3	Modern mathematics: does it exist - Thom - 1973
3	The philosophical implications of the four–colour problem - Swart - 1980
2	The computer and mathematics - Beyer
2	Real mathematicians don’t prove, EWD1012 - Dijkstra - 1988
2	Personal communication to S. Marcus (about 20 years ago - Foia¸s
2	Contexts of justification - Harris
2	The philosophy of proof - Hunt
2	between variety and uniformity: the conjugate pairs - Imprecision - 1998
2	Metaphor as dictatorship - Marcus - 1997
2	Complementarity in social structures - Rosen - 1978
2	Überprüfung des Beweises für den Vierfarben Satz, Diplomarbeit Technische Hochschule - Schmidt - 1982