Timeline for Independence of being an integer
Current License: CC BY-SA 3.0
9 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/
|
|
| Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
| Sep 10, 2011 at 14:51 | history | edited | Carl Mummert | CC BY-SA 3.0 |
added 463 characters in body
|
| Sep 10, 2011 at 14:09 | answer | added | François G. Dorais | timeline score: 18 | |
| Sep 10, 2011 at 11:44 | comment | added | Carl Mummert | @Amit: That is my sequence $(a_n)$, essentially. | |
| Sep 10, 2011 at 4:59 | comment | added | Gerry Myerson | @Chris, I suppose that argument fails if we ask instead whether it's rational. | |
| Sep 10, 2011 at 4:36 | comment | added | Amit Kumar Gupta | Even simpler than your sequences $(a_n)$, define $a$ to be 0 if $\mathrm{Con(ZFC)}$ and $\frac 12$ otherwise. Then $ZFC$ proves that there's a unique real satisfying the definition of $a$, but it can't prove whether it's an integer or not. But yeah, it feels like something about $e^{e^{e^{79}}}$ should be different. | |
| Sep 9, 2011 at 23:21 | comment | added | Chris Eagle | If it's not an integer, then ZFC can certainly prove that, just by approximating it closely enough. | |
| Sep 9, 2011 at 23:04 | history | asked | Carl Mummert | CC BY-SA 3.0 |