Timeline for What if Current Foundations of Mathematics are Inconsistent?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 4, 2015 at 23:55 | comment | added | cody | To be fair, what Thorsten refers to as "dishonest impredicativity" is what most constructivists object to: the existence of "from above" constructions in mathematics for which there are more philosophical reasons to have doubts than simple first order arithmetic. In particular, there is no simple Gentzen-like argument for 2nd order arithmetic. | |
| Oct 3, 2010 at 16:16 | history | answered | Rob Simmons | CC BY-SA 2.5 |