Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction: The Internal Logic of Arithmetic Kapitel lesen Erstes Kapitel lesen

2015 | OriginalPaper | Buchkapitel

4. Kronecker’s Foundational Programme in Contemporary Mathematics

verfasst von : Yvon Gauthier

Erschienen in: Towards an Arithmetical Logic

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

A few important mathematicians have emphasized Kronecker’s influence on contemporary mathematics, among them, first and foremost Weil (1976, 1979a) has stressed the fact that Kronecker is the founder of modern algebraic geometry and Edwards (1987a,b, 1992) after Weyl (1940) has insisted on Kronecker’s pioneering work in algebraic number theory (divisor theory). Bishop (1970) has admitted in his work on the computational (or numerical) content of classical analysis that his enterprise was more in line with Kronecker than with Brouwer. Brouwer himself paid tribute to Kronecker—as did Poincaré and Hadamard—for his contribution to the fixed point theorems (see Gauthier 2009a).

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Arithmetization of Logic
Nächstes Kapitel Arithmetical Foundations for Physical Theories
Fußnoten
1
The content of this chapter has originally appeared partially in Reports on Mathematical Logic 48 (2013), 37–65.
 
2
See Kronecker (1883, p. 421). Edwards (1990, p. 2) rightly suggests that Dedekind’s Prague Theorem—a generalization of Gauss Lemma to the algebraic case—is but a consequence of Kronecker’s result.
 
