# Talk:Paul Cohen (mathematician)

WikiProject Biography (Rated C-class)
This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.
C  This article has been rated as C-Class on the project's quality scale.
WikiProject Mathematics (Rated C-class, High-importance)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
 C Class
 High Importance
Field: Mathematicians
WikiProject Chicago (Rated C-class)
C  This article has been rated as C-Class on the project's quality scale.

## Untitled

"This result is possibly the most famous non-trivial example illustrating Gödel's incompleteness theorem." This claim is false. Godel's theorem was about the incompleteness of arithmetic. Cohen's result is that the much stronger theory ZF cannot proved and that ZFC cannot prove the continum hypothesis. But neither Choice nor CH are formulable in arithemtic. Godel's Incompleteness result showed that there are purely arithemtical claims that cannot be decided by arithmetic. The undecidability of CH by ZFC is no more an example of that than is the fact that a theory of arithmetic cannot prove that pi is transcendental. I will leave it for a week and if no discussion has been generated by then, I will delete it. It is possible that I went overboard by putting the factual errors boiler plate up. If so, sorry, I am new and learning the ways of the wiki.
vanden 03:51, 4 Nov 2003 (UTC)

I would suggest the claim is correct. I would state Gödel's incompleteness theorem, in this context, as "Given any sufficiently complex (consistent) axiom set, one can formulate a statement that cannot be either proved or disproved". In particular "There is a statement in ZFC that cannot be either proved or disproved" and the continuum hypothesis is such a statement, thus demonstrating the correctness of Gödel's theorem.
Note that I wouldn't particularly hate to see the statement deleted, it's just not as inaccurate as you make it sound.
Prumpf 15:45, 22 Nov 2003 (UTC)
It is surely better to say that this is a celebrated independence result. Then a discussion of independence results can say carefully what the Goedel theorem does and doesn't imply.

Charles Matthews 09:07, 4 Nov 2003 (UTC)

Vanden hasn't contributed since November. His claim on independence of CH not illustrating Goedel seems to me over the top. Certainly Goedel's result is usually thought of as applying to systems "at least as strong as" arithmetic. So saying that it doesn't apply to set theory is making an odd point. I think the factual accuracy notice here is excessive.

Charles Matthews 09:42, 10 Mar 2004 (UTC)

"the most famous non-trivial example"? I don't claim that this is outright false, but it is highly misleading, for the following reasons.
First: Gödel himself gave, for every theory T (that satisfies the assumption of his theorem - consistent, recursively axiomatized, and encodes arithmetic) a statement that is neither provable nor refutable in T, namely "Con(T)", the formula that (naturally) encodes the consistency of T. (This is the content of his Second Incompleteness Theorem.) The earliest (and arguably the most famous) of those statements is Con(Principia Mathematica), or Con(Peano Arithmetic)
.
Second: An important point in the incompleteness theorem is the following: not only is there a statement that is neither provable nor refutable in T, but there is a true statement that is not provable (and of course not refutable) in T. In the case of "Con(T)", it is the fact that Con(T) is unprovable (and not that Con(T) is not refutable) that is paradoxical, because we think that T is indeed consistent, i.e., Con(T) is true. In the case of CH, however, there is no clear opinion on whether CH is "really" true or not, so it is not clear if it is the nonprovability of CH (proved by Cohen) or the nonprovability of non-CH (proved by Gödel) that shows how limited ZFC's knowledge about "truth" is.
However, Cohen's result was a quantum leap for set theory. He did not get the Fields medal for finding a nice example of incompleteness; he received it for inventing such a powerful new method, and for solving Hilbert's first problem.

Aleph4 21:01, 10 Mar 2004 (UTC)

I would like to comment on the statement - Most famous example proving the incompleteness of a formal system. Godel's theorem assures us of incomplete systems - but that is not the point, but something more. What Godel's theorem tells us is that provability is a weaker notion than truth, ie there are true statements that cannot be proven. In this context, if we knew that for instance CH was true but could not be proven in ZFC, the statement in question would be correct. That is not the case. User:Mohan Ravichandran 23:30, 18 Feb 2005 (UTC)
Well, either the CH or its negation is "true" - and neither of them are provable in ZF. So for CH, or for !CH, it is the case.
98.67.108.12 (talk) 02:47, 31 August 2012 (UTC)
I am a bit of a hardhead about some things. I think that if a statement is false, its negation is not necessarily true. I think that the negation could be true part of the time and false part of the time (under different circumstances). Part of my trouble might be that I am both an engineer and a mathematician (master's degrees in both fields). Mathematicians want something that is "true" to be "true" under all conceivable circumstances. On the other hand, in many engineering circumstances, if something works 95% of the time, then everything is fine. So to me, the continuum hypothesis could be true most of the time, and its negation could also be true part or most of the time. Oh, well, most mathemticians do not think this way, BUT I have been told that there are some who do. There are just "Nonstandard" ways of thinking about things. Perhaps these need to be brought to bear.
98.67.108.12 (talk) 02:47, 31 August 2012 (UTC)

## Cohen's Quote

In reading the quote by Cohen, I find some words that convey no meaning. To say that a set is "incredibly rich" is to say that any person cannot believe how large a quantity of elements are contained in the set. To say that other people may "express themselves more eloquently" is to say that they will use more appropriate force. But, more force will not result in better proof. Neither of these phrases coveys any clear or intelligible information.64.12.116.74 12:49, 24 April 2006 (UTC)Lestrade

"To say that a set is 'incredibly rich' is to say that any person cannot believe how large a quantity of elements are contained in the set." You don't know this. You don't know what Paul Cohen meant by "incredibly rich", because you aren't as smart as Cohen was. Something that I know is that the qualities of the contents of a set do not depend just on the number of elements in it, but also on the interrelationships between those elements. Did you ever think of that?
:Then to get the real answer, you would have to go find someone who is smart enough to genuinely understand the writings of Cohen. Do you have any trips planned to Stanford, UCLA, MIT, the University of Michigan, Harvard, Princeton, or the University of Cambridge?
98.67.108.12 (talk) 03:04, 31 August 2012 (UTC)

## Deceased?

A recent edit lists Paul Cohen as deceased. A quick check of both google and the Stanford math department home page does not show up with any hits. Is there any source for this info? If not then this may be a hoax. Terry 04:29, 25 March 2007 (UTC)

It s not a hoax. An email was circulated on the Stanford dept mailing list a couple hours before the edit. Obviously the person adding it is well informed.

An email was also sent to the FOM list with the news of his passing. I am sure that in the coming week there will be an obituary published that we can link to. CMummert · talk 14:06, 25 March 2007 (UTC)
e-mail at FOM, dated March 24, 2007--Aleph4 12:05, 26 March 2007 (UTC)

## WikiProject class rating

This article was automatically assessed because at least one article was rated and this bot brought all the other ratings up to at least that level. BetacommandBot 00:22, 28 August 2007 (UTC)