Results for 'Rozsa Peter'

979 found
Order:
  1.  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  
  2.  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  
  3.  8
    Graphschemata und rekursive Funktionen.Rózsa PÉter - 1958 - Dialectica 12 (3):373.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  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  
  5.  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  
  6.  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  
  7.  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  
  8.  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  
  9.  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  
  10.  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  
  11.  19
    Henkin Leon. Completeness in the theory of types.Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (1):72-73.
  12.  15
    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  
  13.  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  
  14.  10
    Kleene S. C.. On notation for ordinal numbers.Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (2):93-94.
  15.  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  
  16.  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  
  17.  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  
  18.  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.
  19.  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  
  20.  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  
  21.  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  
  22.  14
    Quine W. V.. Completeness of the propositional calculus.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (2):118-119.
  23.  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.
  24.  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.
  25.  13
    Robinson Raphael M.. Arithmetical definability of field elements.Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):270-270.
  26.  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  
  27.  25
    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.
  28.  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  
  29.  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  
  30.  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.
  31.  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  
  32.  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  
  33.  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  
  34.  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  
  35.  4
    Contribution to Recursive Number Theory.Rozsa Peter - 1940 - Journal of Symbolic Logic 5 (2):70-71.
  36.  3
    Rekursive Funktionen in der Komputer-Theorie.Rózsa Péter - 1976 - Budapest: Akadémiai Kiadó.
  37.  5
    Zum Begriff der Rekursiven Reellen Zahl.Rozsa Peter - 1951 - Journal of Symbolic Logic 16 (3):216-216.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  50
    Review of Kleene, λ-Definability and Recursiveness. [REVIEW]Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-39.
  39.  6
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  9
    Axt Paul. Note on the 3-recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 7 , S. 97–98. [REVIEW]Rózsa Péter - 1964 - Journal of Symbolic Logic 29 (4):199-199.
  41.  10
    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.
  42.  29
    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.
  43.  30
    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.
  44.  7
    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.
  45.  11
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  35
    Gentzen Gerhard. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, neue Folge, Heft 4, S. 19–44. S. Hirzel, Leipzig 1938. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  15
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  20
    Janiczak Antoni. A remark concerning decidability of complete theories. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-147.
  49.  32
    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.
  50.  9
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 979