Stampa - Email - Export
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email ed export.
dia/ video
POSSEDUTO
Gödel e Turing
[Videoregistrazione] : la nascita del computer e la società dell'informazione
Odifreddi, Piergiorgio, 1950-
Indice: Pt. 1. La logica e il calcolo: 1. Le macchine per fare calcoli 2. La macchina anlitica 3. Boole e la logica matematica 4. Alla ricerca delle leggi del ragionamento...
Anno: 2010
| Gödel e Turing [Videoregistrazione] : la nascita del computer e la società dell'informazione / racconta Piergiorgio Odifreddi |
| Roma : Gruppo editoriale L'Espresso, c2010. |
spoglio
NON posseduto
| Moriconi, Enrico |
| Gödel's completeness theorem : some history, some philosphy / Enrico Moriconi |
| In: Logic and philosophy in Italy. p. 203-214 |
monografia
POSSEDUTO
Gödel, Einstein und die Folgen
Vermächtnis einer ungewöhnlichen Freundschaft
Yourgrau, Palle
Beginnen, Kurt
Kuhlmann Krieg, Susanne
Indice: 1. Eine Verschwörung des Schweigens 2. Ein deutscher Hang zur Metaphysik 3. Wien: Logische Zirkel 4. Ein Spion im Haus der Logik 5. Es ist nicht leicht, Wien zu verlassen...
Anno: 2005
| Yourgrau, Palle |
| Gödel, Einstein und die Folgen : Vermächtnis einer ungewöhnlichen Freundschaft / Palle Yourgrau ; aus dem Englischen von Kurt Beginnen und Susanne Kuhlmann-Krieg |
| München : C.H. Beck, c2005. |
spoglio
POSSEDUTO
| Crocco, Gabriella |
| Gödel, Leibniz and Russell's mathematical logic / Gabriella Crocco |
| In: New essays on Leibniz reception. p. 217-256 |
spoglio
NON posseduto
| Abrusci, Vito Michele |
| Hilbert e i fondamenti della matematica : il metodo assiomatico / V. Michele Abrusci |
| In: Pensiero di David Hilbert. p. 127-142 |
spoglio
NON posseduto
| Giaquinta, Mariano |
| Hilbert e il calcolo delle variazioni / Mariano Giaquinta |
| In: Pensiero di David Hilbert. p. 47-58 |
spoglio
NON posseduto
| Lolli, Gabriele, 1942- |
| Hilbert e la logica / Gabriele Lolli |
| In: Pensiero di David Hilbert. p. 93-125 |
spoglio
POSSEDUTO
| Karela, Catherine |
| Hilbert on different notions of completeness : a conceptual and historical analysis / Catherine Karela |
| In: Almagest Vol. 1, issue 2 (2010), p. 116-127 |
spoglio
NON posseduto
| Catanese, Fabrizio |
| Hilbert presso la Georg August Universität Göttingen : ieri ed oggi / Fabrizio Catanese |
| In: Pensiero di David Hilbert. p. 7-24 |
spoglio
POSSEDUTO
| Majer, Ulrich |
| Hilbert's program axiomatize physics, in analogy to geometry, and its impact on Schlick, Carnap and other members of the Vienna circle / Ulrich Mayer |
| In: History of philosophy of science. p. 213-224 |
spoglio
POSSEDUTO
How Bertrand Russell discovered his paradox
Grattan Guinness, Ivor, 1941-2014
Concerning Russell's paradox of the class of all classes which do not belong to themselves. Also discussed are Russell's use of G. Cantor's diagonal argument and his exchange...
Anno: 1978
| Grattan Guinness, Ivor, 1941-2014 |
| How Bertrand Russell discovered his paradox / by I. Grattan-Guinness. |
| In: Historia mathematica Vol. 5 (1978), p. 127-137 |
spoglio
POSSEDUTO
| Stöltzner, Michael |
| How metaphysical is deepening the foundations? : Hahn and Frank on Hilbert's axiomatic method / Michael Stöltzner |
| In: History of philosophy of science. p. 245-262 |
spoglio
POSSEDUTO
| Stannett, Mike |
| Hypercomputational models / Mike Stannett |
| In: Alan Turing. p. 135-157 |
spoglio
NON posseduto
| Penna, Antonello |
| Identità e relazione di accessibilità in Saul Kripke / Antonello Penna |
| In: Annali della Facoltà di lettere e filosofia dell'Università di Perugia Sez. 4: Studi filosofici, vol. 34, n.s. 20 (1996-97) (stampa 1998), p. 207-255 |
spoglio
NON posseduto
| Frascolla, Lello |
| Identità, funzioni, classi : note su The foundations of methematics di F. P. Ramsay / Lello Frascolla |
| In: Teoria A. 7, n. 2 (1987), p. 23-44 |
spoglio
POSSEDUTO
| Grattan Guinness, Ivor, 1941-2014 |
| Ideologies in and of logics, 1840s-1940s : from Boole through Russell to Carnap / Ivor Grattan-Guinness. |
| In: Form, Zahl, Ordnung. p. 243-253 |
spoglio
POSSEDUTO
| Mathias, A.R.D. |
| The ignorance of Bourbaki / A.R.D. Mathias. |
| In: Physis Vol. 28, n.s., fasc. 3 (1991), p. 887-904 |
spoglio
NON posseduto
| D'Agostino, Marcello |
| L'impatto di Turing sulla logica / Marcello D'Agostino |
| In: Eredità di Alan Turing. p. 79-100 |
spoglio
POSSEDUTO
| Bozzi, Silvio |
| Implicazione stretta e metodo assiomatico nella logica di Lewis e Langford / Silvio Bozzi |
| In: Atti del Convegno internazionale di storia della logica Le teorie delle modalità. Convegno internazionale di storia della logica Le teorie delle modalità (1987 : San Gimignano) p. 183-203 |
spoglio
NON posseduto
| Ferrante, Francesco |
| Importante Simposio internazionale sui teoremi di Gödel a sessanta anni dalla pubblicazione della celebre memoria Uber formal unentscheidbare Satze der Principia Mathematica und verwander Systeme I / Francesco Ferrante |
| In: Metalogicon A. 8, n. 1 (1995), p. 33-40 |
spoglio
POSSEDUTO
In memoriam Kurt Gödel
his 1931 correspondance with Zermelo on his incompletability thorem
Grattan Guinness, Ivor, 1941-2014
Zermelo, Ernst, 1871-1953
Gödel, Kurt, 1906-1978
Anno: 1979
| Grattan Guinness, Ivor, 1941-2014 |
| In memoriam Kurt Gödel : his 1931 correspondance with Zermelo on his incompletability thorem / by I. Grattan-Guinness. |
| In: Historia mathematica Vol. 6 (1979), p. 294-304 |
monografia
POSSEDUTO
Incompletezza
saggio su Kurt Gödel
Lolli, Gabriele, 1942-
Indice: 1. Il problema 2. La formalizzazione della matematica 3. Le attese 4. La risolubilità di tutti i problemi 5. Le anticipazioni 6. Senza formule 7. Lo spirito di Leibniz...
Anno: 1992
| Lolli, Gabriele, 1942- |
| Incompletezza : saggio su Kurt Gödel / Gabriele Lolli |
| Bologna : Il mulino, c1992. |
spoglio
POSSEDUTO
| Chaitin, Gregory J., 1947- |
| L'incompletezza è un problema serio? / Gregory J. Chaitin |
| In: Complessità di Gödel. p. 65-69 |
spoglio
POSSEDUTO
| Calude, Cristian, 1952- |
| Incompletezza, complessità, casualità e oltre / Cristian S. Calude |
| In: Complessità di Gödel. p. 7-29 |
spoglio
NON posseduto
| Ettari, Dario |
| The Indian wife puzzle : Russell on universals / Dario Ettari |
| In: Metalogicon A. 10, n. 1 (1997), p. 41-45 |
