Gödel's interpretation of intuitionism
暂无分享,去创建一个
[1] Per Martin-Löf,et al. An intuitionistic theory of types , 1972 .
[2] H. Weyl,et al. Das Kontinuum : kritische Untersuchungen über die Grundlagen der Analysis , 1932 .
[3] S. Buss. Handbook of proof theory , 1998 .
[4] Jeremy Avigad,et al. Chapter V – Gödel’s Functional (“Dialectica”) Interpretation , 1998 .
[5] W. Tait. Gödel’s unpublished papers on foundations of mathematics , 2001 .
[6] J. Dekker,et al. Recursive function theory , 1962 .
[7] G. Cantor,et al. Gesammelte Abhandlungen mathematischen und philosophischen Inhalts , 1934 .
[8] Nicolas D. Goodman,et al. A Theory of Constructions Equivalent to Arithmetic , 1970 .
[9] Akiko Kino,et al. Intuitionism and Proof Theory , 1970 .
[10] H. Carr. Tractatus Logico-Philosophicus , 1923, Nature.
[11] Petr Hájek,et al. Logic, methodology and philosophy of Science , 2005 .
[12] A. Church. The calculi of lambda-conversion , 1941 .
[13] Paolo Mancosu,et al. From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s , 1997 .
[14] A. Errera,et al. Sur la logique intuitionniste , 1932 .
[15] T. Crilly. From Kant to Hilbert: a sourcebook in the foundations of mathematics , William Ewald (ed.). 2 vols. Pp. 1340. 1999. £50 (Paperback). ISBN 0 19 850537 X (Oxford University Press). , 2000, The Mathematical Gazette.
[16] William A. Howard,et al. The formulae-as-types notion of construction , 1969 .
[17] Joan B. Quick,et al. Philosophy of Mathematics and Natural Science , 1950 .
[18] William W. Tait,et al. Intensional interpretations of functionals of finite type I , 1967, Journal of Symbolic Logic.
[19] Thomas L. Saaty,et al. Lectures on modern mathematics , 1963 .
[20] Giovanni Sambin,et al. Twenty-five years of constructive type theory. , 1998 .
[21] J. Ferreirós. From Frege to Gödel. A Source Book in Mathematical Logic, 1879¿1931: By Jean van Heijenoort. Cambridge, MA (Harvard University Press). 1967; new paperback edn., 2002. 664 pages, 1 halftone. ISBN: 0-674-32449-8. $27.95 , 2004 .
[22] Jean-Baptiste Lully,et al. The collected works , 1996 .
[23] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .
[24] William W. Tait. The completeness of Heyting first-order logic , 2003, J. Symb. Log..
[25] Ludwig Wittgenstein,et al. Tractatus Logico-Philosophicus: The German Text of Ludwig Wittgenstein's Logisch-philosophische Abhandlung , 1962 .
[26] Von Kurt Gödel,et al. ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES , 1958 .
[27] W. A. Howard. Assignment of Ordinals to Terms for Primitive Recursive Functionals of Finite Type , 1970 .
[28] Georg Kreisel,et al. Foundations of Intuitionistic Logic , 1962 .
[29] J. Heijenoort. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 , 1967 .
[30] H. Weyl,et al. Über die neue Grundlagenkrise der Mathematik , 1921 .
[31] A. Kosinski,et al. :From Kant to Hilbert: A Source Book in the Foundations of Mathematics , 2003 .
[32] D. Hilbert. Über das Unendliche , 1926 .
[33] W. W. Tatt. Godel's Unpublished Papers on Foundations of Mathematics , 2001 .
[34] H. Läuchli. An Abstract Notion of Realizability for Which Intuitionistic Predicate Calculus is Complete , 1970 .