Stampa - Email - Export
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email ed export.
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
NON posseduto
| Lolli, Gabriele, 1942- |
| Insiemi : nascita di un'idea matematica / G. Lolli |
| In: Mondo di idee. p. 37-53 |
monografia
POSSEDUTO
| Turing, Alan, 1912-1954 |
| Intelligenza meccanica / Alan M. Turing ; a cura di Gabriele Lolli ; [traduzione di Gabriele Lolli e Nino Dazzi] |
| Torino : Bollati Boringhieri, 1994. |
monografia
POSSEDUTO
| Copi, Irving M. |
| Introduzione alla logica / Irving M. Copi, Carl Cohen ; [traduzione di Gabriele Lolli] |
| Bologna : Il mulino, c1999. |
spoglio
NON posseduto
| Lolli, Gabriele, 1942- |
| Kurt Gödel / Gabriele Lolli |
| In: Nuova informazione bibliografica N. 3 (2008), p. 417-441 |
spoglio
NON posseduto
| Lolli, Gabriele, 1942- |
| Logic and foundation of mathematics / Gabriele Lolli |
| In: Logic in the 20th century. p. 13-35 |
spoglio
POSSEDUTO
| Lolli, Gabriele, 1942- |
| Logica e calcolatore / di Gabriele Lolli |
| In: Novecento, 3. Geymonat, Ludovico 1908-1991. p. 79-114 |
spoglio
NON posseduto
| Lolli, Gabriele, 1942- |
| Logica e intelligenza artificiale / Gabriele Lolli |
| In: Sistemi intelligenti A. 3, n. 1 (1991), p. 7-36 |
spoglio
POSSEDUTO
| Cellucci, Carlo |
| La logica fra filosofia, matematica e informatica / Carlo Cellucci, Gabriele Lolli |
spoglio
POSSEDUTO
| Lolli, Gabriele, 1942- |
| Logica naturale e logica assiomatizzata / Gabriele Lolli |
| In: Omaggio a Ludovico Geymonat. p. 43-59 |
spoglio
NON posseduto
| Lolli, Gabriele, 1942- |
| Ludovico Geymonat matematico / Gabriele Lolli |
| In: Atti dell'Accademia delle scienze di Torino (Classe di scienze morali, storiche e filologiche) Vol. 127, fasc. 2 (1993), p. 93-96 |
monografia
POSSEDUTO
La macchina e le dimostrazioni
matematica, logica e informatica
Lolli, Gabriele, 1942-
Indice: Introduzione. 1. Quella favolosa macchina di Chicago 2. Le ideografie di Frege e di Peano 3. Il formalismo matematico 4. La formalizzazione in informatica 5. La deduzione...
Anno: 1987
| Lolli, Gabriele, 1942- |
| La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli |
| Bologna : Il mulino, c1987. |
spoglio
POSSEDUTO
| Lolli, Gabriele, 1942- |
| La matematica : i linguaggi e gli oggetti / di Gabriele Lolli |
| In: Scienza e filosofia. p. 213-240 |
spoglio
POSSEDUTO
| Lolli, Gabriele, 1942- |
| Matematica a partire dagli insiemi o dalle categorie?/ Gabriele Lolli |
| In: Pianeta Galileo 2005. p. 51-71 |
spoglio
POSSEDUTO
| Lolli, Gabriele, 1942- |
| Mente e matematica / di Gabriele Lolli |
| In: Mente umana, mente artificiale. p. 84-92 |
spoglio
NON posseduto
| Aurisicchio, Sandro |
| Metafora, ridondanza e ambiguità nell'immaginazione scientifica / Sandro Aurisicchio |
| In: Belfagor A. 50, n. 2 (1995), p. 133-160 |
spoglio
NON posseduto
| Lolli, Gabriele, 1942- |
| Nel cinquantenario di Peano (1858-1932) / Gabriele Lolli |
| In: Scientia (rivista di scienza) A. 76, vol. 117, n. 5-8 (1982), p. 361-363 |
spoglio
NON posseduto
| Lolli, Gabriele, 1942- |
| Numero e logos / Gabriele Lolli |
| In: Nuova informazione bibliografica N. 2 (2011), p. 213-218 |
spoglio
POSSEDUTO
| Lolli, Gabriele, 1942- |
| Paradigmi e manuali / Gabriele Lolli |
| In: Rivista di filosofia Vol. 84, n. 1 (1993), p. 87-117 |
spoglio
POSSEDUTO
| Lolli, Gabriele, 1942- |
| Peano and foundations of arithmetic / Gabriele Lolli |
| In: Giuseppe Peano between mathematics and logic. International conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario mathematico (2008 : Torino) p. 47-67 |
spoglio
POSSEDUTO
| Lolli, Gabriele, 1942- |
| Peano matematico e grammatico / Gabriele Lolli |
| In: Giuseppe Peano. p. 27-35 |
spoglio
NON posseduto
| Lolli, Gabriele, 1942- |
| Philosophers and mathematicians in foundations studies : the golden age and the present difficulties / Gabriele Lolli |
| In: Logic and philosophy in Italy. p. 359-370 |
monografia
POSSEDUTO
| Gödel, Kurt, 1906-1978 |
| La prova matematica dell'esistenza di Dio / Kurt Gödel ; a cura di Gabriele Lolli e Piergiorgio Odifreddi |
| Torino : Bollati Boringhieri, 2006. |
spoglio
NON posseduto
| Lolli, Gabriele, 1942- |
| Quasi alphabetum : logic and encyclopedia in G. Peano / Gabriele Lolli |
| In: Atti del Convegno internazionale di storia della logica. p. 133-155 |
spoglio
POSSEDUTO
| Lolli, Gabriele, 1942- |
| La questione dei fondamenti tra matematica e filosofia : panorama introduttivo / Gabriele Lolli |
| In: Matematica e filosofia. p. 17-35 |
