Episode list

S2002.E5 ∙ Storia della logica - 5. La sillogistica di Aristotele.

S2002.E6 ∙ Storia della logica - 6. Oltre la sillogistica.

S2002.E7 ∙ Storia della logica - 7. Il Medioevo, da Anselmo a Abelardo.

S2002.E9 ∙ Storia della logica - 9. Il sogno di Leibniz.

S2002.E11 ∙ Storia della logica - 11. L'approccio assiomatico di Frege.

S2002.E12 ∙ Storia della logica - 12. L'approccio insiemistico di Cantor.

S2002.E13 ∙ Storia della logica - 13. Russell e la crisi dei fondamenti.

S2002.E14 ∙ Storia della logica - 14. Il paradosso di Russell.

S2002.E15 ∙ Storia della logica - 15. Il Tractatus e le Ricerche di Wittgenstein.

S2002.E16 ∙ Storia della logica - 16. Gödel, il nuovo Aristotele.

S2002.E17 ∙ Storia della logica - 17. Il teorema di incompletezza di Gödel.

S2002.E18 ∙ Storia della logica - 18. Metafore del teorema di Gödel.

S2002.E19 ∙ Storia della logica - 19. Che cos'è la verità?

S2002.E20 ∙ Storia della logica - 20. La definizione della verità di Tarski.

S2002.E21 ∙ Storia della logica - 21. La macchina di Turing.

S2002.E24 ∙ Storia della logica - 24. Riepilogo del passato e sguardo al futuro.