Abstract
The question of an internal logic of mathematical practice is examined from a finitist point of view. The Gel’fond–Schneider theorem in transcendental number theory serves as an instance of a proof-theoretical investigation motivated and justified by constructivist foundations of logic and mathematics. Constructivist notions are emphasized by contrasting the arithmetical proof procedure of infinite descent with the principle of transfinite induction. It is argued that intuitionistic logic cannot alone provide secure foundations for constructivist mathematics and a finitist logic is briefly sketched in the framework of polynomial arithmetic.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Baker, A.: Transcendental Number Theory. Cambridge University Press, London (1975)
Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
Bishop, E.: Mathematics as a Numerical Language. In: Intuitionism and Proof Theory, pp. 53–71. North-Holland, Amsterdam, New York (1970)
Dummett, M.: Elements of Intuitionism. Clarendon Press, Oxford (2000)
de Fermat, P.: Oeuvres, vol. 2, Gauthier-Villars, Paris (1894)
Gauthier, Y.:. Hilbert and the Internal Logic of Mathematics. Synthese 101, 1–14 (1994)
Gauthier, Y.: Internal Logic. Foundations of Mathematics from Kronecker to Hilbert. Kluwer, Dordrecht, Boston, London (2002)
Gauthier, Y.: Logique arithmétique. L’arithmétisation de la logique. Presses de l’Université Québec, Laval (2010)
Gauthier, Y.:. Hilbert Programme and Applied Proof Theory. Log. Anal. 213, 40–68 (2011)
Gauthier, Y.: Kronecker in Contemporary Mathematics. General Arithmetic as a Foundational Programme. Rep. Math. Log., 48, 37–65 (2013)
Gel’fond, A.O.: Sur le septieme Probleme de Hilbert. C. r. Acad. Sci. URSS Mosc. 2 1–6 (1934)
Gel’fond, A.O.: Sur le septieme Probleme de Hilbert. Bull. Acad. Sci. URSS Leningr. 7, 623–634 (1934)
Gel’fond, A.O., Linnik, V.: Elementary Methods in Analytic Number Theory. Rand McNally (1965)
Gentzen, G.: Collected Papers, ed. by E. Szabo. North-Holland, Amsterdam (1969)
Herbrand, J.: É crits logiques, ed. by J. van Heijenoort. PUF, Paris (1968)
Kolmogorov, A.N.: O Prinzipe tertium non datur. Mat. Sb. 32, 646–667 (1925)
Kreisel, G.: Ordinal logics and the Characterization of Informal Concepts of Proof. Proc. 1958 Int. Congr. Math., pp. 289–299. Cambridge University Press, Cambridge (1960)
Kreisel, G.: What Have We Learnt From Hilbert’s Second Problem? Mathematical Developments Arising From Hilbert’s Problems, pp. 93–130. American Mathematical Society, Providence, Rhode Island (1976)
Kronecker, L.: Grundzüge einer arithmetischen Theorie der algebraischen Größen. Werke, vol. III, pp. 245–387, ed. by K. Hensel, 5 vols. Chelsea, New York (1968)
Kronecker, L.: Zur Theorie der Formen höherer Stufe. Werke, vol. II, pp. 419–424, ed. by K. Hensel, 5 vols. Chelsea, New York (1968)
Serre, J.-P.: How to use finite fields for problems concerning infinite fields. Proc. Conf. Marseille-Luminy, Cont. Math. Series, AMS (2007)
Mochizuki, S.: Inter-universal Teichmüller Theory IV. Log-volume Computations and Set-theoretic Foundations. Homepage of S. Mochizuki, August 2012 (2012)
Schneider, T.: Transzendenzuntersuchungen periodischer Funktionen. J. Reine Angew. Math. 172, 65–69 (1934)
Schneider, T.: Transzendenzuntersuchungen periodischer Funktionen II. J. Reine Angew. Math. 172, 70–74 (1934)
Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, vol. 1. North-Holland, Amsterdam (1988)
Troelstra, A.S.: Constructivism and Proof Theory. ILLC, University van Amsterdam (2003)
Voevodsky, V.: Univalent Foundations Project. A modified version of an NSF grant application. October 1, 2010.
Weil, A.: On the Riemann Hypothesis in Function Fields. Proc. Natl. Acad. Sci. USA 27, 345–347 (1941)
Weil, A.: Number Theory. An Approach Through History. From Hammourabi to Legendre. Birkhäuser, Basel (1984)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Gauthier, Y. (2015). A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory. In: Koslow, A., Buchsbaum, A. (eds) The Road to Universal Logic. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-15368-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-15368-1_13
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-15367-4
Online ISBN: 978-3-319-15368-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)