ON TURING'S LEGACY IN MATHEMATICAL LOGIC AND THE FOUNDATIONS OF MATHEMATICS

被引：0

作者：

Bagaria, Joan ^{[1
,2
]}

机构：

[1] Univ Barcelona, ICREA, E-08007 Barcelona, Spain

[2] Univ Barcelona, Dept Log Hist & Filosofia Ciencia, E-08007 Barcelona, Spain

来源：

ARBOR-CIENCIA PENSAMIENTO Y CULTURA | 2013年 / 189卷 / 764期

关键词：

Alan Turing; Foundations of Mathematics;

D O I：

10.3989/arbor.2013.764n6002

中图分类号：

C [社会科学总论];

学科分类号：

03 ; 0303 ;

摘要：

While Alan Turing is best known for his work on computer science and cryptography, his impact on the general theory of computable functions (recursion theory) and the foundations of mathematics is of equal importance. In this article we give a brief introduction to some of the ideas and problems arising from Turing's work in these areas, such as the analysis of the structure of Turing degrees and the development of ordinal logics.

引用

页数：7

共 50 条

[31] FOUNDATIONS OF MATHEMATICAL LOGIC - CURRY,HB
MULLER, PJ
[J]. REVIEW OF METAPHYSICS, 1966, 19 (03): : 583 - 584
[32] The difficult legacy of Turing’s wager
Andrew Thwaites
Andrew Soltan
Eric Wieser
Ian Nimmo-Smith
[J]. Journal of Computational Neuroscience, 2017, 43 : 1 - 4
[33] Reply to "Is mathematical logic a part of mathematics?"
Gray, J
[J]. HISTORIA MATHEMATICA, 1997, 24 (04) : 454 - 456
[34] Second-order logic and foundations of mathematics
Väänänen, J
[J]. BULLETIN OF SYMBOLIC LOGIC, 2001, 7 (04) : 504 - 520
[35] New foundations in logic and mathematics - Second communication
Chwistek, L
[J]. MATHEMATISCHE ZEITSCHRIFT, 1932, 34 : 527 - 534
[36] Introduction to Mathematical Logic and Methodology of Mathematics
不详
[J]. ZEITSCHRIFT FUR NATIONALOKONOMIE, 1939, 9 (03): : 375 - 376
[37] Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts
André Bazzoni
[J]. Journal of Philosophical Logic, 2015, 44 : 507 - 516
[38] Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts
Bazzoni, Andre
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2015, 44 (05) : 507 - 516
[39] Joining "the mathematician's delirium to the poet's logic": Mathematical Literature and Literary Mathematics
Capezzi, Rita
Kinsey, Christine
[J]. JOURNAL OF HUMANISTIC MATHEMATICS, 2014, 4 (02): : 67 - 82
[40] Mathematical Logic and the Foundation of Mathematics: An Introductory Survey
Rahim, Medhat H.
[J]. SCHOOL SCIENCE AND MATHEMATICS, 2006, 106 (03) : 162 - 163

← 1 2 3 4 5 →