|
| 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: |  Scienza e filosofia. Pisa : Giardini editori e stampatori, c1995. p. 279-294 |
| 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 |
--------------------------------------