))
Vite da logico - 4 - Da Godel a oggi
Manage episode 267221864 series 2752597
Contenuto fornito da Vito Rodolfo Albano. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Vito Rodolfo Albano o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.player.fm/legal.
Nelle venti puntate di Vite da logico, andate in onda su Radio2 tra l’11 ottobre e il 5 novembre 2004 per il ciclo Alle otto della sera, Odifreddi racconta la storia della logica attraverso le vite, le morti e i miracoli dei suoi principali protagonisti, dai greci ai nostri giorni.
In questo quarto ed ultimo episodio vi proponiamo le seguenti puntate:
16. L’intuizionismo di Poincaré
17. Il teorema di incompletezza di Goedel
18. Il teorema di indecidibilità di Turing
19. Il teorema di indefinibilità di Tarski
20. La logica oggi
--- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message362 episodi
Condividi
