Timeline for Has Goedel's Second Incompleteness Theorem been proven using Lawvere's Fixed Point Theorem?

7 events

when toggle format	what		by	license	comment
Jun 11, 2022 at 18:14	vote	accept	jpt4
Jun 10, 2022 at 18:27	comment	added	godelian		@ouimerci There's nothing wrong with the proof of the second incompleteness theorem, rather just that the extra hypothesis of $\omega$-consistency has to be added to the first incompleteness theorem instead of mere consistency to derive the undecidability of Joyal's/Gödel's sentence, as expected (this is also done in Gödel's original proof). In any case this is a feature of the presentation in the cited paper but not of Joyal's proof, which is certainly correct.
Jun 10, 2022 at 18:23	comment	added	ouimerci		So the paper fails at proving the the second incompleteness theorem, or is it just claiming a bit too much beside the theorem? Is it easily salvageable?
Jun 10, 2022 at 18:12	history	edited	godelian	CC BY-SA 4.0	deleted 31 characters in body
Jun 10, 2022 at 16:33	history	edited	godelian	CC BY-SA 4.0	deleted 35 characters in body
Jun 10, 2022 at 11:52	history	edited	godelian	CC BY-SA 4.0	added 18 characters in body
Jun 10, 2022 at 11:45	history	answered	godelian	CC BY-SA 4.0