Eduard Wette. Definition eines formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag New York Inc., 1969, pp. 130–195 [Book Review]

&
Journal of Symbolic Logic 37 (1):203-204 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272630

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 10–14. [REVIEW]Richard J. Orgass - 1975 - Journal of Symbolic Logic 40 (2):246.
Robert M. Solovay On the cardinality of sets of reals. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 58–73. [REVIEW]Frank R. Drake - 1974 - Journal of Symbolic Logic 39 (2):330.
Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 1–9. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):593.
Review: Eduard Wette, Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Definition eines (Relativ Vollstandigen) formalen systems konstruktiver Arithmetik. [REVIEW]G. Kreisel & J. Zucker - 1972 - Journal of Symbolic Logic 37 (1):203-204.
Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel.T. Holyoke & S. W. Hahn - 1970 - British Journal for the Philosophy of Science 21 (4):403-404.
Foundations of mathematics.Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.) - 1969 - New York,: Springer.
Foundations of Mathematics. Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel. [REVIEW]Czesław Wojthiewicz - 1970 - Roczniki Filozoficzne 18 (1):197-200.
Realism as a Philosophy of Mathematics.Stephen F. Barker, Jack J. Bulloff, Thomas C. Holyoke & S. W. Hahn - 1975 - Journal of Symbolic Logic 40 (4):593-593.
Review: Stephen F. Barker, Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Realism as a Philosophy of Mathematics. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):593-593.
A. Bertoni. Mathematical methods of the theory of stochastic automata. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 9–22. - R. V. Freivald. Functions computable in the limit by probabilistic machines. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 77–87. - B. Goetze and R. Klette. Some properties of limit recursive functions. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 88–90. - Ole-Johan Dahl. An approach to correctness proofs of semicoroutines. [REVIEW]Steven S. Muchnick - 1977 - Journal of Symbolic Logic 42 (3):422-423.
In memory of Kurt gödel.Eduard W. Wette - 1978 - International Logic Review 17:155.
Kurt Gödel. Review of Skolem's Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems . Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 378, 380. , pp. 193–194.) - Kurt Gödel. English translation by John Dawson of this review. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 379, 381. - Kurt Gödel. Review of Skolem's Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mil ausschlieβlich Zahlenvariablen . Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregor. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):347-348.
Kurt Gödel. Review of Hahn's Reelle Funktionen. by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 332– 336. , Literaturberichte, pp. 20– 22.) - Kurt Gödel. English translation by John Dawson of this review. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 odd pp. 333– 337. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-347.
W. A. Schröder: Der Altertumswissenschaftler Eduard Norden . Das Schicksal eines deutschen Gelehrten jüdischer Abkunft. Mit den Briefen Eduard Nordens an seinen Lehrer Hermann Usener aus den Jahren 1891 bis 1902. Pp. 213. Hildesheim, Zurich, and New York: Georg Olms Verlag, 1999. Cased, DM 74. ISBN: 3-487-11013-X; ISSN: 0548-9705. [REVIEW]Thomas Wiedemann - 2001 - The Classical Review 51 (2):457-457.
W. A. Schröder: Der Altertumswissenschaftler Eduard Norden (1868–1941). Das Schicksal eines deutschen Gelehrten jüdischer Abkunft. Mit den Briefen Eduard Nordens an seinen Lehrer Hermann Usener aus den Jahren 1891 bis 1902 . (Spudasmata 73.) Pp. 213. Hildesheim, Zurich, and New York: Georg Olms Verlag, 1999. Cased, DM 74. ISBN: 3-487-11013-X; ISSN: 0548-9705. [REVIEW]Thomas Wiedemann - 2001 - The Classical Review 51 (02):457-.

Analytics

Added to PP
2015-02-05

Downloads
44 (#353,833)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references