Vor zwei Jahren haben zwei deutsche Informatiker Kurt Gödels Theorem zur Existenz Gottes bewiesen.
Two years ago, a pair of German
computer scientists proved Kurt Gödel's theorem on the existence of
an einem brillanten Informatiker und liebevollen Familienvater.
murder of one of our brightest
computer scientists and a dedicated family man.