This is an old revision of this page, as edited by Katzmik (talk | contribs) at 14:19, 11 September 2008 (→non-standard calculus). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Revision as of 14:19, 11 September 2008 by Katzmik (talk | contribs) (→non-standard calculus)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)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)