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 条

[21] Hermann Grassmann's contribution to Whitehead's foundations of logic and mathematics
Riche, Jacques
[J]. HERMANN GRASSMANN: FROM PAST TO FUTURE: GRASSMANN'S WORK IN CONTEXT, 2011, : 229 - 239
[22] Turing's legacy for the internet
Benda, Miroslav
[J]. IEEE Internet Computing, 1 (06): : 75 - 77
[23] Is mathematical logic a part of mathematics?
Moore, GH
[J]. HISTORIA MATHEMATICA, 1997, 24 (02) : 210 - 212
[24] Feferman on Foundations: Logic, Mathematics, Philosophy
Kahle, Reinhard
[J]. PHILOSOPHIA MATHEMATICA, 2020, 28 (03) : 421 - 425
[25] ORGANIC AND INORGANIC LOGIC AND FOUNDATIONS OF MATHEMATICS
LINTZ, RG
[J]. JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (02) : 358 - 358
[26] The unity of logic, pedagogy and foundations in Grassmann's mathematical work
Lewis, AC
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 2004, 25 (01) : 15 - 36
[27] Lesniewski's Systems of Logic and Foundations of Mathematics (vol 37, 2014)
Simons, Peter
Urbaniak, Rafal
[J]. PHILOSOPHIA MATHEMATICA, 2017, 25 (01) : 157 - 157
[28] Justus Grassmann's contributions to the foundations of mathematics: Mathematical and philosophical aspects
Radu, M
[J]. HISTORIA MATHEMATICA, 2000, 27 (01) : 4 - 35
[29] The difficult legacy of Turing's wager
Thwaites, Andrew
Soltan, Andrew
Wieser, Eric
Nimmo-Smith, Ian
[J]. JOURNAL OF COMPUTATIONAL NEUROSCIENCE, 2017, 43 (01) : 1 - 4
[30] FOUNDATIONS OF MATHEMATICAL LOGIC - CURRY,HB
HACKING, I
[J]. MIND, 1966, 75 (298) : 295 - 296

← 1 2 3 4 5 →