Intreccio fra logica, filosofia e informatica

Odifreddi racconta meravigliosamente la storia dell’informatica e dell’intelligenza artificiale

Eccone i dettagli:
LA LOGICA E IL CALCOLO
00:00 Le macchine per fare calcoli
05:50 La macchina analitica
08:35 Boole e la logica matematica
14:00 Alla ricerca delle leggi del ragionamento
19:00 Logica e matematica
22:20 Kurt Gödel
25:35 Consistenza e completezza
28:50 Un curioso paradosso

ALAN TURING
33:35 La vita
36:40 Un drammatica vicenda
41:40 La macchina di Turing
47:00 L’idea del calcolatore universale
51:15 Il test di Turing

IL COMPUTER MODERNO
54:00 Dall’idea alla costruzione pratica
1:00:00 La nascita dell’informatica
1:05:50 Un cambiamento epocale in 50 anni
1:09:30 Cosa non può fare un computer

Annunci
Questa voce è stata pubblicata in Logica e contrassegnata con . Contrassegna il permalink.

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...