Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf] (ijcai.org) 3 points by edjroot 5y ago ↗ HN
0 comments
[ 3.1 ms ] story [ 7.8 ms ] threadNo comments yet.