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 [Book Review]

Journal of Symbolic Logic 17 (2):150-151 (1952)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266279

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Eine Einfache Konstruktion Unentscheidbarer Satze in Formalen Systemen.Laszlo Kalmar & Ernst V. Glasersfeld - 1952 - Journal of Symbolic Logic 17 (2):150-151.
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.
von Juhos Béla. Die Anwendung der logistischen Analyse auf philosophische Probleme. Methodos, vol. 3. no. 10 , pp. 81–100.Vaccarino Giuseppe. Discussione. Methodos, vol. 3. no. 10 , pp. 101–104.v. Juhos B.. Erwiderung an Herrn Giuseppe Vaccarino. Methodos, vol. 3. no. 10 , pp. 104–105.von Juhos Béla. The application of logistic analysis to philosophical problems. English translation by v. Glasersfeld Ernst. Methodos, vol. 3. no. 10 , pp. 106–117.Vaccarino Giuseppe. Discussion. English translation. Methodos, vol. 3. no. 10 , pp. 117–120.v. Juhos B.. Answer to Mr. Vaccarino. English translation. Methodos, vol. 3. no. 10 , pp. 120–122. [REVIEW]Roderick M. Chisholm - 1953 - Journal of Symbolic Logic 18 (4):337-338.
Paradies Fritz. Die Konformationsregeln der empirischen Rechtswissenschaft. Methodos, vol. 1 , pp. 259–269.Paradies Fritz. The conformation rules of empirical jurisprudence. English translation of the preceding by Ernst v. Glasersfeld. Methodos, vol. 1 , pp. 270–276. [REVIEW]Frederic B. Fitch - 1952 - Journal of Symbolic Logic 17 (1):61-61.
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.
A New Principle of Construction of Logical Machines.Ann M. Singleterry & Laszlo Kalmar - 1966 - Journal of Symbolic Logic 31 (3):516.
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.
Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam 1957.A. Heyting (ed.) - 1959 - Amsterdam: North-Holland.
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.
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.
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.
An Argument against the Plausibility of Church's Thesis.László Kalmár - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 72-80.
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.
On the reduction of the decision problem.László Kalmár & János Surányi - 1947 - Journal of Symbolic Logic 12 (3):65 - 73.
Review: Laszlo Kalmar, Zur Reduktion des Entscheidungsproblems. [REVIEW]Alonzo Church - 1938 - Journal of Symbolic Logic 3 (1):46-46.

Analytics

Added to PP
2013-11-22

Downloads
23 (#661,981)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references