| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910708377803321 |
|
|
Titolo |
Creating the Department of Homeland Security : consideration of the Administration's proposal : hearings before the Subcommittee on Oversight and Investigations of the Committee on Energy and Commerce, House of Representatives, One Hundred Seventh Congress, second session, June 25 and July 9, 2002 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington : , : U.S. Government Printing Office, , 2002 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (iv, 368 pages) : illustrations |
|
|
|
|
|
|
Soggetti |
|
National security - United States |
Terrorism - United States - Prevention |
Emergency management - United States |
Executive departments - United States - Reorganization |
Legislative hearings. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910921011103321 |
|
|
Titolo |
Mathematical Logic in Vienna / / edited by Jan von Plato |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (168 pages) |
|
|
|
|
|
|
Collana |
|
Vienna Circle Institute Library ; ; 13 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic |
Mathematics |
History |
Philosophy - History |
History of Mathematical Sciences |
History of Philosophy |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Part 1: The Beginnings of Mathematical Logic in Vienna -- Part 2. Report of the Seminar on Mathematical Logic -- Part 3. Godel's Trial Lecture on Instutionistic Logic. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Kurt Gödel (1906-1978) created a sensation by his incompleteness theorems of 1931, now seen as one of the high points of 20th century mathematics and science more generally. His professor at the University of Vienna Hans Hahn decided to organize a seminar on mathematical logic for the academic year 1931/32, with Gödel in charge for most of the practical side. The seminar proceedings, given in English translation in this book, are a unique witness of the state of research in logic and foundations of mathematics right after Gödel's theorems. They also add an important aspect to the intellectual history of these times in Vienna, both Hahn and Gödel having been members of the Vienna Circle. One fourth of the seminars were dedicated to Gödel's results: First the doctoral thesis about the completeness of predicate logic, then incompleteness, and last his results on intuitionistic logic. The seminars explain all these results in detail, in contrast to Gödel's publications of the time that often were quite |
|
|
|
|
|
|
|
|
|
|
laconic and extremely short. This book also contains Gödel's trial lecture on intuitionistic logic held in Vienna in 1933. The manuscript, recently found among the Gödel papers kept in Princeton, is preserved in Gödel's forgotten German shorthand and published here in an English translation. . |
|
|
|
|
|
| |