- Roman Murawski, Recursive Functions and Metamathematics. [REVIEW]Roman Murawski - 2002 - Studia Logica 70 (2):297-299.details
|
|
(2 other versions)Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.details
|
|
(1 other version)Finite combinatory processes—formulation.Emil L. Post - 1936 - Journal of Symbolic Logic 1 (3):103-105.details
|
|
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.details
|
|
Porte Jean. Quelques pseudo-paradoxes de la “calculabilité effective.” 2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 332–334.Kalmár László. An argument against the plausibility of Church's thesis. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 72–80.Peter Rózsa. Rekursivität und Konstruktivität. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 226–233.Mendelson Elliott. On some recent criticism of Church's thesis. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 201–205. [REVIEW]Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.details
|
|
An Independence Question in Recursive Arithmetic.Alonzo Church & Laszlo Kalmar - 1971 - Journal of Symbolic Logic 36 (4):692-693.details
|
|
(1 other version)From Kant to Hilbert Volume 2.William Bragg Ewald - 1996 - Oxford University Press.details
|
|
On some recent criticism of Church's Thesis.Elliott Mendelson - 1963 - Notre Dame Journal of Formal Logic 4 (3):201-205.details
|
|
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.details
|
|
(2 other versions)Elements of Intuitionism.Nicolas D. Goodman - 1979 - Journal of Symbolic Logic 44 (2):276-277.details
|
|
(1 other version)Nelson Leonard. Critical philosophy and mathematical axiomatics. English translation of 3711, 2, by Thomas K. Brown III. Socratic method and critical philosophy, Selected essays by Leonard Nelson, Yale University Press, New Haven 1949, pp. 158–184.Kraft Julius. Introduction. English translation of 3711, 2, by Thomas K. Brown III. Socratic method and critical philosophy, Selected essays by Leonard Nelson, Yale University Press, New Haven 1949, pp. ix–xxii. [REVIEW]Anders Wedberg - 1950 - Journal of Symbolic Logic 14 (4):244-246.details
|
|
S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
Quelques Pseudo-Paradoxes de la "Calculabilité Effective.".Jean Porte & Elliott Mendelson - 1968 - Journal of Symbolic Logic 33 (3):471-472.details
|
|
(1 other version)Mathematics, science, and epistemology.Imre Lakatos, Gregory Currie & John Worrall - 1978 - New York: Cambridge University Press.details
|
|
(1 other version)Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.details
|
|
An Argument against the Plausibility of Church's Thesis.László Kalmár - 1959 - In A. Heyting (ed.), Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam 1957. Amsterdam: North-Holland. pp. 72-80.details
|
|
Church's thesis and cognitive science.R. J. Nelson - 1987 - Notre Dame Journal of Formal Logic 28 (4):581-614.details
|
|
Reflections on Church's thesis.Stephen C. Kleene - 1987 - Notre Dame Journal of Formal Logic 28 (4):490-498.details
|
|
Church's thesis misconstrued.Jonathan Berg & Charles Chihara - 1975 - Philosophical Studies 28 (5):357 - 362.details
|
|
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.details
|
|
(1 other version)Finite combinatory processes—formulation.Emil L. Post - 1936 - Journal of Symbolic Logic 1 (3):103-105.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
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.details
|
|
Imre Lakatos' Hungarian dissertation. A documentation arranged by Gábor Kutrovátz.Gábor Kutrovátz - 2002 - In G. Kampis, L: Kvasz & M. Stöltzner (eds.), Appraising Lakatos: Mathematics, Methodology and the Man. Kluwer Academic Publishers. pp. 353--374.details
|
|
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.details
|
|
Church's thesis: What its difficulties are and are not.David Ross - 1974 - Journal of Philosophy 71 (15):515-525.details
|
|
On Unsolvable Mathematical Problems.L. Kalmár - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:756-758.details
|
|
Critical Philosophy and Mathematical Axiomatics.Leonard Nelson, Thomas K. Brown & Julius Kraft - 1950 - Journal of Symbolic Logic 14 (4):244-246.details
|
|
An argument against church's thesis.G. Lee Bowie - 1973 - Journal of Philosophy 70 (3):66-76.details
|
|
The Constructive Second Number Class.Alonzo Church - 1938 - Journal of Symbolic Logic 3 (4):168-169.details
|
|