Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-20 di 32

La macchina e le dimostrazioni

matematica, logica e informatica

  • Lolli, Gabriele

Intelligenza meccanica

  • Turing, Alan Mathison

Numeri

la creazione continua della matematica

  • Lolli, Gabriele

Teoria assiomatica degli insiemi [+]

insiemi costruibili e modelli booleani

  • Lolli, Gabriele

La teoria degli insiemi e l'ipotesi del continuo

Appendice all'edizione italiana di Gabriele Lolli

  • Cohen, Paul

Scritti scelti [+]

1933-1964

  • Gödel, Kurt

Il computer di Kant

struttura della matematica e della logica moderne

  • Borzacchini, Luigi

Beffe, scienziati e stregoni [+]

la scienza oltre realismo e relativismo

  • Lolli, Gabriele

Incompletezza

saggio su Kurt Gödel

  • Lolli, Gabriele

Risultati 1-20 di 32