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 […]
Publicerad: 24 October, 2013 i Filosofi, Teologi, Vetenskap.
Etiketter: Filosofi, Teologi, Vetenskap
Kommentarer: -