Results for 'Rózsa Péter'

(not author) ( search as author name )
979 found
Order:
  1.  15
    Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (4):166-167.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  3
    Note on the 3-Recursive Functions.Rózsa Péter - 1964 - Journal of Symbolic Logic 29 (4):199-199.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  28
    Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4.  7
    Rekursive Funktionen.Raphael M. Robinson & Rozsa Peter - 1951 - Journal of Symbolic Logic 16 (4):280.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  5.  8
    Graphschemata und rekursive Funktionen.Rózsa PÉter - 1958 - Dialectica 12 (3):373.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  15
    Graphschemata und rekursive funktionen.von Rózsa Péter - 1958 - Dialectica 12 (3‐4):373-393.
    ZusammenfassungBei der Programmierung der Rechenautomaten ist es Brauch, den Gedankengang mit Skizzen zu begleiten and dadurch an‐schaulich zu machen. Durch Graphschemata können auch zahlentheore‐tische Funktionen definiert werden. Kaluẑnin stellte die Aufgabe, die derart definierten zahlentheoretischen Funktionen je nach der Kompliziert‐heit der betreffenden Graphschemata in Klassen zu teilen. Es war zuvermuten, dass man auf diese Weise konstruktive Zwischenstufen zwischen den bekannten speziell‐rekursiven Funktionen und den allgemein‐rekursiven Funktionen erhaält. Die vorliegende Arbeit zeigt, dass dieser Weg nicht gangbar ist, da sich jede allgemein‐rekursive (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  50
    Review of Kleene, λ-Definability and Recursiveness. [REVIEW]Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-39.
  8.  4
    Contribution to Recursive Number Theory.Rozsa Peter - 1940 - Journal of Symbolic Logic 5 (2):70-71.
  9.  5
    Zum Begriff der Rekursiven Reellen Zahl.Rozsa Peter - 1951 - Journal of Symbolic Logic 16 (3):216-216.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  20
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  18
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  13
    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
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  33
    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
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  20
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  19
    Henkin Leon. Completeness in the theory of types.Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (1):72-73.
  16.  16
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  5
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  18.  11
    Kleene S. C.. On notation for ordinal numbers.Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (2):93-94.
  19.  22
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  48
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  18
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  31
    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.
  23.  25
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  24.  9
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  23
    Quine W. V.. On derivabiliiy.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (1):53-53.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  14
    Quine W. V.. Completeness of the propositional calculus.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (2):118-119.
  27.  34
    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.
  28.  31
    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.
  29.  13
    Robinson Raphael M.. Arithmetical definability of field elements.Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):270-270.
  30.  2
    Specker Ernst. Nicht konstruktiv beweisbare Sätze der Analysis.Rózsa Péter - 1950 - Journal of Symbolic Logic 15 (1):67-68.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  28
    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.
  32.  16
    Turing A. M.. Computability and λ-definability.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (2):89-89.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  16
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  14
    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.
  35.  11
    Zum Beitrag Von F. Schwenkel „Rekursive Wortfunktionen Über Unendlichen Alphabeten”︁.Rózsa Péter - 1965 - Mathematical Logic Quarterly 11 (4):377-378.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  37
    Zum Beitrag Von F. Schwenkel „Rekursive Wortfunktionen Über Unendlichen Alphabeten”︁.Rózsa Péter - 1965 - Mathematical Logic Quarterly 11 (4):377-378.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  20
    Zusammenhang der mehrfachen und transfiniten rekursionen.Rózsa Péter - 1950 - Journal of Symbolic Logic 15 (4):248-272.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  38.  32
    Review: Raphael M. Robinson, Primitive Recursive Functions. [REVIEW]Rózsa Péter - 1948 - Journal of Symbolic Logic 13 (2):113-114.
  39.  5
    Review: Andrzej Grzegorczyk, Fonctions Recursives. [REVIEW]Rozsa Peter - 1966 - Journal of Symbolic Logic 31 (3):481-483.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  5
    Review: Andrzej Grzegorczyk, Some Classes of Recursive Functions. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):71-72.
  41.  14
    Review: Antoni Janiczak, A Remark Concerning Decidability of Complete Theories. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-147.
  42.  8
    Review: A. Janiczak, Some Remarks on Partially Recursive Functions. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):101-101.
  43.  3
    Review: A. Janiczak, On the Reducibility of Decision Problems. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):100-101.
  44.  13
    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.
  45.  14
    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.
  46.  10
    Review: Akos Pauler, Logikai Alapelv es Mathematikai Axioma. [REVIEW]Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (3):125-125.
  47.  25
    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.
  48.  7
    Review: Ernst Specker, Nicht Konstruktiv Beweisbare Satze der Analysis. [REVIEW]Rózsa Péter - 1950 - Journal of Symbolic Logic 15 (1):67-68.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  9
    Review: Gerhard Gentzen, Die Gegenwartige Lage in der Mathematischen Grundlagenforschung. [REVIEW]Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (4):166-167.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  5
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 979