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 条

[41] Wronski's Foundations of Mathematics
Wagner, Roi
[J]. SCIENCE IN CONTEXT, 2016, 29 (03) : 241 - 271
[42] Foundations of mathematics in polymorphic type theory (mathematical philosophy)
Holmes, MR
[J]. TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 2001, 20 (01): : 29 - 52
[43] Turing's legacy - Sale of Ben Weinreb's collection
Woudhuysen, HR
[J]. TLS-THE TIMES LITERARY SUPPLEMENT, 1999, (5037): : 38 - 38
[44] MATHEMATICAL FOUNDATIONS AND COMPUTATIONAL METHODS FOR A DIGITAL LOGIC MACHINE
LEDLEY, RS
[J]. JOURNAL OF THE OPERATIONS RESEARCH SOCIETY OF AMERICA, 1954, 2 (03): : 249 - 274
[45] THE AXIOM OF CHOICE IN QUINE NEW FOUNDATIONS FOR MATHEMATICAL LOGIC
SPECKER, EP
[J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1953, 39 (09) : 972 - 975
[46] Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics.
McLarty, Colin
[J]. ISIS, 2020, 111 (01) : 202 - 202
[47] Saved from the Cellar. Gerhard Gentzen's Shorthand Notes on Logic and the Foundations of Mathematics
Rezus, Adrian
[J]. STUDIA LOGICA, 2019, 107 (03) : 583 - 589
[48] FOUNDATIONS - ESSAYS IN PHILOSOPHY, LOGIC, MATHEMATICS AND ECONOMICS - RAMSEY,FP
LEJEWSKI, C
[J]. PHILOSOPHY, 1979, 54 (208) : 259 - 260
[49] CARNAP WORK IN THE FOUNDATIONS OF LOGIC AND MATHEMATICS IN A HISTORICAL-PERSPECTIVE
HINTIKKA, J
[J]. SYNTHESE, 1992, 93 (1-2) : 167 - 189
[50] FOUNDATIONS - ESSAYS IN PHILOSOPHY, LOGIC, MATHEMATICS AND ECONOMICS - RAMSEY,FP
ARROW, KJ
[J]. JOURNAL OF POLITICAL ECONOMY, 1980, 88 (03) : 636 - 638

← 1 2 3 4 5 →