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

--- Send in a voice message: https://podcasters.spotify.com/pod/show/vito-rodolfo-albano7/message