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
