Abstract
Some time towards the end of the last century, mathematical existence acquired a new meaning that has since become the standard one. This change can be seen in for example David Hilbert’s book on the foundations of geometry of 1899. In brief, the old sense was existence as something constructed, whereas the new one was existence as consistency. So, Hilbert considered a problem to possess a solution if a contradiction could be derived from the assumption that the problem is impossible. Such an indirect proof of existence need not give any indication of how to actually find a solution or even guarantee that one can be found.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Bibliography
Barone, J. and A. Novikoff: 1978, A History of the Axiomatic Formulation of Probability from Borel to Kolmogorov: Part I’, Archive for History of Exact Sciences 18, 123–190.
Bishop, E.: 1967, Foundations of Constructive Analysis,McGraw-Hill, New York. Borel, É.: 1905a, ‘Remarques sur les principes de la théorie des ensembles’, OB 3, 1251–1252.
Borel. É.: 1905b, ‘Remarques sur certaines questions de probabilité’, OB 2, 985–990.
Borel, É.: 1908a, ‘Sur les principles de la théorie des ensembles’, OB 3, 1267–1269.
Borel, E.: 1908b, ‘Les «paradoxes» de la théorie des ensembles’, OB 3, 1271–1276.
Borel, É.: 1909, ‘Les probabilités dénombrables et leurs applications arithmétiques’, OB 2, 1055–1078. Original: Rendiconti del Circolo Matematico di Palermo 27, 247–270.
Borel, É.: 1912, ‘La philosophie mathématique et l’infini’, OB 4, 2127–2136.
Borel, E.: 1926, Applications à l’Arithmétique et à la théorie des fonctions, GauthierVillars, Paris.
Borel, E.: 1937, ‘Sur l’imitation du hasard’, OB 2, 1159–1161.
Borel, E.: 1972, Oeuvres de Emile Borel, vols. 1–4, Editions du CNRS, Paris.
Brouwer, L.: 1921, ‘Besitzt jede reelle Zahl eine Dezimalbruchentwicklung?’, CW 1, 236–245.
Brouwer, L.: 1924, Intuitionistische Zerlegung mathematischer Grundbegriffe’, CW 1, 275–280.
Brouwer, L.: 1975, Collected Works, vol. 1, North-Holland, Amsterdam.
Gyldén, H.: 1888, ‘Quelques remarques relativement à la représentation de nombres irrationnels au moyen des fractions continues’, Comptes rendus 107, 1584–1587.
Gyldén, H.: 1888, ‘Quelques remarques relatives à la représentation de nombres irrationnels au moyen des fractions continues’, Comptes rendus 107, 1777–1781.
van Heijenoort, J. (ed.): 1967, From Frege to Gödel. A Source Book in Mathematical Logic, 1879–1931,Harvard University Press.
Heyting, A.: 1934, Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie, Springer, Berlin.
Hilbert, D.: 1899, Grundlagen der Geometrie, Teubner, Leipzig.
Jervell. H.: 1979, From the axiom of choice to choice sequences — a historical note (unpublished, 6 pages).
Khintchine, A.: 1926, ‘Ideas of Intuitionism and the Struggle for Content in Contemporary
Mathematics (in Russian)’, Vestnik Kommunisticheskaya Akademeya 16 184–192.
Khintchine, A.: 1929, ‘Von Mises’ Doctrine of Probability and the Principles of Physical Statistics (in Russian)’, Uspekhi Fiziceski Nauk 9, 141–166.
Khintchine, A. and A. Kolmogorov: 1925, ‘über Konvergenz von Reihen, deren Glieder durch den Zufall bestimmt werden’, Matematicheski Sbornik 32, 668–676.
Knobloch, E.: 1987, ‘Emile Borel as a Probabilist’, in L. Krüger et al, The Probabilistic Revolution,vol. 1, MIT Press, Cambridge, pp. 215–233.
Kolmogorov, A.: 1925, ‘On the Principle of Excluded Middle (in Russian)’, Mathematicheski Sbornik 32, 646–677.
English: van Heijenoort (1967). Kolmogorov, A.: 1933, Grundbegriffe der Wahrscheinlichkeitsrechnung,Springer, Berlin.
Lévy, P.: 1929, ‘Sur les lois de probabilité dont dépendent les quotients complets et incomplets d’une fraction continue’, Bulletin de la Societé mathématique de France 57, 178–194.
Lévy, P.: 1972, Commentaire sur la théorie des probabilités dénombrables, in Borel (1972), vol. 1, 221–226. (Originally published in 1940.)
von Mises, R.: 1919, ‘Grundlagen der Wahrscheinlichkeitsrechnung’, Mathematische Zeitschrift 5, 52–99.
Sierpinski, W.: 1917, ‘Une démonstration élémentaire du théorème de M. Borel sur les nombres absolument normaux et une détermination effective d’un tel nombre’, Bulletin de la Societé mathématique de France 45, 125–132.
Steinhaus, H.: 1923, ‘Les probabilités dénombrables et leur rapport à la théorie de la mesure’, Fundamenta Mathematicae 4, 286–310.
Steinhaus, H.: 1938, ‘La théorie et les applications des fonctions indépendents au sens stochastique’, Actualités scientifiques et industrielles, no. 738, Hermann, Paris.
Troelstra, A.: 1982, ‘On the Origin and Development of Brouwer’s Concept of Choice Sequence’, in A. Troelstra and D. van Dalen (eds.), The L. E. J. Brouwer Centenary Symposium, North-Holland, Amsterdam, pp. 465–486.
Weyl, H.: 1920, ‘Das Verhältnis der kausalen zur statistichen Betrachtungsweise in der Physik’, Gesammelte Abhandlungen 2, 113–122. Originally in the Schweizerische Medizinische Wochenschrift.
Weyl, H.: 1927, Philosophie der Mathematik und Naturwissenschaft, Oldenbourg, München u. Berlin.
Wiener, N.: 1924, ‘Un problème de probabilités dénombrables’, Bulletin de la Societe mathématique de France 52, 569–578.
Wiman, A.: 1900, ‘über eine Wahrscheinlichkeitsaufgabe bei Kettenbruchentwicklungen’, Kongliga Vetenskaps-Akademiens Förhandlingar, 829–841.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Von Plato, J. (1995). Chance Against Constructibility. In: Hintikka, J. (eds) From Dedekind to Gödel. Synthese Library, vol 251. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8478-4_11
Download citation
DOI: https://doi.org/10.1007/978-94-015-8478-4_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4554-6
Online ISBN: 978-94-015-8478-4
eBook Packages: Springer Book Archive