![[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!
