- 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 Rozsa Peter
58 found
Order:
- Graphschemata und rekursive Funktionen.Rózsa PÉter - 1958 - Dialectica 12 (3):373.No categories
- 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.
- Contribution to Recursive Number Theory.Rozsa Peter - 1940 - Journal of Symbolic Logic 5 (2):70-71.
- 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
- 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.
- Kleene S. C.. On notation for ordinal numbers.Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (2):93-94.
- 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.Rozsa Peter - 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.
- Zusammenhang der mehrfachen und transfiniten rekursionen.Rózsa Péter - 1950 - Journal of Symbolic Logic 15 (4):248-272.
- (1 other version)Review: Gerhard Gentzen, Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
- 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]Rózsa Péter - 1966 - Journal of Symbolic Logic 31 (3):481-483.
- Review: A. Janiczak, Some Remarks on Partially Recursive Functions. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):101-101.
- Review: Janos Suranyi, A Logikai Fuggvenykalkulus Eldontes-Problemajanak Redukciojarol (Zur Reduktion des Entscheidungsproblems des Logischen Funktionenkalkuls). [REVIEW]Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):22-24.
- Review: Raphael M. Robinson, Primitive Recursive Functions. II. [REVIEW]Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):375-376.
- Review: W. V. Quine, Completeness of the Propositional Calculus. [REVIEW]Rozsa Peter - 1938 - Journal of Symbolic Logic 3 (3):118-119.
- Axt Paul. Enumeration and the Grzegorczyk hierarchy. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 9 , S. 53–65. [REVIEW]Rózsa Péter - 1965 - Journal of Symbolic Logic 30 (1):90-91.
- Axt Paul. Note on the 3-recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 7 , S. 97–98. [REVIEW]Rozsa Peter - 1964 - Journal of Symbolic Logic 29 (4):199-199.
- Axt Paul. On a subrecursive hierarchy and primitive recursive degrees. Transactions of the American Mathematical Society, Bd. 92 , S. 85–105. [REVIEW]Rózsa Péter - 1960 - Journal of Symbolic Logic 25 (2):167-168.
- Bereczki Ilona. Nem elemi rekurzív függvény létezése . Ungarisch, mit deutschem Auszug, und kurzem russischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2 – Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathémetique János Bolyai, Budapest 1952, S. 409–417. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (4):298-299.
- Curry H. B.. A note on the reduction of Gentzen's calculus LJ. Bulletin of the American Mathematical Society, Bd. 45 , S. 288–293. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (3):128-128.
- Grzegorczyk Andrzej. Some classes of recursive functions. Rozprawy matematyczne no. 4. Instytut Matematyczny Polskiej Akademii Nauk, Warschau 1953, 46 S. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):71-72.
- Gentzen Gerhard. Die gegenwärtige Lage in der mathematitchen Grundlagenforschung. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, neue Folge, Heft 4, S. Hirzel, Leipzig 1938, S. 1–18; auch: Deutsche Mathematik, Bd. 3 , S. 255–268. [REVIEW]Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (4):166-167.
- Hasenjaeger Gisbert. Über eine Art von Unvollständigkeit des Prädikatenkalküls der ersten Stufe. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-146.
- Janiczak Antoni. A remark concerning decidability of complete theories. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-147.
- Janiczak A.. On the reducibility of decision problems. Nach dem Tode des Verf., von A. Grzegorczyk herausgegeben. Colloquium mathematicum, Bd. 3 Heft 1 , S. 33–36. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):100-101.
- Kalmár László. A Hilbert-féle bizonyításelmélet célkitüzései, módszerei és eredményei . Ungarisch mit deutschem Auszug. Matematikai és fizihai lapok, Bd. 48 , S. 65–119. [REVIEW]Rózsa Péter - 1941 - Journal of Symbolic Logic 6 (3):110-111.
- Kalmár László. A matematikai exaktság fejlödése a szemlélettöl az axiomatikus módszerig . Ungarisch. A másik ember felé, az Exodus munkaközösség dolgozatai, 1942, S. 39–58. [REVIEW]Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):24-25.
- Kalmár László. Az eldöntesprobléma visszavezetése logikai formulák véges halmazon való kielégithetőségének kérdésére . Ungarisch mit russischem Auszug und englischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest 1952, S. 163–190. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):72-72.
- S. C. Kleene. A symmetric form of Gödel's theorem. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, Bd. 53 , S. 800–802; auch Indagationes mathematicae, Bd. 12 , S. 244–246. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):147-147.
- Mostowski A.. A lemma concerning recursive functions and its applications. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 1 , S. 277–280. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (4):299-300.
- Rice H. G.. Classes of recursively enumerable sets and their decision problems. Transactions of the American Mathematical Society, vol. 74 pp. 358–366. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (2):121-122.
| 1 — 50 / 58 |
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-648784bb4d-82spv uwo