3 ms·
[Gödel 1931] is not applicable to the foundations of computer science for the reasons stated here: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3603021
by ProfHewitt 6y ago
[Gödel 1931] is not applicable to the foundations of computer science for the reasons stated here:
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3603021 https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3603021
- caleb-allen 6y agoThank you for this link. A few months ago I stumbled across your paper, Common sense for concurrency and strong paraconsistency using unstratified inference and reflection and found it entirely remarkable. I look forward to reading the new paper you linked.
- ProfHewitt 6y agoYou are very welcome! Comments and suggestions for the linked article are greatly appreciated!