Literatur
W. Ackermann (1940): Zur Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen, 117(2):162–194.MathSciNetCrossRef
E. Bishop (1970): Mathematics as a Numerical Language. In Intuitionism and Proof Theory, 53–71. North-Holland, Amsterdam and New-York.
J. Dieudonné (1974): Cours de Géométrie Algébrique 1. PUF, Paris.MATH
H. M. Edwards (1987a): Divisor Theory. Birkhaüser, Basel.
H. M. Edwards (1992): Kronecker’s arithmetic theory of algebraic quantities. Jahresbericht der Deutschen Mathematiker Vereinigung, 94(3):130–139.MATHMathSciNet
G. Faltings and G. Wüstholz (1984): Rational Points. Vieweg Verlag, Braunschweig-Wiesbaden.MATHCrossRef
G. Frege (1983): Grundgesetze der Arithmetik. H. Pohle, Jena.
Y. Gauthier (1983a): Le constructivisme de Herbrand. Journal of Symbolic Logic, 48(4):1230.MathSciNet
Y. Gauthier (1991): De la logique interne. Vrin, Paris.
Y. Gauthier (1997a): Logique et fondements des mathématiques. Diderot, Paris.MATH
Y. Gauthier (2002): Internal Logic. Foundations of Mathematics from Kronecker to Hilbert. Kluwer, Synthese Library, Dordrecht/Boston/London.MATH
Y. Gauthier (2007): The Notion of Outer Consistency from Hilbert to Gödel (abstract). Bulletin of Symbolic Logic, 13(1):136–137.
Y. Gauthier (2010): Logique Arithmétique. L’arithmétisation de la logique. Presses de l’Université Laval, Québec.
Y. Gauthier (2011): Hilbert Programme and Applied Proof Theory. Logique et Analyse, 213:46–68.MathSciNet
J. Giraud (1964): Méthode de la descente. Mémoire 2 de la Société Mathématique de France.
K. Gödel (1958): Über eine noch nicht benüzte Erweiterung des finiten Standpunktes. Dialectica, 12:230–237.CrossRef
A. Grothendieck (1960): Technique de descente et théorèmes d’existence en géométrie algébrique I, Généralité. Descente par morphisme fidèlement plats. Séminaire Bourbaki, 5 (1958–1960) Exp. No. 90, 29 p.
A. Grothendieck and M. Raynaud (1971): Revêtements étale et Groupe fondamental (SGA1), Séminaire de Géométrie algébrique du Bois-Marie 1960–1961. Lecture Notes in Mathematics, Springer-Verlag.
J. Herbrand (1968): Écrits logiques. J. van Heijenoort, ed. PUF, Paris.
D. Hilbert (1905): Über die Grundlagen der Logik und der Arithmetik. in Verhandlungen des dritten internationalen Mathematiker-Kongresses in Heidelberg, Krazer (ed.) Leipzig: B.G. Teubner, 1905, 95:174–185.
D. Hilbert (1926): Über das Unendliche. Mathematische Annalen, 95: 161–190. trad. par A. Weil sous le titre “Sur l’infini”, Acta Mathematica 48: 91–122.
D. Hilbert (1935): Gesammelte Abhandlungen 3 vols. Chelsea, New York.
U. Kohlenbach (2008a): Functional Interpretations and their Use in Current Mathematics. Dialectica, 62:223–267.MathSciNetCrossRef
U. Kohlenbach (2008b): Applied Proof Theory: Proof Interpretations and their Use in Mathematics. Springer, Heidelberg.
G. Kreisel (1981): Extraction of bounds: interpreting some tricks of the trade. In P. Suppes, editor. University-level computer-assisted instruction at Stanford: 1968–1980, Stanford University Institute for Mathematical Studies in the Social Sciences.
S. Kripke (2009): The Collapse of the Hilbert Program: Why a System Cannot Prove its Own 1-consistency. The Bulletin of Symbolic Logic, 15(2):229–230.CrossRef
L. Kronecker (1883): Zur Theorie der Formen höherer Stufen. Werke, II:419–424.
L. Kronecker (1884): Über einige Anwendungen der Modulsysteme auf elementare algebraische Fragen. Werke, III:47–208.
L. Kronecker (1889): Grundzüge einer arithmetischen Theorie der algebraischen Grössen. Werke, II:47–208.
L. Kronecker (1901): Vorlesungen über Zahlentheorie I. K. Hensel, ed. Teubner, Leipzig.
L. Kronecker (1968a): Über Systeme von Funktionen mehrerer Variablen. In K. Hensel, editor, Werke, volume I. Teubner, Leipzig.
L. Kronecker (1968b): Werke, éd. K. Hensel, volume III, Grundzüge einer arithmetischen Theorie der algebraischen Grössen, 245–387. Teubner, Leipzig.
L. Lafforgue (2002): Chtoukas de Drinfeld et correspondance de Langlands. Inventiones Mathematicae, 197(1):11–242.
R. P. Langlands (1976): Some Contemporary Problems with Origins in the Jugendtraum, Mathematical Developments arising from Hilbert’s problems. American Mathematical Society, Providence R.I.
J. Lurie (2009): Higher Topos Theory. Annals of Mathematics Studies, Princeton University Press, Princeton.MATH
J. Molk (1885): Sur une notion qui comprend celle de la divisibilité et sur la théorie générale de l’élimination. Acta Mathematica, 6:1–165.MATHMathSciNetCrossRef
H. Poincaré (1951): Sur les propriétés arithmétiques des courbes algébriques. Oeuvres, II:483–550.
J.-P. Serre (2009): How to use finite fields for problems concerning infinite fields. Proc. Conf. Marseille-Luminy (2007), Contemporary Math. Series, AMS., 1–12.
H. S. Vandiver (1936): Constructive Derivation of the Decomposition Field of a Polynomial. Annals of Mathematics, 37(1):1–6.MathSciNetCrossRef
V. Voevodsky (2010): Univalent Foundation Project. (A modified version of an NSF grant application). October 1.
A. Weil (1976): Elliptic Functions according to Eisentein and Kronecker. Springer, Berlin.CrossRef
A. Weil (1979a): Oeuvres scientifiques. Collected Paper, Vol. I, Springer-Verlag, New York.
A. Weil (1979b): Number Theory and Algebraic Geometry. In: Weil, Vol. III:442–452.
A. Weil (1979c): L’arithmétique sur les courbes algébriques. In: Weil, Vol. I:11–45.
A. Weil (1984): Number Theory. An Approach through History. From Hammurabi to Legendre. Birkhäuser. Boston-Basel-Berlin.
H. Weyl (1940): Algebraic Theory of Numbers. Princeton University Press, Princeton, N. J.
Metadaten
Titel
Kronecker’s Foundational Programme in Contemporary Mathematics
verfasst von
Yvon Gauthier
Copyright-Jahr
2015
Buch
Towards an Arithmetical Logic

Print ISBN: 978-3-319-22086-4

Electronic ISBN: 978-3-319-22087-1

Copyright-Jahr: 2015

DOI
https://doi.org/10.1007/978-3-319-22087-1_4

Premium Partner

    Bildnachweise