Eine Schlagzeile ganz nach meinem Geschmack: »Computer bestätigt Gödels Gottesbeweis« http://t.co/VS1RbSbm9K
