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

3. Arithmetization of Logic

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

Hilbert is not the originator of the expression “metamathematics”, but he is the first to define it as the theory of formal systems designed to capture the internal logic (“inhaltliche Logik”) of mathematics and it is the internal logic of arithmetic, what I call arithmetical logic, that was to be his primary concern.

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 Analysis and Algebra
Nächstes Kapitel Kronecker’s Foundational Programme in Contemporary Mathematics
Literatur
J. Avigad (2003): Number Theory and Elementary Arithmetic. Philosophia Mathematica, XI:257–284.
E. Bishop (1967): Foundations of Constructive Analysis. New York, McGraw-Hill.MATH
E. Bishop (1970): Mathematics as a Numerical Language. In Intuitionism and Proof Theory, 53–71. North-Holland, Amsterdam and New-York.
J. Boniface and N. Schappacher (2001): Sur le concept de nombre en mathématique. Cours inédit de Leopold Kronecker à Berlin en 1891. Revue d’histoire des mathématiques, 7:207–275.
N. Bourbaki (1970): Théorie des ensembles. Hermann, Paris.MATH
L. E. J Brouwer (1912a): Beweis der Invarianz des n-dimensionalen Gebietes. Math. Annalen, 71:305–313.MATHCrossRef
L. E. J. Brouwer (1912b): Über Abbildungen von Mannigfaltigkeiten. Math, 38(71):97–115.MATH
L.E.J. Brouwer (1975): Collected Works, vol. I. North-Holland, Oxford, Amsterdam.
J. Burgess (2005): Fixing Frege. Princeton University Press, Princeton, NJ.MATH
V. Busek and M. Hillery (1996): Quantum Copying: Beyond the No-Cloning Theorem. arXiv:quant-ph/19607018v1.
S.R. Buss (1986): Bounded Arithmetic. Bibliopolis, Napoli.MATH
S.R. Buss and P.J. Scott, eds (1990): Feasible Mathematics. Birkhaüser, Basel.
G. Cantor (1947): Abhandlungen mathematischen und philosophischen Inhalts, hrsg. v. Zermelo u. A. Fraenkel. Gauthier-Villars, Paris.
G. Cantor (1966): Über einer Satz aus der Theorie der stetigen Mannigfaltigkeiten. Abhandlungen mathematisch und philosophischen Inhalts, Georg Olms, Hildesheim:134–138.
A. Carbone and S. Semmes (1997): Making proof without modus ponens: an introduction to the combinatorics and complexity of cut elimination. Bulletin (new Series) of the American Mathematical Society, 34(2): 131–159.MATHMathSciNet
A. Cauchy (1847): Oeuvres complètes, IIe série, tome III. Gauthier-Villars, Paris.
J. Conway and S. Kochen (2009): The strong free will theorem. Not. Amer. Math. Soc., 56:226–232.MATHMathSciNet
S. Cook and A. Urquhart (1993): Functional Interpretations of Feasibly Constructive Arithmetic. Annals of Pure and Applied Logic, 63:103–200.MATHMathSciNetCrossRef
T. Coquand (2008): Herbrand et le programme de Hilbert. Gazette des Mathématiciens, 118:17–28.MATHMathSciNet
A. Davenport (1968): The Higher Arithmetic. Chap. VI. Hutchinson University Library, London.
P. de Fermat (1899): Oeuvres, volume II. Gauthier-Villars, Paris.
R. Dedekind (1965): Was sind und was sollen die Zahlen. Stetigkeit und irrationale Zahlen. Fried. Vieweg und Sohn, Braunschweig.CrossRefMATH
D. Diecks (1982): Communication by EPR devices. Phys. Lett. A, 92:271–272.CrossRef
J. Dieudonné (1974): Cours de Géométrie Algébrique 1. PUF, Paris.MATH
J. Dowker and D. Kent (1996): On the Consistent Histories Approach to Quantum Mechanics. Journal of Statistical Mechanics, 82((5/6)): 1575–1646.
M. Dummett (2000): Elements of Intuitionism. Oxford University Press, Oxford, 2nd édition.
H. M. Edwards (1987a): Divisor Theory. Birkhaüser, Basel.MATH
H. M. Edwards (1992): Kronecker’s arithmetic theory of algebraic quantities. Jahresbericht der Deutschen Mathematiker Vereinigung, 94(3):130–139.MATHMathSciNet
H. M. Edwards, O. Neumann and W. Purkert (1982): Dedekinds “Bunte Bemerkungen” zu Kroneckers “Grundzüge”. Archive for History of Exact Sciences, 27(1):49–85.MATHMathSciNet
G. Faltings and G. Wüstholz (1984): Rational Points. Vieweg Verlag, Braunschweig-Wiesbaden.MATHCrossRef
S. Feferman (1960): Arithmetization of metamathematics in a general setting. Fundamenta mathematicae, XLIX:35–92.
G. Frege (1983): Grundgesetze der Arithmetik. H. Pohle, Jena.MATH
Y. Gauthier (1976): Fondements des mathématiques. Introduction à une philosophie constructiviste. P.U.M., Montréal.MATH
Y. Gauthier (1983a): Le constructivisme de Herbrand. Journal of Symbolic Logic, 48(4):1230.MathSciNet
Y. Gauthier (1983b): Quantum Mechanics and the Local Observer. Int. J. Theor, Physics, 72:1141–1152.
Y. Gauthier (1985): A Theory of Local Negation. The Model and Some Applications. Archiv für mathematische Logik und Grundlagenforschung, 25:127–143.
Y. Gauthier (1991): De la logique interne. Vrin, Paris.
Y. Gauthier (1994b): Review of A. Weil The Apprenticeship of a Mathematician. Modern Logic, Vol 4. no. 1 (1994):97–100.
Y. Gauthier (1997a): Logique et fondements des mathématiques. Diderot, Paris.MATH
Y. Gauthier (1997b): La logique interne. Modèles et applications. Diderot, Paris.
Y. Gauthier (1998): A Polynomial Translation of Gödel’s Functional Interpretation. Bulletin of the Section of Logic, University of Łódź, 27(3):130–137.MATHMathSciNet
Y. Gauthier (2000): The Internal Consistency of Arithmetic with Infinite Descent. Modern Logic, VIII(1/2):47–87.
Y. Gauthier (2002): Internal Logic. Foundations of Mathematics from Kronecker to Hilbert. Kluwer, Synthese Library, Dordrecht/Boston/London.MATH
Y. Gauthier (2005): Hermann Weyl on Minkowskian Space-Time and Riemannian Geometry. International Studies in the Philosophy of Science, 19:262–269.MathSciNetCrossRefMATH
Y. Gauthier (2007): The Notion of Outer Consistency from Hilbert to Gödel (abstract). Bulletin of Symbolic Logic, 13(1):136–137.
Y. Gauthier (2009b): Classical Functional Theory and Applied Proof Theory. International Journal of Pure and Applied Mathematics, 56(2): 223–233.MATHMathSciNet
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.MathSciNetMATH
Y. Gauthier (2013a): Kronecker in Contempory Mathematics. General Arithmetic as a Foundational Programme. Reports on Mathematical Logic, 48:37–65.
A. O. Gel’fond (1934): Sur le Septième Problème de Hilbert. Comptes Rendus Acad. Sci. URSS Moscou, 2:1–6.MathSciNet
A. O. Gel’fond and U. V. Linnik (1965): Elementary Methods in Analytic Number Theory. Rand McNally and Co.
G. Gentzen (1969): Collected Papers. E. Szabo, ed. North-Holland, Amsterdam.
J. Giraud (1964): Méthode de la descente. Mémoire 2 de la Société Mathématique de France.
A.M. Gleason (1957): Measures on the Closed Subspaces of a Hilbert Space. Journal of Mathematics and Mechanics, 6:885–893.MATHMathSciNet
K. Gödel (1931): Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38:173–198.CrossRefMATH
K. Gödel (1958): Über eine noch nicht benüzte Erweiterung des finiten Standpunktes. Dialectica, 12:230–237.CrossRefMATH
K. Gödel (1967): On formally undecidable propositions. In Jean van Heijenoort, editor, From Frege to Gödel: a source book in mathematical logic 1879–1931. Harvard University Press.
K. Gödel (1990): Collected Works. S. Feferman, ed., volume II, 217–251. Oxford University Press, New York/Oxford.
O. Goldreich (1995): Probabilistic Proof System. Proceedings of the International Congress of Mathematicians, 443–452.
S. Goldstein and D.N. Page (1995): Linearly Positive Histories Probabilities for a Robust Family of Sequences of Quantum Events. Physical Review Letters, 74:19.MathSciNetCrossRefMATH
A. Granville and T.J. Tucker (2002): It’s as Easy as ABC. Notices of the AMS, 1224–1231.
I. Grattan-Guinness (1970): The Development of the Foundations of Mathematical Analysis from Euler to Riemann. M.I.T. Press, Cambridge, Mass.MATH
R.B. Griffiths (1984): Consistent Histories and the Interpretation of Quantum Mechanics. Journal of Statistical Physics, 36:219.MATHMathSciNetCrossRef
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.MATH
Y. Gurevitch (1988): Current Trends in Theoretical Computer Science. E. Börger, ed., Logic and the Challenge of Computer Science: 1–57. Computer Science Press, East Lansing, MI.
P. Hájek and P. Pudlák (1993): Metamathematics of First-Order Logic. Springer, Berlin.CrossRefMATH
M. Hallett (1998): Hilbert and logic. In M. Marion and R. S. Cohen, éditeurs: Quebec Studies in the philosophy of science, Part I:135–187. Kluwer, Dordrecht.
P. Halmos (1957): Introduction to Hilbert Space and the Theory of Spectral Multiplicity. 2nd ed., New York, Chelsea.MATH
J. Herbrand (1968): Écrits logiques. J. van Heijenoort, ed. PUF, Paris.MATH
D. Hilbert (1890): Über die Theorie der algebraischen Formen. in Hilbert, vol. II:199–257.
D. Hilbert (1893): Über die vollen Invariantensysteme. in Hilbert, vol. II:287–365.
D. Hilbert (1904): Über die Grundlagen der Logik und Mathematik, 174–185. in: A. Krazer (Hrsg.) Verhandlungen des III. Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 13. August 1904. Leipzig, Teubner.
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.MATH
D. Hilbert and P. Bernays (1968–1970): Grundlagen der Mathematik I et II. Springer, Berlin, 2 édition.
D. Hilbert, J. von Neumann and L. Nordheim (1928): Über die Grundlagen der Quantenmechanik. Mathematische Annalen, 98:1–30.MathSciNetCrossRef
E. Hrukovski and I. Pitkowsky (2004): Generalizations of Kochen and Specker’s Therorem and the effectiveness of Gleason’s Therorem. Studies in History and Philosophy of Science Part B, 35(2):177–184.MathSciNetCrossRef
D. Hume (1978): A Treatise of Human Nature. L. A. Selby-Bigge, ed. Clarendon Press, Oxford.
K. Ireland and M. Rosen (1980): A Classical Introduction to Modern Number Theory. Springer, New York/Heidelberg/Berlin.MATH
J.M. Jauch (1968): Foundations of Quantum Mechanics. Reading, Mass.MATH
R. Kaye (1991): Models of Peano Arithmetic. Clarendon Press, Oxford.MATH
S. C. Kleene and J. Vesley (1965): Foundations of Intuitionistic Mathematics. North-Holland, Amsterdam.MATH
S. Kochen and E.P. Specker (1967): The Problem of Hidden Variables in Quantum Mechanics. Journal of Mathematics and Mechanics, 17:59–87.MATHMathSciNet
U. Kohlenbach (1998): Arithmetising Proofs in Analysis. In Lascar D. Larrazabal, J.M. and G. Mints, editors. Logig Colloquium 96, volume 12 of Springer Lecture Notes in Logic.
U. Kohlenbach (2008b): Applied Proof Theory: Proof Interpretations and their Use in Mathematics. Springer, Heidelberg.MATH
A. N. Kolmogorov (1925): O printsipe tertium non datur. Matematicheskii sbornik, 32:646–667.MATH
G. Kreisel (1961): Set-theoretic problems suggested by the notion of potential totality, 103–140. in: Infinitistic Methods. Pergamon Press, Oxford.
G. Kreisel (1976): What have we learnt from Hilbert’s Second Problem? Mathematical Developments arising from Hilbert’s Problems. Providence, Rhode Island: American Mathematical Society., 93–130.
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 (1886): Zur Theorie der elliptischen Funktionen. Werke, IV:309–318.
L. Kronecker (1887a): Ein Fundamentalsatz der allgemeinen Arithmetik. Werke, II:211–241.
L. Kronecker (1887b): Über den Zahlbegriff. Werke, III:251–274.
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.MATH
G. Lejeune-Dirichlet (1969): Werke I. L. Kronecker, ed. Chelsea, New York.
S. Lipschitz (1896): Briefwechsel mit Cantor, Dedekind, Helmholtz, Kronecker, Weierstrass. Vieweg Verlag, Braunschveig.MATH
J. Lurie (2009): Higher Topos Theory. Annals of Mathematics Studies, Princeton University Press, Princeton.MATH
M. Marion (1998): Wittgenstein. Finitism and the Foundations of Mathematics. Oxford University Press, Oxford.MATH
H. Minkowski (1967): Gesammelte Abhandlungen,. hrsg. v. D. Hilbert (Chelsea, New York).
D. Mirimanoff (1917): Les antinomies de Russell et Burali-forti et le problème fondamental de la théorie des ensembles. L’enseignement mathématique, 19:17–52.MATH
S. Mochizuki: Inter-universal Teichmüller Theory iv. Log-volume Computations and Set-theoretic Foundations. Homepage of S. Mochizuki (2012).
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
Mycielski (1981): Analysis without actual infinity. Journal of Symbolic Logic, 46:625–633.
E. Nelson (1987a): Predicative Arithmetic. Number 32 of Mathematical Notes. Princeton University Press, Princeton, N.J.
E. Nelson (1987b): A Radically Elementary Probability Theory. Princeton University Press, Princeton, N. J.MATH
G. Peano (1959): Opere scelte, vol. II. Edizione Cremonese, Roma.MATH
H. Poincaré (1951): Sur les propriétés arithmétiques des courbes algébriques. Oeuvres, II:483–550.
M.C.G. Redhead (1987): Incompleteness, Nonlocality and Realism. Oxford, Clarendon Press.MATH
B. Riemann (1990): Gesammelte mathematische Werke, wissenschaftlicher Nachlass und Nachtrage. Collected Papers. neu hrsg. v. R. Naramsihan, (B.G. Teubner, Springer-Verlag, Berlin, New York, Leipzig).CrossRefMATH
C. Rovelli (1996): Relational Quantum Mechanics. Int. J. Theor, Physics, 35:1637–1678.
B. Russell (1919): Introduction to Mathematical Philosophy. Allen and Unwin, London, UK.MATH
B. Russell (1966): Mathematical logic as based on the theory of types. In J. van Heijenoort, éditeur: From Frege to Gödel, 150–182. Harvard University Press, Cambridge, Mass.
V. Yu. Sazonov (1995): On feasible numbers. In D. Leivant, éditeur: Logic and Computational Complexity, 30–51. Lecture Notes in Computer Science, Springer, Berlin Heidelberg.
T. Schneider (1934a): Transzendenzuntersuchungen periodischer Funktionen. J. reine angew. Math., 172:65–69.MATH
T. Schneider (1934b): Transzendenzuntersuchungen periodischer Funktionen. ii. J. reine angew. Math., 172:70–74.
J. R. Schoenfield (1967): Mathematical Logic. Addison-Wesley, Reading, Mass.
D. Schwarz-Perlow and A. Vilenkin (2010): Measures for a Transdimensional Universe. arXiv: 1004. 4567v2.
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.
T. Skolem (1970): Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre. In J. E. Fenstad, éditeur: Selected Works in Logic. Universitetsforlaget, Oslo.
A. Tarski (1951): A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley and Los Angeles, 2nd édition.
B. A. Trakhtenbrot (1950): Nevozmozhnosty Algorifma dla Problemy Razreximosti Konechnyh Klassah, (The impossibility of an algorithm for the decision problem in finite classes). Dokl. Akad. Nauk, SSSR, 70:569–572.
A. S. Troelstra (1969): Principles of Intuitionism. Numéro 95 de Lectures Notes in Mathematics. Springer, Berlin Heidelberg New York.
A. S. Troelstra (1976): Choice Sequences. Clarendon Press, Oxford.MATH
A. S. Troelstra (2003): Constructivism and Proof Theory. ILLC, University van Amsterdam.
A. S. Troelstra and D.van Dalen (1988): Constructivism in Mathematics. vol. I. North-Holland, Amsterdam.
B. van Fraassen (1991): Quantum Mechanics. An Empiricist View. Oxford, Clarendon Press.CrossRef
H. S. Vandiver (1936): Constructive Derivation of the Decomposition Field of a Polynomial. Annals of Mathematics, 37(1):1–6.MathSciNetCrossRefMATH
A. Vilenkin (2006): A Measure of the Universe. arXiv: hep-th/0609193v3.
V. Voevodsky (2010): Univalent Foundation Project. (A modified version of an NSF grant application). October 1.
J. von Neumann (1932): Mathematische Grundlagen der Quantenmechanik. Berlin, Springer.MATH
J. von Neumann (1961): Collected Works, volume I, Eine Axiomatisierung der Mengenlehre, 24–33. Pergamon Press, Oxford.
K. Weierstrass (1894–1927): Mathematische Werke, 7 Bände. Mayer u. Müller, Berlin.
A. Weil (1976): Elliptic Functions according to Eisentein and Kronecker. Springer, Berlin.CrossRefMATH
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.MATH
A. Weil (1992): The Apprenticeship of a Mathematician. Translated from the French by Jennifer Cage. Birkhäuser, Basel.CrossRef
H. Weyl (1920): Das Verhältnis der kausalen zur statistischen Betrachtungsweise in der Physik. Schweizerische Medizinische Wochenschrift, 50:537–541.
H. Weyl (1940): Algebraic Theory of Numbers. Princeton University Press, Princeton, N. J.MATH
H. Weyl (1950): Space, Time, Matter. trans. By H. L. Brose (Dover Publications, New York).
H. Weyl (1960): Philosophy of Mathematics and Natural Science. Atheneum, New York.
H. Weyl (1968): Gesammelte Abhandlungen. hrsg. v. K. Chandrasekharan (Springer-Verlag, Berlin, Heidelberg, New York).
W. Wootters and W. Zurek (2009): The no-cloning theorem. Phys. Today, 62(2):76–66.CrossRef
W.K. Wootters and W.H. Zurek (1982): A single quantum cannot be cloned. Nature, 299:802–803.CrossRef
E. Zermelo (1908a): Neuer Beweis für die Möglichkeit einer Wohlordnung. Mathematische Annalen, 59:107–128.MATH
Metadaten
Titel
Arithmetization of Logic
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_3