Inconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity — mentioned by pmoriarty

Mon, 19 Aug 2019 00:55:26 GMT

Although I am starting to get out of my depth, my impression was that ZFC itself is (per Godel's results) inconsistent or incomplete. Here is some research to this effect: If this is indeed the case (as it seems to my unprofessional first glance to be) then mathematics does not in fact have a solid foundation, despite its appeal to ZFC. I'd love to hear a professional logician weigh in on this, if there are any on here. [1] - https://www.researchgate.net/profile/Costas_Drossos/post/Is_... [2] - https://arxiv.org/abs/1203.0494

Paper and discussion history. A mention is not an endorsement.

Inconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity · HackerPapers discussions

Inconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity — mentioned by pmoriarty