Boğaziçi Üniversitesi'nden Prof. Dr. Cem Say konuğumuz. Alan Turing dizimizin 2. programında Turing'in hesaplama kuramlarını ve "Turing Makinası" modelini anlatıyor. Alman matematikçi David Hilbert, matematik için tutarlı ve noksansız bir aksiyomlar kümesi olduğunu düşünüyordu. Avusturya'lı mantıkçı Kurt Gödel bunun mümkün olamayacağını göstererek matematik dünyasını temellerinden sarstı. Hilbert'ten Gödel'e oradan da Turing'e uzanan bir eksende 20. YY matematik ve mantık dünyasını sarsan sonuçlarını, Cem Say herkesin anlayabileceği açıklıkla anlatıyor.