Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
History and philosophy of mathematics, biographies of mathematicians, mathematics education, recreational mathematics, communication of mathematics.
69
votes
5
answers
9k
views
What was Hilbert's view of Gödel's Incompleteness Theorems?
According to Solomon Feferman, in his slide presentation "Three Problems for Mathematics", Hilbert wrote (in regards to Gödel's second incompleteness theorem):
...the end goal [is] to establish as …
13
votes
1
answer
2k
views
Hausdorff and Naive Set Theory
Erhard Scholz, in his article "Felix Hausdorff and the Hausdorff edition" writes the following:
"Hausdorff considered the contemporary attempts to secure axiomatic foundations for set theory as prema …
5
votes
0
answers
940
views
Why are real-valued measurable cardinals never explicitly mentioned in Gödel's "What is Cant...
It is a matter of mathematical folklore that Gödel "entertained the idea of so called stronger axioms of infinity deciding $CH$...." (this quote from Radek Honzik's paper, "Large cardinals and the Co …
45
votes
1
answer
3k
views
Hilbert's alleged proof of the Continuum Hypothesis in "On the Infinite"
As is known, Hilbert attempted a proof sketch of the Continuum Hypothesis in the latter part of his paper, "On the Infinite". It is also known that it is false.
Has there ever been a published analy …
2
votes
2
answers
457
views
What are the sense and reference of the propositions $R \notin R$, $R \in R$, where $R=\{x \...
In the paper,
Aldo Antonelli and Robert May, Frege's new science, Notre Dame J. Form. Log. 41 (2000), no. 3, 242–-270, MR 1943495.
the authors give the following quote of Frege, from his paper "Ü …
3
votes
0
answers
342
views
A Question Regarding Boolean-valued Models
What were the intuitions motivating the creation (or discovery, if you will) of Boolean-valued models? I have searched for the Scott-Solovay paper on the subject, but to no avail. There also seems to …