![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
progenesFormalization, Mechanization and Automation of Gödel's Proof of God's Existence
Особенно понравилось - In case of logico-philosophical disputes, the computer can check the disputing arguments and partially fulfill Leibniz’ dictum: Calculemus — Let us calculate!
Особенно понравилось - In case of logico-philosophical disputes, the computer can check the disputing arguments and partially fulfill Leibniz’ dictum: Calculemus — Let us calculate!
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2013-09-09 02:59 pm (UTC)