|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910814287503321 |
|
|
Autore |
Feferman Solomon |
|
|
Titolo |
In the light of logic / / Solomon Feferman |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, : Oxford University Press, c1998 |
|
|
|
|
|
|
|
ISBN |
|
0-19-773058-2 |
1-280-44330-8 |
9786610443307 |
0-19-535983-6 |
0-585-35829-X |
|
|
|
|
|
|
|
|
Edizione |
[First edition.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (353 pages) |
|
|
|
|
|
|
Collana |
|
Logic and computation in philosophy |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Mathematics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Previously issued in print: 1998. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 309-330) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; I: FOUNDATIONAL PROBLEMS; 1 Deciding the undecidable: Wrestling with Hilbert's problems; 2 Infinity in mathematics: Is Cantor necessary?; II: FOUNDATIONAL WAYS; 3 The logic of mathematical discovery versus the logical structure of mathematics; 4 Foundational ways; 5 Working foundations; III: GÖDEL; 6 Gödel's life and work; 7 Kurt Gödel: Conviction and caution; 8 Introductory note to Gödel's 1933 lecture; IV: PROOF THEORY; 9 What does logic have to tell us about mathematical proofs?; 10 What rests on what? The proof-theoretic analysis of mathematics |
11 Gödel's Dialectica interpretation and its two-way stretchV: COUNTABLY REDUCIBLE MATHEMATICS; 12 Infinity in mathematics: Is Cantor necessary? (Conclusion); 13 Weyl vindicated: Das Kontinuum seventy years later; 14 Why a little bit goes a long way: Logical foundations of scientifically applicable mathematics; Symbols; References; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; Z |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This volume brings together a revised and annotated selection of Solomon Feferman's most important writings, covering the relation |
|
|
|
|