Timeline for Consistency strength needed for applied mathematics
Current License: CC BY-SA 2.5
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 23, 2020 at 9:14 | comment | added | user21820 | @MattF.: Because maybe ZFC proves 0=1..... | |
| Aug 16, 2016 at 1:41 | comment | added | user44143 | You say "T" in an applied context and I say "ZFC proves T", reducing the consistency strength "needed" for my statement to well below PA. Why would you need more? | |
| Aug 14, 2016 at 4:07 | answer | added | Joseph Van Name | timeline score: 8 | |
| May 22, 2013 at 11:57 | answer | added | Waldemar | timeline score: 3 | |
| Feb 9, 2011 at 19:33 | answer | added | none | timeline score: 6 | |
| Feb 9, 2011 at 13:16 | comment | added | Terry Tao | "Does anyone believe that the difference between the Lebesgue and Riemann integrals can have physical significance, and that whether say, an airplane would or would not fly could depend on this difference? If such were claimed, I should not care to fly in that plane." (Richard Hamming) | |
| Feb 9, 2011 at 8:23 | answer | added | none | timeline score: 11 | |
| Feb 9, 2011 at 7:16 | comment | added | Denis Serre | An important question in this respect is Is the axiom of choice relevant for applications of mathematics to empirical sciences ? It is often used, through theorems of Functional Analysis, but thus might be due to our lazyness. | |
| Feb 9, 2011 at 1:17 | answer | added | Oliver | timeline score: 14 | |
| Feb 8, 2011 at 22:31 | history | edited | Joel David Hamkins |
Added reverse-math tag
|
|
| Feb 8, 2011 at 22:30 | answer | added | Joel David Hamkins | timeline score: 16 | |
| Feb 8, 2011 at 22:22 | comment | added | Lucas K. | I think you referring to reverse mathematics. This science investigates which axioms are required for a certain theorem. | |
| Feb 8, 2011 at 21:44 | history | asked | Marcos Cramer | CC BY-SA 2.5 |