Timeline for Are there natural examples of mathematical statements which follow from consistency statements?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jul 20, 2010 at 2:38 | history | edited | Timothy Chow | CC BY-SA 2.5 |
changed "aren't" back to "are"
|
| Jul 17, 2010 at 12:34 | comment | added | Charles Stewart | Note that Friedman uses not simple consistency but the rather stronger notion of Sigma-1 soundness. | |
| Jul 16, 2010 at 0:14 | history | edited | Kevin O'Bryant | CC BY-SA 2.5 |
changed "are" to "aren't"
|
| Jul 16, 2010 at 0:07 | history | answered | Timothy Chow | CC BY-SA 2.5 |