Language, Logic and Computations
暂无分享,去创建一个
[1] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .
[2] I. Lakatos. PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.
[3] H. Luckhardt,et al. Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken , 1989, Journal of Symbolic Logic.
[4] Giuseppe Peano,et al. Arithmetices Principia Novo Methodo Exposita , 1889 .
[5] István Németi,et al. Relativistic computers and the Turing barrier , 2006, Appl. Math. Comput..
[6] William McCune,et al. Solution of the Robbins Problem , 1997, Journal of Automated Reasoning.
[7] Georges Gonthier,et al. Formal Proof—The Four- Color Theorem , 2008 .
[8] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.
[9] R. Peter,et al. 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. , 1939, Journal of Symbolic Logic.
[10] Gottlob Frege,et al. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens , 1879 .
[11] Ulrich Kohlenbach,et al. Applied Proof Theory - Proof Interpretations and their Use in Mathematics , 2008, Springer Monographs in Mathematics.
[12] Hao Wang,et al. Toward Mechanical Mathematics , 1960, IBM J. Res. Dev..
[13] S. Kleene. General recursive functions of natural numbers , 1936 .
[14] Emil L. Post. Finite combinatory processes—formulation , 1936, Journal of Symbolic Logic.
[15] A. Church. A Set of Postulates for the Foundation of Logic , 1932 .
[16] J. Girard. Proof Theory and Logical Complexity , 1989 .
[17] A. Church. An Unsolvable Problem of Elementary Number Theory , 1936 .
[18] G. Gentzen. Die Widerspruchsfreiheit der reinen Zahlentheorie , 1936 .
[19] K. Gödel. Die Vollständigkeit der Axiome des logischen Funktionenkalküls , 1930 .
[20] Thomas Drucker,et al. Perspectives on the history of mathematical logic , 1991 .
[21] Henri Poincaré,et al. The foundations of science , 2022 .
[22] Andrzej Grzegorczyk. An Outline of Mathematical Logic , 1974 .
[23] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[24] Alonzo Church,et al. A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.
[25] I. Lakatos,et al. Proofs and Refutations: Frontmatter , 1976 .
[26] Andrzej Grzegorczyk. An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details , 1974 .
[27] Saul Kripke,et al. A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.
[28] J. Dawson,et al. The Reception of Gödel's Incompleteness Theorems , 1984, PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association.
[29] Leopold Löwenheim. Über Möglichkeiten im Relativkalkül , 1915 .
[30] A. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .