Vai al contenuto principale della pagina
![]() |
POSSEDUTO (se manca la collocazione vai al documento contenente) | |
Autore principale: | Rivetti Barbò, Francesca.
|
Titolo: | Sulla prova di Goedel della non-dimostrabilità della non-contradittorietà nella formalizzazione di Bernays : considerazioni filosofiche tra le due culture / Francesca Rivetti Barbò. |
Note: | A p. 291-294 passi scelti da: Grundlagen der Mathematik / von D. Hilbert und P. Bernays. Berlin : Springer, 1939 |
Visionato in: | IMSS |
In: | ![]() |
Altri autori: | Hilbert, David, 1862-1943.
Bernays, Paul, 1888-1977. |
Discipline: | Logica matematica--Persone. |
Persone: | Gödel, Kurt, 1906-1978. Bernays, Paul, 1888-1977. |
Keyword: | Testi e Carteggi--Matematica. |
Sudd. cronologiche: | Secolo XX. |
000000221575 |