Vite da logico - 4 - Da Godel a oggi

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