Skip to main content
SpringerLink
Log in
Book cover

Computation Theory and Logic pp 360–381Cite as

Relative konsistenz

  • Chapter
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 270))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  • Bernays, P. 1922 Über Hilberts Gedanken zur Grundlegung der Arithmetik, Jahresberichte DMV 31, 10–19.

    Google Scholar 

  • 1922A Hilberts Bedeutung für die Philosophie der Mathematik, in: Die Naturwissenschaften 4, 93–99.

    Google Scholar 

  • Bernays, P. 1930 Die Philosophie der Mathematik und die Hilbertsche Beweistheorie, in: [Bernays, 1976], 17–61.

    Google Scholar 

  • Bernays, P. 1935 Hilberts Untersuchungen über die Grundlagen der Arithmetik, in: [Hilbert, 1935], 196–216.

    Google Scholar 

  • Bernays, P. 1946 Gesichtspunkte zum Problem der Evidenz, in: [Bernays, 1976], pp. 85–91.

    Google Scholar 

  • Bernays, P. 1950 Mathematische Existenz und Widerspruchsfreiheit, in: [Bernays, 1976], 92–106.

    Google Scholar 

  • Bernays, P. 1967 Hilbert, David, in: Encyclopedia of Philosophy, P. Edwards (Hrgb.), New York und London, 1967.

    Google Scholar 

  • Bernays, P. 1970 Die Schematische Korrespondenz und die Idealisierten Strukturen, in: [Bernays, 1976], 176–188.

    Google Scholar 

  • 1976 Abhandlungen zur Philosophie der Mathematik, Wissenschaftliche Buchgesellschaft, Darmstadt.

    Google Scholar 

  • Brouwer, L. E. J. 1927 Über Definitionsbereiche von Funktionen, Mathematische Annalen 97, 60–75.

    Google Scholar 

  • 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 

  • Dedekind, R. 1854 Über die Einführung neuer Funktionen in der Mathematik, in: [Dedekind, 1932], 428–438.

    Google Scholar 

  • Dedekind, R. 1872 Stetigkeit und irrationale Zahlen, in: [Dedekind, 1932], 315–334.

    Google Scholar 

  • Dedekind, R. 1888 Was sind und was sollen die Zahlen?, in: [Dedekind, 1932], 335–391.

    Google Scholar 

  • Dedekind, R. 1932 Gesammelte mathematische Werke, Dritter Band, herausgegeben von Ericke, Noether und Ore, Braunschweig, 1932.

    Google Scholar 

  • Feferman, S. 1977 Theories of Finite Type Related to Mathematical Practice, in: J. Barwise (Hrgb.), Handbook of Mathematical Logic, Amsterdam, 913–971.

    Google Scholar 

  • Feferman, S. 1987 Hilbert's Program relativized: proof-theoretical and foundational reductions, wird erscheinen in: Journal of Symbolic Logic.

    Google Scholar 

  • Feferman, S. und Sieg, W. 1981 Iterated inductive definitions and subsystems of analysis, in: [Buchholz, e.a., 1981], 16–77.

    Google Scholar 

  • Hilbert, D. 1900 Über den Zahlbegriff, Jahresberichte DMV 8, 180–194.

    Google Scholar 

  • 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 

  • Hilbert, D. 1904 Über die Grundlagen der Logik und Arithmetik, in: Grundlagen der Geometrie, 5. Auflage, Leipzig und Berlin, 1922, 243–258.

    Google Scholar 

  • 1928 Die Grundlagen der Mathematik, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität 6 (1/2), 65–85.

    Google Scholar 

  • 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 

  • 1931 Die Grundlegung der elementaren Zahlenlehre, Math. Annalen 104(4), 485–494.

    Google Scholar 

  • Hilbert, D. 1935 Gesammelte Abhandlungen, 3. Band, Berlin.

    Google Scholar 

  • Kronecker, L. 1887 Über den Zahlbegriff, in: Werke, Band III, 251–274.

    Google Scholar 

  • Kronecker, L. 1901 Vorlesungen zur Zahlentheorie, K. Hensel (Hrgb.), Leipzig.

    Google Scholar 

  • Reid, C. 1970 Hilbert, Springer-Verlag, Berlin, Heidelberg, New York.

    Google Scholar 

  • Sieg, W. 1984 Foundations for Analysis and Proof Theory, Synthese 60 (2), 159–200.

    Google Scholar 

  • 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 

  • Sieg, W. 1987 Hilbert's Program Sixty Years Later, wird erscheinen in: Journal of Symbolic Logic.

    Google Scholar 

  • Simpson, S. G. 1987 Partial Realizations of Hilbert's Program, wird erscheinen in: Journal of Symbolic Logic.

    Google Scholar 

  • Stein, H. 1986 Logos, Logic, Logistiké: Some philosophical remarks on the 19th century transformation of mathematics, manuscript.

    Google Scholar 

  • Zermelo, E. 1931 Über Stufen der Quantifikation und die Logik des Unendlichen, Jahresberichte DMV 31, 85–88.

    Google Scholar 

  • 1935 Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme, Fund. Math. 25, 136–146.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Carnegie-Mellon University, 15213, Pittsburgh, PA, USA

    Wilfried Sieg

Authors
  1. Wilfried Sieg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Sieg, W. (1987). Relative konsistenz. In: Börger, E. (eds) Computation Theory and Logic. Lecture Notes in Computer Science, vol 270. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18170-9_179

Download citation

  • DOI: https://doi.org/10.1007/3-540-18170-9_179

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18170-5

  • Online ISBN: 978-3-540-47795-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation