Main menu:

Mina böcker

Sök på sidan

Recent Posts

Recent Comments

Länkar

Kategorier

Arkiv för October 24th, 2013

Guds existens bevisad – av en dator

Men hjälp av en MacBook har två matematiker, Christoph Benzmüller och Bruno Woltzenlogel, lyckats med bedriften att formalisera, mekanisera och automatisera Kurt Gödels bevis för Guds existens, Kurt Gödel med sin vän och kollega Albert Einstein. Beviset bygger på en teori av den geniale matematikern Kurt Gödel som han lämnade efter sig ofullbordat när han […]