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