Content deleted Content added
No edit summary |
|||
Line 52:
:"Cantor's first proof" is new to me, and I have to say it's delightful. I agree that mathematicians generally believe the diagonal argument to be Cantor's first. However, I'm not completely convinced that this isn't really a diagonal argument in disguise. I need to think about this a bit. [[User:Dmharvey|Dmharvey]] [[Image:User_dmharvey_sig.png]] [[User talk:Dmharvey|Talk]] 22:45, 6 Jun 2005 (UTC)
:From the constructionists point view Cantors proof '''is''' "flawed". Let me first say that that I am '''not''' a constructionist, and that I do accept Cantor proof in full. Constructionists don't even consider it proven that there is no greatest number, and counterarguments won't bite. Here is why: Suppose there '''is''' a greatest natural number and call it Max. Then a kid in kindergarten can show that there is a number SuperMax = Max + 1 that is greater than Max. Contradiction right? '''Wrong''', says the constructionist, because you haven't shown Max to exist, and therefore you '''cannot''' use it in any way in a proof of anything. Reductio ad absurdum arguments aren't generally accepted. Constructionists are "more rigorous" than most other mathematicians, probably in a sense that could be quantified exactly if the subset of the aximoms of ZFC that they accept is specified. The Axiom of Infinity is obviously not one of them. By the same token they can "proove fewer theorems" than most other mathematicians. The uncountability of the reals is obviously one of them. [[User:YohanN7|YohanN7]] ([[User talk:YohanN7|talk]]) 02:20, 30 November 2007 (UTC)
== Simplifications ==
| |||