Why, historically, did Gödel think CH was false?Is Hilbert's second problem about the real numbers or the natural numbers?Viewing forcing as a result about countable transitive modelsWhy is the Power Set Operation Inherently Vague?Class models of $mathsfZFC$ and consistency resultsIncompleteness theorems in encoding schemes other than Gödel numbering“Representation” of classes by sets in Bernays's set theoryWas Gödel's entire argument actually formalizable when it was written?How did product rule come about historically?Is there actually a universal notion of computability?What is the status of the Axiom of limitation of size? (adrift for almost a century now)
What is the word for reserving something for yourself before others do?
"to be prejudice towards/against someone" vs "to be prejudiced against/towards someone"
US citizen flying to France today and my passport expires in less than 2 months
Why not use SQL instead of GraphQL?
The Clique vs. Independent Set Problem
Why does Kotter return in Welcome Back Kotter?
Can I make popcorn with any corn?
Replacing matching entries in one column of a file by another column from a different file
Is it important to consider tone, melody, and musical form while writing a song?
tikz: show 0 at the axis origin
Show that if two triangles built on parallel lines, with equal bases have the same perimeter only if they are congruent.
Today is the Center
How do we improve the relationship with a client software team that performs poorly and is becoming less collaborative?
Can a Warlock become Neutral Good?
Modeling an IP Address
Why are 150k or 200k jobs considered good when there are 300k+ births a month?
How did the USSR manage to innovate in an environment characterized by government censorship and high bureaucracy?
Pattern match does not work in bash script
What typically incentivizes a professor to change jobs to a lower ranking university?
Watching something be written to a file live with tail
Test whether all array elements are factors of a number
Arthur Somervell: 1000 Exercises - Meaning of this notation
Schoenfled Residua test shows proportionality hazard assumptions holds but Kaplan-Meier plots intersect
Why, historically, did Gödel think CH was false?
Why, historically, did Gödel think CH was false?
Is Hilbert's second problem about the real numbers or the natural numbers?Viewing forcing as a result about countable transitive modelsWhy is the Power Set Operation Inherently Vague?Class models of $mathsfZFC$ and consistency resultsIncompleteness theorems in encoding schemes other than Gödel numbering“Representation” of classes by sets in Bernays's set theoryWas Gödel's entire argument actually formalizable when it was written?How did product rule come about historically?Is there actually a universal notion of computability?What is the status of the Axiom of limitation of size? (adrift for almost a century now)
$begingroup$
Gödel was the first to show that ~CH was not provable from ZFC. However, he also thought CH was false in his view of the "Platonic" reality of set theory. It seems this view was also somewhat common among set theorists of a Platonist bent, until Cohen's later forcing result.
Does anyone know what Gödel's reasoning was for CH being false? Did he ever write anything about it, addressing his views on the subject?
soft-question set-theory math-history
asked 6 hours ago
Mike BattagliaMike Battaglia
1,5771128
$endgroup$
add a comment |
$begingroup$
Gödel was the first to show that ~CH was not provable from ZFC. However, he also thought CH was false in his view of the "Platonic" reality of set theory. It seems this view was also somewhat common among set theorists of a Platonist bent, until Cohen's later forcing result.
Does anyone know what Gödel's reasoning was for CH being false? Did he ever write anything about it, addressing his views on the subject?
soft-question set-theory math-history
asked 6 hours ago
Mike BattagliaMike Battaglia
1,5771128
$endgroup$
$begingroup$
Are you asking for a source for the statement that Gödel though CH was false?
$endgroup$
– Lee Mosher
5 hours ago
$begingroup$
One might also look at Godel's collected works volume 2 for history and commentary on the 1947/1964 exposition, and Volume 3 about his unpublished 1970 notes. Also, Kanamori's "Godel and Set theory". There is also discussion of Godel's beliefs on CH in Maddy's "Believing the Axioms I" and Koellner's "On the question of absolute undecidability."
$endgroup$
– spaceisdarkgreen
3 hours ago
$begingroup$
I would add that Cohen's result didn't change the fact that set theorists of a Platonist bent tend to regard the CH as false (though it may have convinced a few to not be of a Platonist bent). I don't know much about this, but my understanding is that Godel had some esoteric reasons for believing $mathfrak c =aleph_2,$ whereas the dominant view in the aftermath of Cohen was that it was much larger, perhaps even weakly inaccessible. (Although there have been serious proposals that imply $mathfrak c =aleph_2,$ and even CH, more recently.)
$endgroup$
– spaceisdarkgreen
2 hours ago
add a comment |
$begingroup$
Gödel was the first to show that ~CH was not provable from ZFC. However, he also thought CH was false in his view of the "Platonic" reality of set theory. It seems this view was also somewhat common among set theorists of a Platonist bent, until Cohen's later forcing result.
Does anyone know what Gödel's reasoning was for CH being false? Did he ever write anything about it, addressing his views on the subject?
soft-question set-theory math-history
asked 6 hours ago
Mike BattagliaMike Battaglia
1,5771128
$endgroup$
Gödel was the first to show that ~CH was not provable from ZFC. However, he also thought CH was false in his view of the "Platonic" reality of set theory. It seems this view was also somewhat common among set theorists of a Platonist bent, until Cohen's later forcing result.
Does anyone know what Gödel's reasoning was for CH being false? Did he ever write anything about it, addressing his views on the subject?
soft-question set-theory math-history
soft-question set-theory math-history
asked 6 hours ago
Mike BattagliaMike Battaglia
1,5771128
asked 6 hours ago
Mike BattagliaMike Battaglia
1,5771128
asked 6 hours ago
Mike BattagliaMike Battaglia
1,5771128
asked 6 hours ago
Mike BattagliaMike Battaglia
1,5771128
asked 6 hours ago
Mike BattagliaMike Battaglia
1,5771128
1,5771128
$begingroup$
Are you asking for a source for the statement that Gödel though CH was false?
$endgroup$
– Lee Mosher
5 hours ago
$begingroup$
One might also look at Godel's collected works volume 2 for history and commentary on the 1947/1964 exposition, and Volume 3 about his unpublished 1970 notes. Also, Kanamori's "Godel and Set theory". There is also discussion of Godel's beliefs on CH in Maddy's "Believing the Axioms I" and Koellner's "On the question of absolute undecidability."
$endgroup$
– spaceisdarkgreen
3 hours ago
$begingroup$
I would add that Cohen's result didn't change the fact that set theorists of a Platonist bent tend to regard the CH as false (though it may have convinced a few to not be of a Platonist bent). I don't know much about this, but my understanding is that Godel had some esoteric reasons for believing $mathfrak c =aleph_2,$ whereas the dominant view in the aftermath of Cohen was that it was much larger, perhaps even weakly inaccessible. (Although there have been serious proposals that imply $mathfrak c =aleph_2,$ and even CH, more recently.)
$endgroup$
– spaceisdarkgreen
2 hours ago
add a comment |
$begingroup$
Are you asking for a source for the statement that Gödel though CH was false?
$endgroup$
– Lee Mosher
5 hours ago
$begingroup$
One might also look at Godel's collected works volume 2 for history and commentary on the 1947/1964 exposition, and Volume 3 about his unpublished 1970 notes. Also, Kanamori's "Godel and Set theory". There is also discussion of Godel's beliefs on CH in Maddy's "Believing the Axioms I" and Koellner's "On the question of absolute undecidability."
$endgroup$
– spaceisdarkgreen
3 hours ago
$begingroup$
I would add that Cohen's result didn't change the fact that set theorists of a Platonist bent tend to regard the CH as false (though it may have convinced a few to not be of a Platonist bent). I don't know much about this, but my understanding is that Godel had some esoteric reasons for believing $mathfrak c =aleph_2,$ whereas the dominant view in the aftermath of Cohen was that it was much larger, perhaps even weakly inaccessible. (Although there have been serious proposals that imply $mathfrak c =aleph_2,$ and even CH, more recently.)
$endgroup$
– spaceisdarkgreen
2 hours ago
$begingroup$
Are you asking for a source for the statement that Gödel though CH was false?
$endgroup$
– Lee Mosher
5 hours ago
$begingroup$
Are you asking for a source for the statement that Gödel though CH was false?
$endgroup$
– Lee Mosher
5 hours ago
$begingroup$
One might also look at Godel's collected works volume 2 for history and commentary on the 1947/1964 exposition, and Volume 3 about his unpublished 1970 notes. Also, Kanamori's "Godel and Set theory". There is also discussion of Godel's beliefs on CH in Maddy's "Believing the Axioms I" and Koellner's "On the question of absolute undecidability."
$endgroup$
– spaceisdarkgreen
3 hours ago
$begingroup$
One might also look at Godel's collected works volume 2 for history and commentary on the 1947/1964 exposition, and Volume 3 about his unpublished 1970 notes. Also, Kanamori's "Godel and Set theory". There is also discussion of Godel's beliefs on CH in Maddy's "Believing the Axioms I" and Koellner's "On the question of absolute undecidability."
$endgroup$
– spaceisdarkgreen
3 hours ago
$begingroup$
I would add that Cohen's result didn't change the fact that set theorists of a Platonist bent tend to regard the CH as false (though it may have convinced a few to not be of a Platonist bent). I don't know much about this, but my understanding is that Godel had some esoteric reasons for believing $mathfrak c =aleph_2,$ whereas the dominant view in the aftermath of Cohen was that it was much larger, perhaps even weakly inaccessible. (Although there have been serious proposals that imply $mathfrak c =aleph_2,$ and even CH, more recently.)
$endgroup$
– spaceisdarkgreen
2 hours ago
$begingroup$
I would add that Cohen's result didn't change the fact that set theorists of a Platonist bent tend to regard the CH as false (though it may have convinced a few to not be of a Platonist bent). I don't know much about this, but my understanding is that Godel had some esoteric reasons for believing $mathfrak c =aleph_2,$ whereas the dominant view in the aftermath of Cohen was that it was much larger, perhaps even weakly inaccessible. (Although there have been serious proposals that imply $mathfrak c =aleph_2,$ and even CH, more recently.)
$endgroup$
– spaceisdarkgreen
2 hours ago
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
There is a classical survey of Gödel about the continuum hypothesis:
"What is Cantor's Continuum Problem", K. Gödel, The American Mathematical Monthly, Vol. 54, No. 9 (Nov., 1947), pp. 515-525
In section 4, he discusses "in what sense and in which direction a solution of the continuum problem may be expected". While this is of course just a survey, it still represents some of Gödel's individual thoughts about the subject at the time.
A barrier free link is right now e.g. this.
answered 5 hours ago
blubblub
3,166829
$endgroup$
6
$begingroup$
Could you at least give a short summary of the argument? Even if it's just at the level of "He was worried that CH implies that unicorns cannot exist", that would be helpful.
$endgroup$
– David Richerby
1 hour ago
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3177143%2fwhy-historically-did-g%25c3%25b6del-think-ch-was-false%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
There is a classical survey of Gödel about the continuum hypothesis:
"What is Cantor's Continuum Problem", K. Gödel, The American Mathematical Monthly, Vol. 54, No. 9 (Nov., 1947), pp. 515-525
In section 4, he discusses "in what sense and in which direction a solution of the continuum problem may be expected". While this is of course just a survey, it still represents some of Gödel's individual thoughts about the subject at the time.
A barrier free link is right now e.g. this.
answered 5 hours ago
blubblub
3,166829
$endgroup$
6
$begingroup$
Could you at least give a short summary of the argument? Even if it's just at the level of "He was worried that CH implies that unicorns cannot exist", that would be helpful.
$endgroup$
– David Richerby
1 hour ago
add a comment |
$begingroup$
There is a classical survey of Gödel about the continuum hypothesis:
"What is Cantor's Continuum Problem", K. Gödel, The American Mathematical Monthly, Vol. 54, No. 9 (Nov., 1947), pp. 515-525
In section 4, he discusses "in what sense and in which direction a solution of the continuum problem may be expected". While this is of course just a survey, it still represents some of Gödel's individual thoughts about the subject at the time.
A barrier free link is right now e.g. this.
answered 5 hours ago
blubblub
3,166829
$endgroup$
6
$begingroup$
Could you at least give a short summary of the argument? Even if it's just at the level of "He was worried that CH implies that unicorns cannot exist", that would be helpful.
$endgroup$
– David Richerby
1 hour ago
add a comment |
$begingroup$
There is a classical survey of Gödel about the continuum hypothesis:
"What is Cantor's Continuum Problem", K. Gödel, The American Mathematical Monthly, Vol. 54, No. 9 (Nov., 1947), pp. 515-525
In section 4, he discusses "in what sense and in which direction a solution of the continuum problem may be expected". While this is of course just a survey, it still represents some of Gödel's individual thoughts about the subject at the time.
A barrier free link is right now e.g. this.
answered 5 hours ago
blubblub
3,166829
$endgroup$
There is a classical survey of Gödel about the continuum hypothesis:
"What is Cantor's Continuum Problem", K. Gödel, The American Mathematical Monthly, Vol. 54, No. 9 (Nov., 1947), pp. 515-525
In section 4, he discusses "in what sense and in which direction a solution of the continuum problem may be expected". While this is of course just a survey, it still represents some of Gödel's individual thoughts about the subject at the time.
A barrier free link is right now e.g. this.
answered 5 hours ago
blubblub
3,166829
edited 5 hours ago
answered 5 hours ago
blubblub
3,166829
answered 5 hours ago
blubblub
3,166829
answered 5 hours ago
blubblub
3,166829
3,166829
6
$begingroup$
Could you at least give a short summary of the argument? Even if it's just at the level of "He was worried that CH implies that unicorns cannot exist", that would be helpful.
$endgroup$
– David Richerby
1 hour ago
add a comment |
6
$begingroup$
Could you at least give a short summary of the argument? Even if it's just at the level of "He was worried that CH implies that unicorns cannot exist", that would be helpful.
$endgroup$
– David Richerby
1 hour ago
6
6
$begingroup$
Could you at least give a short summary of the argument? Even if it's just at the level of "He was worried that CH implies that unicorns cannot exist", that would be helpful.
$endgroup$
– David Richerby
1 hour ago
$begingroup$
Could you at least give a short summary of the argument? Even if it's just at the level of "He was worried that CH implies that unicorns cannot exist", that would be helpful.
$endgroup$
– David Richerby
1 hour ago
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3177143%2fwhy-historically-did-g%25c3%25b6del-think-ch-was-false%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Are you asking for a source for the statement that Gödel though CH was false?
$endgroup$
– Lee Mosher
5 hours ago
$begingroup$
One might also look at Godel's collected works volume 2 for history and commentary on the 1947/1964 exposition, and Volume 3 about his unpublished 1970 notes. Also, Kanamori's "Godel and Set theory". There is also discussion of Godel's beliefs on CH in Maddy's "Believing the Axioms I" and Koellner's "On the question of absolute undecidability."
$endgroup$
– spaceisdarkgreen
3 hours ago
$begingroup$
I would add that Cohen's result didn't change the fact that set theorists of a Platonist bent tend to regard the CH as false (though it may have convinced a few to not be of a Platonist bent). I don't know much about this, but my understanding is that Godel had some esoteric reasons for believing $mathfrak c =aleph_2,$ whereas the dominant view in the aftermath of Cohen was that it was much larger, perhaps even weakly inaccessible. (Although there have been serious proposals that imply $mathfrak c =aleph_2,$ and even CH, more recently.)
$endgroup$
– spaceisdarkgreen
2 hours ago