- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Rózsa PÉter
107 found
Order:
- Rekursive Funktionen.Raphael M. Robinson & Rozsa Peter - 1951 - Journal of Symbolic Logic 16 (4):280.
- Graphschemata und rekursive Funktionen.Rózsa PÉter - 1958 - Dialectica 12 (3):373.No categories
- Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (4):166-167.
- Note on the 3-Recursive Functions.Rózsa Péter - 1964 - Journal of Symbolic Logic 29 (4):199-199.
- Contribution to Recursive Number Theory.Rozsa Peter - 1940 - Journal of Symbolic Logic 5 (2):70-71.
- Rekursive Funktionen in der Komputer-Theorie.Rózsa Péter - 1976 - Budapest: Akadémiai Kiadó.
- Zum Begriff der Rekursiven Reellen Zahl.Rozsa Peter - 1951 - Journal of Symbolic Logic 16 (3):216-216.
- Ackerman Wilhelm. Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Mathematische Annalen, Bd. 114 , S. 305–315.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (4):167-167.
- Ackermann Wilhelm. Zur Widerspruchsfreiheit der Zahlentheorie. Mathematische Annalen, Bd. 117 , S. 162–194.Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (3):125-127.
- Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv‐rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist.Rózsa Péter - 1955 - Mathematical Logic Quarterly 1 (1):29-36.No categories
- Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv-rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist.Rózsa Péter - 1955 - Mathematical Logic Quarterly 1 (1):29-36.No categories
- Goodstein R. L.. Logic-free formalisations of recursive arithmetic. Mathematica Scandinavica, Bd. 2 , S. 247–261.Rózsa Péter - 1959 - Journal of Symbolic Logic 24 (3):245-246.
- Henkin Leon. Completeness in the theory of types.Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (1):72-73.
- Kuznécov A. V.. O primitivno rékursivnyh funkciáh bol'šogo razmaha . Doklady Akadémii Nauk SSSR, Bd. 71 , S.233–236.Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):270-271.
- Kalmár László. Egyszeril példa eldönthetetlen aritmetikai problémára . Ungarisch mit deutschem Auszug. Ebd., S. 1–23.Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):24-24.
- Kleene S. C.. On notation for ordinal numbers.Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (2):93-94.
- S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 , S. 727–742.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-38.
- Kleene S. C.. λ-definability and recursiveness. Duke mathematical journal, Bd. 2 , S. 340–353.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-39.
- Lorenzen P.. Die Definition durch vollständige Induklion. Monatshefte für Mathematik und Physik, Bd. 47 , S. 356–358.Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (1):33-34.
- M. D. Gladstone. A reduction of the recursion scheme. The journal of symbolic logic, Bd. 32 , S. 505–508.Rózsa Péter - 1970 - Journal of Symbolic Logic 35 (4):591.
- Pospfšil Bedřich. Von den Verteilungen auf Booleschen Ringen. Mathematische Annalen, Bd. 118 , S. 32–40.Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):21-22.
- Pauler Ákos. Logikai alapelv és mathematikai axióma. Athenaeum, Bd. 22 , S. 18–78.Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (3):125-125.
- Quine W. V.. On derivabiliiy.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (1):53-53.
- Quine W. V.. Completeness of the propositional calculus.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (2):118-119.
- Robinson Julia. A note on primitive recursive functions. Ebd., S. 667–670.Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):376-376.
- Robinson Raphael M.. Undecidable—rings. Transactions of the American Mathematical Society, Bd. 70 , S.137–159.Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):268-269.
- Robinson Raphael M.. Arithmetical definability of field elements.Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):270-270.
- Specker Ernst. Nicht konstruktiv beweisbare Sätze der Analysis.Rózsa Péter - 1950 - Journal of Symbolic Logic 15 (1):67-68.
- Smielew W.. Decision problem in group theory. Ebd., Sonderabdruck 1948, S. 373–376.Rózsa Péter - 1949 - Journal of Symbolic Logic 14 (1):63-64.
- Turing A. M.. Computability and λ-definability.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (2):89-89.
- Teichmüller Oswald. Braucht der Algebraiker das Auswahlaxiom? Deutsche Mathematik, Bd. 4 , S. 567–577.Rózsa Péter - 1941 - Journal of Symbolic Logic 6 (2):65-66.
- Tait W. W.. Nested recursion. Mathematische Annalen, Bd. 143 , S. 236–250.Rózsa Péter - 1963 - Journal of Symbolic Logic 28 (1):103-104.
- Zum Beitrag Von F. Schwenkel „Rekursive Wortfunktionen Über Unendlichen Alphabeten”︁.Rózsa Péter - 1965 - Mathematical Logic Quarterly 11 (4):377-378.
- Zum Beitrag Von F. Schwenkel „Rekursive Wortfunktionen Über Unendlichen Alphabeten”︁.Rózsa Péter - 1965 - Mathematical Logic Quarterly 11 (4):377-378.No categories
- Zusammenhang der mehrfachen und transfiniten rekursionen.Rózsa Péter - 1950 - Journal of Symbolic Logic 15 (4):248-272.
- Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
- Review of Kleene, λ-Definability and Recursiveness. [REVIEW]Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-39.
- Review: Raphael M. Robinson, Primitive Recursive Functions. [REVIEW]Rózsa Péter - 1948 - Journal of Symbolic Logic 13 (2):113-114.
- Alessandro Padoa. Ce que la logique doit à Peano. Actes du Congrès International de Philosophie Scientiftque, VIII Histoire de la logique et de la philosophie scientiftque, Actualités scientifiques et industrielles 395, Hermann & C ie, Paris 1936, pp. 31–37. [REVIEW]S. C. Kleene & Rozsa Peter - 1937 - Journal of Symbolic Logic 2 (1):57-57.
- Review: Andrzej Grzegorczyk, Fonctions Recursives. [REVIEW]Rozsa Peter - 1966 - Journal of Symbolic Logic 31 (3):481-483.
- Review: Andrzej Grzegorczyk, Some Classes of Recursive Functions. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):71-72.
- Review: Antoni Janiczak, A Remark Concerning Decidability of Complete Theories. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-147.
- Review: A. Janiczak, Some Remarks on Partially Recursive Functions. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):101-101.
- Review: A. Janiczak, On the Reducibility of Decision Problems. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):100-101.
- A. M. Turing. Computability and λ-definability. The journal of symbolic logic, Bd. 2 , S. 153–163. [REVIEW]Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (2):89-89.
- Review: A. Mostowski, A Lemma Concerning Recursive Functions and Its Applications. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (4):299-300.
- Review: Akos Pauler, Logikai Alapelv es Mathematikai Axioma. [REVIEW]Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (3):125-125.
- Review: A. V. Kuznecov, O Primitivno Rekursivnyh Funkciah Bol'sogo Razmaha (Uber Umfangsreiche Primitiv-Rekursive Funktionen). [REVIEW]Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):270-271.
- Review: Ernst Specker, Nicht Konstruktiv Beweisbare Satze der Analysis. [REVIEW]Rózsa Péter - 1950 - Journal of Symbolic Logic 15 (1):67-68.
- Review: Gerhard Gentzen, Die Gegenwartige Lage in der Mathematischen Grundlagenforschung. [REVIEW]Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (4):166-167.
| 1 — 50 / 107 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-67rzb uwo