Results for 'László Kalmár'

825 found
Order:
  1. Mathematics teaching experiments in Hungary.Laszlo Kalmar - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 233--237.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  2. On the reduction of the decision problem.László Kalmár & János Surányi - 1947 - Journal of Symbolic Logic 12 (3):65 - 73.
  3.  51
    On the reduction of the decision problem. Third paper. Pepis prefix, a single binary predicate.László Kalmár & János Surányi - 1950 - Journal of Symbolic Logic 15 (3):161 - 173.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  8
    Über ein Problem, betreffend die Definition des Begriffes der allgemein‐rekursiven Funktion.László Kalmár - 1955 - Mathematical Logic Quarterly 1 (2):93-96.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  22
    Über ein Problem, betreffend die Definition des Begriffes der allgemein-rekursiven Funktion.László Kalmár - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):93-96.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  8
    Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität.László Kalmár - 1956 - Mathematical Logic Quarterly 2 (1‐4):1-14.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  25
    Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität.László Kalmár - 1956 - Mathematical Logic Quarterly 2 (1-4):1-14.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  5
    Eine Einfache Konstruktion Unentscheidbarer Satze in Formalen Systemen.Laszlo Kalmar & Ernst V. Glasersfeld - 1952 - Journal of Symbolic Logic 17 (2):150-151.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  13
    Mostowski Andrzej. Axiom of choice for finite sets. Fundamenta mathematicae, vol. 33 , pp. 137–168.László Kalmár - 1948 - Journal of Symbolic Logic 13 (1):45-46.
  10.  45
    On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate.László Kalmár - 1939 - Journal of Symbolic Logic 4 (1):1 - 9.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  18
    A New Principle of Construction of Logical Machines.Ann M. Singleterry & Laszlo Kalmar - 1966 - Journal of Symbolic Logic 31 (3):516.
  12.  8
    An Independence Question in Recursive Arithmetic.Alonzo Church & Laszlo Kalmar - 1971 - Journal of Symbolic Logic 36 (4):692-693.
  13.  32
    Curry Haskell B.. The paradox of Kleene and Rosser. Transactions of the American Mathematical Society, vol. 50 , pp. 454–516. [REVIEW]László Kalmár - 1946 - Journal of Symbolic Logic 11 (4):136-137.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  7
    Péter Rózsa. Az axiomatikus módszer korlátai . Hungarian with German abstract. Matematikai és fizihai lapok, Bd. 48 , pp. 120–143. [REVIEW]László Kalmár - 1941 - Journal of Symbolic Logic 6 (3):111-111.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  13
    Review: Andrzej Mostowski, Axiom of Choice for Finite Sets. [REVIEW]László Kalmár - 1948 - Journal of Symbolic Logic 13 (1):45-46.
  16.  9
    Review: Rozsa Peter, The Bounds of the Axiomatic Method. [REVIEW]László Kalmár - 1941 - Journal of Symbolic Logic 6 (3):111-111.
  17.  16
    Review: Laszlo Kalmar, Une Forme du Theoreme de Godel Sous des Hypotheses Minimales; Laszlo Kalmar, Quelques Formes Generales du Theoreme de Godel. [REVIEW]Leon Henkin - 1950 - Journal of Symbolic Logic 15 (3):230-230.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  18.  20
    Review: Laszlo Kalmar, Janos Suranyi, On the Reduction of the Decision Problem. Second Paper. Godel Prefix, a Single Binary Predicate. [REVIEW]W. Ackermann - 1948 - Journal of Symbolic Logic 13 (1):48-48.
  19.  22
    Surányi László Kalmár und János. On the reduction of the decision problem. Second paper. Gödel prefix, a single binary predicate. Ebd., S. 65–73. [REVIEW]W. Ackermann - 1948 - Journal of Symbolic Logic 13 (1):48-48.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  27
    László Kalmár. Another proof of the Gödel-Rosser incompletability theorem. Acta scientiarum mathetnaticarum , Bd. 12A , S. 38–43. [REVIEW]Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):386.
  21.  8
    Review: Laszlo Kalmar, Another Proof of the Godel-Rosser Incompletability Theorem. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):386-386.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  10
    Review: Laszlo Kalmar, On the Possibility of Definition by Recursion. [REVIEW]S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (2):70-70.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  12
    Review: Laszlo Kalmar, Janos Suranyi, On the Decision Problem. Third Paper. Pepis Prefix, a Single Binary Predicate. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (3):215-216.
  24.  3
    Review: Laszlo Kalmar, A Hilbert-fele Bizonyitaselmelet Celkituzesei, Modszerei es Eredmenyei (Zielsetzungen, Methoden und Ergebnisse der Hilbertschen Beweistheorie). [REVIEW]Rózsa Péter - 1941 - Journal of Symbolic Logic 6 (3):110-111.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  2
    Review: Laszlo Kalmar, A Matematikai Exaktsag Fejlodese a Szemlelettol az Axiomatikus Modszerig (Die Entwicklung der Mathematischen Exaktheit von der Anschauung bis zur Axiomatischen Methode). [REVIEW]Rosza Peter - 1944 - Journal of Symbolic Logic 9 (1):24-25.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  9
    Review: Laszlo Kalmar, Egyszeru Pelda Eldonthetetlen Aritmetikai Problemara (Ein Einfaches Beispiel fur ein Unentscheidbares Arithmetisches Problem). [REVIEW]Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):24-24.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  9
    Review: Laszlo Kalmar, Reduction of the Decision Problem to the Satisfiability Question of Logical Formulae on a Finite Set. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):72-72.
  28.  18
    Review: Laszlo Kalmar, Another Proof of the Markov-Post Theorem. [REVIEW]William W. Boone - 1958 - Journal of Symbolic Logic 23 (4):447-448.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  2
    Review: Laszlo Kalmar, Zur Reduktion des Entscheidungsproblems. [REVIEW]Alonzo Church - 1938 - Journal of Symbolic Logic 3 (1):46-46.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  21
    A missing link: The influence of László Kalmár's empirical view on Lakatos' philosophy of mathematics.Dezső Gurka - 2006 - Perspectives on Science 14 (3):263-281.
    . The circumstance, that the text of Imre Lakatos' doctoral thesis from the University of Debrecen did not survive, makes the evaluation of his career in Hungary and the research of aspects of continuity of his lifework difficult. My paper tries to reconstruct these newer aspects of continuity, introducing the influence of László Kalmár the mathematician and his fellow student, and Sándor Karácsony the philosopher and his mentor on Lakatos' work. The connection between the understanding of the empirical (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  31.  39
    A missing link: The infuence of lászló kalmár's empirical view on Lakatos' philosophy of mathematics.Deszo Gurka - 2006 - Perspectives on Science 14 (3):263-281.
    The circumstance that the text of Imre Lakatos' doctoral thesis from the University of Debrecen did not survive makes the evaluation of his career in Hungary and the research of aspects of continuity of his lifework difficult. My paper tries to reconstruct these newer aspects of continuity, introducing the influence of László Kalmár the mathematician and his fellow student, and Sándor Karácsony the philosopher and his mentor on Lakatos' work. The connection between the understanding of the empirical basis (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  12
    Review: Laszlo Kalmar, A Direct Proof of the Unsolvability of the Decision Problem by Means of a General Recursive Algorithm. [REVIEW]John G. Kemeny - 1959 - Journal of Symbolic Logic 24 (2):173-174.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  8
    Review: Laszlo Kalmar, Recent Results Concerning the Foundations of Mathematics; Alfred Renyi, Gyorgy Alexits, Janos Aczel, Remarks Concerning the Lecture of Laszlo Kalmar; Laszlo Kalmar, Laszlo Kalmar's Reply. [REVIEW]John G. Kemeny - 1959 - Journal of Symbolic Logic 24 (2):174-174.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Review: Laszlo Kalmar, The Solution of a Problem of K. Schroter, Concerning the Definition of General Recursive Functions. [REVIEW]John G. Kemeny - 1960 - Journal of Symbolic Logic 25 (2):164-165.
  35.  8
    Review: Alonzo Church, Laszlo Kalmar, An Independence Question in Recursive Arithmetic. [REVIEW]Julia Robinson - 1971 - Journal of Symbolic Logic 36 (4):692-693.
  36.  10
    Review: Andras Hajnal, Laszlo Kalmar, Eine Bemerkung zum Godelschen Axiomensystem der Mengenlehre. [REVIEW]R. Péter - 1957 - Journal of Symbolic Logic 22 (3):296-296.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  27
    Müller Gert Heinz. Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest 1965, S. 45–51.Müller G. H.. Rekursionsformen in der Zahlentheorie. Automatentheorie und formate Sprachen, Nr. 3, Bericht aus dem Mathematischen Forschungsinstitut Oberwolfach, herausgegeben von Johannes Dörr und Günter Hotz, Bibliographisches Institut, Mannheim–Wien–Zurich, Hochschultaschenbücher–Verlag, Mannheim 1970, S. 399–440. [REVIEW]Dieter Rödding - 1973 - Journal of Symbolic Logic 38 (1):156-157.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38.  9
    Church Alonzo. An independence question in recursive arithmetic. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by László Kalmár, Akadémiai Kiadó, Budapest 1965, pp. 21–26. [REVIEW]Julia Robinson - 1971 - Journal of Symbolic Logic 36 (4):692-693.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  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  
  40.  14
    Kalmár László. A new principle of construction of logical machines. 2e Congrès International de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 458–463. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):516-516.
  41.  16
    Kalmár László and Surányi János. On the decision problem. Third paper. Pepis prefix, a single binary predicate. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (3):215-216.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  15
    Kalmár László. Another proof of the Markov-Post theorem. English with Russian summary. Acta mathematica Academiae Scientiarum Hungaricae, vol. 3 , pp. 1–27. [REVIEW]William W. Boone - 1958 - Journal of Symbolic Logic 23 (4):447-448.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  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  
  44.  8
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45.  10
    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.
  46.  17
    Kalmár Lászlô. Contributions to the reduction theory of the decision problem. First paper. Prefix … , a single binary predicate. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae , vol. 1 no. 1 , pp. 64–73. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):73-73.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  27
    Kalmár László. Contributions to the reduction theory of the decision problem. Third paper. Prefix … , a single binary predicate. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2, pp. 19–38. [REVIEW]Alonzo Church - 1953 - Journal of Symbolic Logic 18 (3):264-264.
  48.  13
    Kalmár László. Zurückführung des Enlscheidungsproblems auf den Fall von Formeln mil einer einzigen, binären, Funktionsvariablen. Compositio mathematica, vol. 4 no. 1 , pp. 137–144. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (1):48-48.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  23
    Kalmár László. Eine einfache Konstruktion unenlscheidbarer Sätze in formalen Systemen. Methodos, vol. 2 no. 6–7 , pp. 220–226.Kalmár László. A simple construction of undecidable propositions in formal systems. English translation of the preceding by Ernst v. Glasersfeld. Methodos, vol. 2 no. 6–7 , pp. 227–231. [REVIEW]John G. Kemeny - 1952 - Journal of Symbolic Logic 17 (2):150-151.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  19
    Kalmár László. Közvetlen bizonyítás az eldöntésproblémának általános rekurzív algoritmussal való megoldhatatlanságára . A Magyar Tudományos Akadémia, III. osztályának közleményei, vol. 6 , pp. 1–25. [REVIEW]John G. Kemeny - 1959 - Journal of Symbolic Logic 24 (2):173-174.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 825