PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
[parent] Viewing Message
``Re: Reject proof by contradiction?'' by Koro on 2006-06-28 04:15:45
My point, which I still mantain, was that the way it is phrased in that entry is misleading. I don't agree at all with entries having claims like "some people agree with this, some people do not" because it gives the wrong idea of mathematics.

A claim like "there are a few mathematicians prefer to work without the principle of the excluded middle" or the like would be less controversial. By the way, I am willing to bet that in no branch of mathematics (except perhaps those which are close to foundations of mathematics) the community works without the PEM; this is only to remark the fact that the claim in the entry is misleading.

A possible fix is to incorporate some of the things mentioned in this discussion to the entry in order to clarify the situation; e.g. some historical remark, or some emphasis in the fact that virtually all of the current mathematics community assume the PEM, and in fact only a tiny amount of the information displayed in the enciclopaedia (or anywhere else) remains valid if you decide to 'reject' it.
[ reply | up | top ]
Interact
reply