Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
In the light of logic / / Solomon Feferman [[electronic resource]]
| In the light of logic / / Solomon Feferman [[electronic resource]] |
| Autore | Feferman Solomon |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | New York ; , : Oxford University Press, , 2023 |
| Descrizione fisica | 1 online resource (353 pages) |
| Disciplina |
510.1
511.3 |
| Collana |
Logic and computation in philosophy
Oxford scholarship online |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
| ISBN |
0-19-773058-2
1-280-44330-8 9786610443307 0-19-535983-6 0-585-35829-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910814287503321 |
Feferman Solomon
|
||
| New York ; , : Oxford University Press, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
In the light of logic [[electronic resource] /] / Solomon Feferman
| In the light of logic [[electronic resource] /] / Solomon Feferman |
| Autore | Feferman Solomon |
| Pubbl/distr/stampa | New York, : Oxford University Press, c1998 |
| Descrizione fisica | 1 online resource (353 p.) |
| Disciplina |
510.1
511.3 |
| Collana | Logic and computation in philosophy |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-44330-8
9786610443307 0-19-535983-6 0-585-35829-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910455474703321 |
|
Feferman Solomon
|
||
| New York, : Oxford University Press, c1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
In the light of logic [[electronic resource] /] / Solomon Feferman
| In the light of logic [[electronic resource] /] / Solomon Feferman |
| Autore | Feferman Solomon |
| Pubbl/distr/stampa | New York, : Oxford University Press, c1998 |
| Descrizione fisica | 1 online resource (353 p.) |
| Disciplina |
510.1
511.3 |
| Collana | Logic and computation in philosophy |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematics |
| ISBN |
0-19-773058-2
1-280-44330-8 9786610443307 0-19-535983-6 0-585-35829-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910778898003321 |
|
Feferman Solomon
|
||
| New York, : Oxford University Press, c1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||