Timeline for What is the impact on Godels theorem of Paraconsistency?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 9, 2021 at 21:41 | comment | added | Thomas Benjamin | @TimothyChow; Just looked at the abstract--I believe it is. Thanks. | |
| Feb 8, 2021 at 15:03 | comment | added | Timothy Chow | @ThomasBenjamin The reference seems to be Transfinite numbers in paraconsistent set theory by Zach Weber, in the Review of Symbolic Logic. | |
| Jul 7, 2013 at 6:07 | comment | added | Thomas Benjamin | @Mozibur: Which paraconsistent set theory disproves CH? Could you provide a sketch of the proof? | |
| Jun 21, 2013 at 11:40 | comment | added | Carl Mummert | A theory such as PA, which is consistent under normal inference rules, is also consistent under any smaller, paraconsistent set of inference rules, and so again it cannot be complete. | |
| Jun 21, 2013 at 11:24 | answer | added | Emil Jeřábek | timeline score: 7 | |
| Jun 21, 2013 at 10:11 | answer | added | Waldemar | timeline score: 2 | |
| Jun 21, 2013 at 4:58 | history | asked | Mozibur Ullah | CC BY-SA 3.0 |