Skip to main content
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
Results tagged with
Search options questions only not deleted user 11145

Philosophical aspects of logic and set theory; truth status of mathematical axioms; Philosophy of Mathematics; philosophical aspects of mathematics in general; relation of mathematics to philosophy; etc. Consider also posting at http://philosophy.stackexchange.com/, where philosophy-of-mathematics is one of the most popular tags.

26 votes
10 answers
6k views

The meaning and purpose of "canonical''

This question is jointly formulated with Neil Barton. We want to know about the significance of canonicity in mathematics broadly. That is, both what it means in some detail, and why it is important …
Monroe Eskew's user avatar
  • 18.7k
35 votes
8 answers
7k views

Why not adopt the constructibility axiom $V=L$?

Gödelian incompleteness seems to ruin the idea of mathematics offering absolute certainty and objectivity. But Gödel‘s proof gives examples of independent statements that are often remarked as having …
124 votes
17 answers
18k views

Pressure to defend the relevance of one's area of mathematics

I am a set theorist. Since I began to study this subject, I became increasingly aware of negative attitudes about it. These were expressed both from an internal and an external perspective. By the “ …
15 votes
1 answer
973 views

Does inner model theory seek canonical models for large cardinals?

Like the author of this question, I have heard that a main goal of inner model theory is building canonical inner models for large cardinals. My questions are: (a) Is this accurate? (b) If so, in wha …
Monroe Eskew's user avatar
  • 18.7k
18 votes
2 answers
2k views

A “paradox” about the inner model problem

As stated in Woodin, Davis, and Rodriguez - The HOD dichotomy, a longstanding open problem in set theory is to construct a canonical inner model for supercompactness. In general there are various way …
Monroe Eskew's user avatar
  • 18.7k