Gödla dowód na istnienie Boga

Christoph BenzmüllerBruno Woltzenlogel Paleo napisali w tym roku pracę: Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence (arXiv:1308.4526).

Posted on 11 października 2013, in Uncategorized. Bookmark the permalink. Dodaj komentarz.

Skomentuj

Wprowadź swoje dane lub kliknij jedną z tych ikon, aby się zalogować:

Logo WordPress.com

Komentujesz korzystając z konta WordPress.com. Wyloguj /  Zmień )

Zdjęcie na Google

Komentujesz korzystając z konta Google. Wyloguj /  Zmień )

Zdjęcie z Twittera

Komentujesz korzystając z konta Twitter. Wyloguj /  Zmień )

Zdjęcie na Facebooku

Komentujesz korzystając z konta Facebook. Wyloguj /  Zmień )

Połączenie z %s

%d blogerów lubi to: