Talk:Paul Cohen

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)

[1]

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)

Sarnak

Why mention Sarnak and no other students of his? 86.132.221.158 (talk) 18:47, 21 April 2015 (UTC)

The usual convention is to list in the infobox only the students who also have Wikipedia articles. Among his other students, Harold G. Diamond at least looks like a plausible candidate for an article, but we don't have one already. —David Eppstein (talk) 19:19, 21 April 2015 (UTC)

Requested move 21 September 2015

The following is a closed discussion of a requested move. Please do not modify it. Subsequent comments should be made in a new section on the talk page. Editors desiring to contest the closing decision should consider a move review. No further edits should be made to this section.

The result of the move request was: moved. Jenks24 (talk) 15:47, 29 September 2015 (UTC)

---

• Paul Cohen (mathematician) → Paul Cohen
• Paul Cohen → Paul Cohen (disambiguation)

– The page was disambiguated way back in 2006 (unilaterally). Below are the Wikipedia article traffic statistics for the entries in the disambiguation page:

• Paul Cohen (designer)=123
• Paul Cohen (historian)=202
• Paul Cohen (ice hockey)=80
• Paul Cohen (mathematician)=2000
• Paul Cohen (record producer)=198
• Paul Cohen (saxophonist)=477

It is clear from the numbers itself that the mathematician is clearly the primary topic in a wide margin. It beats its nearest rival by 4x page views. I propose the pages be moved accordingly. Solomon7968 18:44, 21 September 2015 (UTC)

• Support. You make a convincing case for WP:PRIMARYTOPIC. —David Eppstein (talk) 05:23, 22 September 2015 (UTC)
• Support. A hatnote to the disambiguation page should take care of these other Paul Cohens. Bill Cherowitzo (talk) 18:31, 23 September 2015 (UTC)

---

The above discussion is preserved as an archive of a requested move. Please do not modify it. Subsequent comments should be made in a new section on this talk page or in a move review. No further edits should be made to this section.

External links modified

Hello fellow Wikipedians,

I have just modified one external link on Paul Cohen. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

• Added archive https://web.archive.org/web/20101225053150/http://old.lms.ac.uk/newsletter/360/360_09.html to http://old.lms.ac.uk/newsletter/360/360_09.html

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 5 June 2024).

• If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
• If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—InternetArchiveBot (Report bug) 20:07, 1 December 2017 (UTC)

Image

There is a serious problem with this page. The photo that appears in the upper right is not of the right Paul Cohen. I am certain of this, as Paul was one of my professors at Stanford. I don't have time to fix this problem right now. Perhaps someone else can take care of it.

I removed the image. There doesn't appear to be a wikimedia version to replace it with, so we'll just leave it blank for now. Thanks for bringing this up.—Myasuda (talk) 02:00, 12 September 2023 (UTC)

There are some excellent images at https://mathshistory.st-andrews.ac.uk/Biographies/Cohen/. Click on "view eight larger pictures" below the photo in the upper right. Any of these would be good. At the bottom of that page, there is a link to "copyright information," where they state that most of the images are in the public domain. Cinclodes (talk) 19:40, 12 September 2023 (UTC)