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 not deleted user 1384

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.

9 votes

The meaning and purpose of "canonical''

I believe that there is no definition of canonical which covers all of its uses in mathematics. Heuristic evidence for this is that the definition of a canonical map in Wikipedia is vague. The word a …
Kevin Buzzard's user avatar
21 votes
Accepted

Can you prove equivalence without being able to calculate it?

If you assume the axiom of choice, then every vector space has a basis, all bases of a given vector space have the same cardinality, and two vector spaces are isomorphic iff they have bases of the sam …
49 votes

Are there mistakes in the proof of FLT?

No there are not any mistakes in these papers of any interest. In the 1990s there were a bazillion study groups and seminars across the world devoted to these papers; I personally read all three of th …
Kevin Buzzard's user avatar