Advertisement

Relative konsistenz

  • Wilfried Sieg
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 270)

Keywords

Fiir Eine Iterate Inductive Definition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. Bernays, P. 1922 Über Hilberts Gedanken zur Grundlegung der Arithmetik, Jahresberichte DMV 31, 10–19.Google Scholar
  2. 1922A Hilberts Bedeutung für die Philosophie der Mathematik, in: Die Naturwissenschaften 4, 93–99.Google Scholar
  3. Bernays, P. 1930 Die Philosophie der Mathematik und die Hilbertsche Beweistheorie, in: [Bernays, 1976], 17–61.Google Scholar
  4. Bernays, P. 1935 Hilberts Untersuchungen über die Grundlagen der Arithmetik, in: [Hilbert, 1935], 196–216.Google Scholar
  5. Bernays, P. 1946 Gesichtspunkte zum Problem der Evidenz, in: [Bernays, 1976], pp. 85–91.Google Scholar
  6. Bernays, P. 1950 Mathematische Existenz und Widerspruchsfreiheit, in: [Bernays, 1976], 92–106.Google Scholar
  7. Bernays, P. 1967 Hilbert, David, in: Encyclopedia of Philosophy, P. Edwards (Hrgb.), New York und London, 1967.Google Scholar
  8. Bernays, P. 1970 Die Schematische Korrespondenz und die Idealisierten Strukturen, in: [Bernays, 1976], 176–188.Google Scholar
  9. 1976 Abhandlungen zur Philosophie der Mathematik, Wissenschaftliche Buchgesellschaft, Darmstadt.Google Scholar
  10. Brouwer, L. E. J. 1927 Über Definitionsbereiche von Funktionen, Mathematische Annalen 97, 60–75.Google Scholar
  11. Buchholz, W., Feferman, S., Pohlers, W., Sieg, W. 1981 Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies, Springer Lecture Notes in Mathematics 897, Berlin, Heidelberg, New York.Google Scholar
  12. Dedekind, R. 1854 Über die Einführung neuer Funktionen in der Mathematik, in: [Dedekind, 1932], 428–438.Google Scholar
  13. Dedekind, R. 1872 Stetigkeit und irrationale Zahlen, in: [Dedekind, 1932], 315–334.Google Scholar
  14. Dedekind, R. 1888 Was sind und was sollen die Zahlen?, in: [Dedekind, 1932], 335–391.Google Scholar
  15. Dedekind, R. 1932 Gesammelte mathematische Werke, Dritter Band, herausgegeben von Ericke, Noether und Ore, Braunschweig, 1932.Google Scholar
  16. Feferman, S. 1977 Theories of Finite Type Related to Mathematical Practice, in: J. Barwise (Hrgb.), Handbook of Mathematical Logic, Amsterdam, 913–971.Google Scholar
  17. Feferman, S. 1987 Hilbert's Program relativized: proof-theoretical and foundational reductions, wird erscheinen in: Journal of Symbolic Logic.Google Scholar
  18. Feferman, S. und Sieg, W. 1981 Iterated inductive definitions and subsystems of analysis, in: [Buchholz, e.a., 1981], 16–77.Google Scholar
  19. Hilbert, D. 1900 Über den Zahlbegriff, Jahresberichte DMV 8, 180–194.Google Scholar
  20. Hilbert, D. 1902 Sur les problèmes futurs dès mathématiques, in: Compte Rendu du Deuxième Congrès International des Mathématiciens, Paris, 59–114.Google Scholar
  21. Hilbert, D. 1904 Über die Grundlagen der Logik und Arithmetik, in: Grundlagen der Geometrie, 5. Auflage, Leipzig und Berlin, 1922, 243–258.Google Scholar
  22. 1928 Die Grundlagen der Mathematik, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität 6 (1/2), 65–85.Google Scholar
  23. 1929 Probleme der Grundlegung der Mathematik, in: K. Reidemeister (Hrgb.), Hilbert, Berlin, 9–19. Zuerst erschienen in: Math. Annalen 102(1), 1–9.Google Scholar
  24. 1931 Die Grundlegung der elementaren Zahlenlehre, Math. Annalen 104(4), 485–494.Google Scholar
  25. Hilbert, D. 1935 Gesammelte Abhandlungen, 3. Band, Berlin.Google Scholar
  26. Kronecker, L. 1887 Über den Zahlbegriff, in: Werke, Band III, 251–274.Google Scholar
  27. Kronecker, L. 1901 Vorlesungen zur Zahlentheorie, K. Hensel (Hrgb.), Leipzig.Google Scholar
  28. Reid, C. 1970 Hilbert, Springer-Verlag, Berlin, Heidelberg, New York.Google Scholar
  29. Sieg, W. 1984 Foundations for Analysis and Proof Theory, Synthese 60 (2), 159–200.Google Scholar
  30. Sieg, W. 1985 Reductions of Theories for Analysis, in: Foundations of Logic and Linguistics, G. Dorn und P. Weingartner (Hrgb.), New York und London, 199–230.Google Scholar
  31. Sieg, W. 1987 Hilbert's Program Sixty Years Later, wird erscheinen in: Journal of Symbolic Logic.Google Scholar
  32. Simpson, S. G. 1987 Partial Realizations of Hilbert's Program, wird erscheinen in: Journal of Symbolic Logic.Google Scholar
  33. Stein, H. 1986 Logos, Logic, Logistiké: Some philosophical remarks on the 19th century transformation of mathematics, manuscript.Google Scholar
  34. Zermelo, E. 1931 Über Stufen der Quantifikation und die Logik des Unendlichen, Jahresberichte DMV 31, 85–88.Google Scholar
  35. 1935 Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme, Fund. Math. 25, 136–146.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Wilfried Sieg
    • 1
  1. 1.Department of PhilosophyCarnegie-Mellon UniversityPittsburghUSA

Personalised recommendations