Timeline for What is the status of irrational numbers within finitism/ultrafinitism?
Current License: CC BY-SA 3.0
10 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
S Nov 16, 2017 at 23:48 | history | suggested | CommunityBot | CC BY-SA 3.0 |
Fixed MathJax.
|
Nov 16, 2017 at 23:29 | review | Suggested edits | |||
S Nov 16, 2017 at 23:48 | |||||
S Nov 16, 2017 at 23:20 | history | suggested | jeq | CC BY-SA 3.0 |
Copied image to imgur.com, as it was not being displayed because of the new https rule. Added link to original image source. Deleted unwanted backslash/
|
Nov 16, 2017 at 22:41 | review | Suggested edits | |||
S Nov 16, 2017 at 23:20 | |||||
Jan 25, 2013 at 5:36 | history | edited | Kaveh |
edited tags
|
|
Jul 15, 2012 at 17:41 | answer | added | Steve L. Cowan | timeline score: 6 | |
Jul 14, 2012 at 17:39 | answer | added | Mirco A. Mannucci | timeline score: 7 | |
Jul 14, 2012 at 17:35 | answer | added | Andreas Blass | timeline score: 17 | |
Jul 14, 2012 at 17:02 | comment | added | Qiaochu Yuan | An algorithm that computes $\pi$ is a finite object, so certainly that algorithm exists. It is not clear to me what value it would have to distinguish excessively between this algorithm existing and $\pi$ existing. | |
Jul 14, 2012 at 16:47 | history | asked | Claudiu | CC BY-SA 3.0 |