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