| Revision as of 12:43, 10 September 2008 editKatzmik (talk | contribs)3,355 edits →non-standard calculus← Previous edit | Revision as of 14:19, 11 September 2008 edit undoKatzmik (talk | contribs)3,355 edits →non-standard calculusNext edit → | ||
| Line 11: | Line 11: | ||
| There is a dispute regarding the proof of the intermediate value theorem, please comment. ] (]) 12:27, 2 September 2008 (UTC) | There is a dispute regarding the proof of the intermediate value theorem, please comment. ] (]) 12:27, 2 September 2008 (UTC) | ||
| Please respond to my comment at ]. ] (]) 12:43, 10 September 2008 (UTC) | Please respond to my comment at ]. ] (]) 12:43, 10 September 2008 (UTC) and again ] (]) 14:19, 11 September 2008 (UTC) | ||
Revision as of 14:19, 11 September 2008
Mathematical validity
You reversed my edit at non-standard analysis with the justification that the content of the section is contained in the last sentence of the previous paragraph. The sentence you are referring to mentions vaguely that there is no argument about the mathematical validity of non-standard analysis. I don't think this is sufficiently precise. Namely, even a system containing additional axioms could also be mathematically valid, so long as nobody has found an internal contradiction in such a system. The specific point that non-standard analysis is "conservative" in the sense that it does not go beyond ZFC deserves to be mentioned explicitly. If you disagree please raise the issue at WP math rather than using deletions. For the time being I will revert my edits. Katzmik (talk) 08:11, 31 August 2008 (UTC)
Please respond to my comments at the talk page of non-standard analysis. Katzmik (talk) 13:24, 31 August 2008 (UTC)
non-standard calculus
There is a dispute regarding the proof of the intermediate value theorem, please comment. Katzmik (talk) 12:27, 2 September 2008 (UTC)
Please respond to my comment at talk:transfer principle. Katzmik (talk) 12:43, 10 September 2008 (UTC) and again Katzmik (talk) 14:19, 11 September 2008 (UTC)