| Revision as of 13:24, 31 August 2008 editKatzmik (talk | contribs)3,355 edits →Mathematical validity← Previous edit | Revision as of 12:27, 2 September 2008 edit undoKatzmik (talk | contribs)3,355 edits →non-standard calculus: new sectionNext edit → | ||
| Line 6: | Line 6: | ||
| Please respond to my comments at the talk page of ]. ] (]) 13:24, 31 August 2008 (UTC) | Please respond to my comments at the talk page of ]. ] (]) 13:24, 31 August 2008 (UTC) | ||
| == ] == | |||
| There is a dispute regarding the proof of the intermediate value theorem, please comment. ] (]) 12:27, 2 September 2008 (UTC) | |||
Revision as of 12:27, 2 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)