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 条

[1] MATHEMATICAL LOGIC AND FOUNDATIONS OF MATHEMATICS
EVANS, T
[J]. AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (02): : 215 - &
[2] MATHEMATICAL LOGIC AND FOUNDATIONS OF MATHEMATICS
GOODSTEI.RL
[J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1966, 41 (162P): : 381 - &
[3] HEGEL, MATHEMATICAL LOGIC, AND THE FOUNDATIONS OF MATHEMATICS
ROSENBAUM, I
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1946, 52 (05): : 438 - 439
[4] MATHEMATICAL LOGIC AND THE FOUNDATIONS OF MATHEMATICS - KNEEBONE,GT
SHEPHERDSON, JC
[J]. BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1964, 15 (59): : 268 - 270
[5] Chinese Research on Mathematical Logic and the Foundations of Mathematics
Wang Hongguang
Du Guoping
[J]. ASIAN STUDIES-AZIJSKE STUDIJE, 2022, 10 (02): : 243 - 266
[6] HOW RECENT WORK IN MATHEMATICAL LOGIC RELATES TO THE FOUNDATIONS OF MATHEMATICS
DRAKE, FR
[J]. MATHEMATICAL INTELLIGENCER, 1985, 7 (04): : 27 - 35
[7] Kreisel's Interests: On the Foundations of Logic and Mathematics
Prawitz, Dag
[J]. PHILOSOPHIA MATHEMATICA, 2022, 30 (01) : 121 - 126
[8] LOGIC AND FOUNDATIONS OF MATHEMATICS
LOLLI, G
[J]. SCIENTIA, 1980, 115 (9-12): : 543 - 562
[9] Logic and the foundations of mathematics
Ginisti, JP
[J]. REVUE PHILOSOPHIQUE DE LA FRANCE ET DE L ETRANGER, 1999, 124 (01): : 91 - 92
[10] IF logic and the foundations of mathematics
Sandu, G
Hyttinen, T
[J]. SYNTHESE, 2001, 126 (1-2) : 37 - 47

← 1 2 3 4 5 →