/lit/ - Literature

Logicians are analytic philosophers and the set theory fields medalist commented on how in his first introductions to logic, he was appalled by the amount of philosophy. But later on he was even more surprised the analytic philosophy was actually producing tangible mathematical theorems

In the Godel universe time travel is possible, but Godel said this is absurd and used it say space-time in GR cannot be thought of as time at all. What was Godel's actual philosophy of time?