Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

Archive for Mathematical Logic 16 (3-4):119-132 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02015371

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

M. E. Szabo. Biographical sketch. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. vii–viii. - M. E. Szabo. Introduction. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 1–28. - Gerhard Gentzen. On the existence of independent axiom systems for infinite sentence systems. Englische Übersetzung von 4427. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 29–52. - Gerhard Gentzen. On the relation between intuitionist and classical arithmetic. Englische Übersetzung des Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik . The collected papers of Gerhard Gentz. [REVIEW]K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
Ein Verhaltnis zwischen Arithmetik, Geometrie und Physik (Vorläufige Mitteilung).S. Škreb - 1927 - Annalen der Philosophie Und Philosophischen Kritik 6 (1):13-24.
Plessners Freud-Kritiken. Zum Verhältnis zwischen Philosophischer Anthropologie und klassischer Psychoanalyse für eine Wissenschaft von der Person.Hans-Peter Krüger - 2018 - Internationales Jahrbuch für Philosophische Anthropologie 8 (1):193-216.
Kay Ehling, Paul Friedländer. Ein Klassischer Philologe zwischen Wilamowitz und George, Berlin – Leipzig (Hentrich & Hentrich) 2019 (Jüdische Miniaturen 238), 86 S., 15 Abb., ISBN 978-3-95565-322-4 (brosch.), € 8,90Paul Friedländer. Ein Klassischer Philologe zwischen Wilamowitz und George. [REVIEW]Christoph Begass - 2019 - Klio 102 (1):403-404.
Untersuchungen über das Endliche und das Unendliche. 1. Heft: Drei Einzelabhandlungen über Fragen aus dem Grenzgebiet zwischen Mathematik, Natur-und Glaubenslehre. 2. Heft: Die Lehre des hl. Thomas vom Unendlichen, ihre Auslegung durch Prof. Langenberg und ihr Verhältnis zur neuzeitlichen Mathematik. 3. Heft: Briefwechsel zwischen Prof. Dr. Sawicki-Pelplin und Prof. Dr. Isencrahe-Trier über eine Unendlichkeitsfrage, die für den apologetischen Entropiebeweis grundlegend ist. [REVIEW][author unknown] - 1923 - Annalen der Philosophie 3 (2):302-303.
The "Dutch's Problem" and Leibniz's Point of View on the "Analytic Art".Romano Gatto & Franco Palladino - 1992 - Studia Leibnitiana 24 (1):73-92.
A. I. Ujomow: Über das zeitliche Verhältnis zwischen Ursache und Wirkung. [REVIEW]G. Kröber - 1961 - Deutsche Zeitschrift für Philosophie 9 (4):523.
Über das logische Verhältnis zwischen Normen und Tatsachen.Rainer Stuhlmann-Laeisz - 1986 - Allgemeine Zeitschrift für Philosophie 11 (1):17-29.
Über das Verhältnis zwischen Immanuel Kants Rechts- und Moralphilosophie.Mogens Chrom Jacobsen - 1992 - Danish Yearbook of Philosophy 27 (1):72-92.
Über einen irrtum Bolzanos und das Verhältnis zwischen Inhalts- und Umfangslogik.B. Baron V. Freytag Löringhoff - 1971 - Zeitschrift für Philosophische Forschung 25 (3):327 - 344.
Erkenntnisansprüche. Eine orienterende erkenntnistheoretische Untersuchung über Fragen zum Verhältnis zwischen Religion und Wissenschaft.Eberhard Herrmann - 1986 - Religious Studies 22 (1):161-162.
Der Jakobuskult des 12. Jahrhunderts und der “Liber Sancti Jacobi”: Studien über das Verhältnis zwischen Religion und Gesellschaft im hohen Mittelalter. [REVIEW]John Howe - 1986 - Speculum 61 (4):934-936.
Die zweite philosophische Auseinandersetzung zwischen Fichte und Schelling über die Naturphilosophie und die Transzendentalphilosophie und ihr Verhältnis zueinander.R. Lauth - 1974 - Société Française de Philosophie, Bulletin 65 (4):397.
Die Grundlagen Der Arithmetik: Eine Logisch-Mathematische Untersuchung Über Den Begriff Der Zahl.Friedrich Ludwig Gottlob Frege - 1884 - W. Koebner.
Die zweite philosophische Auseinandersetzung zwischen Fichte und Schelling über die Naturphilosophie und die Transzendentalphilosophie und ihr Verhältnis zueinander (Herbst 1800 - Frühjahr 1801). [REVIEW]Reinhard Lauth - 1974 - Kant Studien 65 (1-4):397-435.

Analytics

Added to PP
2020-12-03

Downloads
9 (#1,260,789)

6 months
3 (#984,658)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The philosophy of alternative logics.Andrew Aberdein & Stephen Read - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 613-723.
Gentzen's proof systems: byproducts in a work of genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Glivenko and Kuroda for simple type theory.Chad E. Brown & Christine Rizkallah - 2014 - Journal of Symbolic Logic 79 (2):485-495.
An Essay on Knowledge and Belief.John Corcoran - 2006 - International Journal of Decision Ethics (2):125-144.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references