S2004:E04
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