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.
Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato
| Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato |
| Autore | von Plato, Jan |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | ix, 263 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| Soggetto non controllato |
Completeness problem
German mathematicians Gödel incompleteness theorem Gödel lectures Gödel notes Incompleteness theorems Principia Mathematica Skolem's paradox |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248756 |
von Plato, Jan
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato
| Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato |
| Autore | von Plato, Jan |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | ix, 263 p. : ill. ; 24 cm |
| Soggetto topico |
01A60 - History of mathematics in the 20th century [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| Soggetto non controllato |
Completeness problem
German mathematicians Gödel incompleteness theorem Gödel lectures Gödel notes Incompleteness theorems Principia Mathematica Skolem's paradox |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248756 |
|
von Plato, Jan
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Emmy Noether : Mathematician Extraordinaire / David E. Rowe
| Emmy Noether : Mathematician Extraordinaire / David E. Rowe |
| Autore | Rowe, David E. |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xxi, 339 p. : ill. ; 24 cm |
| Soggetto topico |
01-XX - History and biography [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020] 01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] |
| Soggetto non controllato |
Emmy Noether mathematics
Emmy Noether's school German mathematicians History of Abstract Algebra History of Algebra Jewish mathematicians Life of Emmy Noether Mathematics in the twentieth century Mathematics under the Nazis Noether's Theorem Women in Mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274720 |
|
Rowe, David E.
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Emmy Noether : Mathematician Extraordinaire / David E. Rowe
| Emmy Noether : Mathematician Extraordinaire / David E. Rowe |
| Autore | Rowe, David E. |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xxi, 339 p. : ill. ; 24 cm |
| Soggetto topico |
01-XX - History and biography [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020] 01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] |
| Soggetto non controllato |
Emmy Noether mathematics
Emmy Noether's school German mathematicians History of Abstract Algebra History of Algebra Jewish mathematicians Life of Emmy Noether Mathematics in the twentieth century Mathematics under the Nazis Noether's Theorem Women in Mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00274720 |
|
Rowe, David E.
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Kurt Gödel: Results on Foundations / Maria Hämeen-Anttila, Jan von Plato editors
| Kurt Gödel: Results on Foundations / Maria Hämeen-Anttila, Jan von Plato editors |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | ix, 319 p. : ill. ; 24 cm |
| Soggetto non controllato |
Cantor's Continuum Hypothesis
German mathematicians Gödel incompleteness theorem Gödel lectures Gödel notes Hilbert's First and Second Problem Results on Foundations |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0279465 |
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Kurt Gödel: Results on Foundations / Maria Hämeen-Anttila, Jan von Plato editors
| Kurt Gödel: Results on Foundations / Maria Hämeen-Anttila, Jan von Plato editors |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | ix, 319 p. : ill. ; 24 cm |
| Soggetto topico |
01-XX - History and biography [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Cantor's Continuum Hypothesis
German mathematicians Gödel incompleteness theorem Gödel lectures Gödel notes Hilbert's First and Second Problem Results on Foundations |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00279465 |
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||