https://hackerpaper.kaipfister.de/p/1506.01001/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=15115597urn:hackerpapers:mention:1506.01001:15115597Mon, 28 Aug 2017 10:18:26 GMT<p>Logicians have been extremely useful to fields like formal software methods, linguistics and semantics, programming language design, etc. The latest rumblings are that linear logic may be perfectly applicable to reasoning about blockchains; see https://arxiv.org/abs/1506.01001 Wanting to treat religion vs atheism using tools from logic strikes me as... kind of old-fashioned or eccentric! You seem to have chosen the most contentious, culturally complex, ambiguous topic of all time. Maybe you&#x27;d be amused by this -- https://github.com/FormalTheology/GoedelGod -- an open source effort to…</p><p><a href="https://hackerpaper.kaipfister.de/p/1506.01001/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO