Yuri Gurevich
Dana Scott
BIOGRAPHY Dana Scott is American mathematician, logician, and computer scientist who was cowinner of the 1976 A.M. Turing Award, the highest honour in computer science. Scott and the Israeli American mathematician and computer scientist Michael O. Rabin were cited in…
Joshua Blinkhorn
Spouseware and Stalkerware – LogicLounge with Eva Galperin
After Oxford and Vienna, the LogicLounge in New York on July 15, has been already the 15th in the series of LogicLounges, which feature discussions between the public and the eminent scientists in the fields of logic, philosophy, mathematics, computer…
John D. Barrow: 100 Years of Universes (In Memoriam Wolfgang Rindler)
“Philosophers were talking about that in the past, now we even have the mathematics to show it.”
Juliet Floyd: In and Out of Mind – Wittgenstein and Gödel, Post and Turing
Admission free public lecture: Thursday, July 25, at 17:00
Juliet Floyd
John D. Barrow
“Philosophers were talking about that in the past, now we even have the mathematics to show it. In the Multiverse model now we actually accept that other universes do not need to be governed by the same laws as our…