Hacker News new | ask | show | jobs
Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf] (ijcai.org)
3 points by edjroot 2112 days ago