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 3634

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.

115 votes

Nontrivial theorems with trivial proofs

The additivity of expected value is absolutely trivial to prove, but (I think) mind-blowing that it is true. Also, the fact that (finite) sums/products of vector spaces are isomorphic. Extremely eas …
58 votes

Can a mathematical definition be wrong?

I was involved in such a case. My thesis advisor (S. Husseini) and his coauthor (E. Fadell) defined the "category weight" of a cohomology class in a way that allowed them to prove the theorem they wa …
7 votes

The impact of large cardinals in mathematics

I guess this is relevant to Question 4: In the paper Implications of large-cardinal principles in homotopical localization. Adv. Math. 197 (2005), no. 1, 120–139. by Casacuberta, Carles; Scevenel …
Jeff Strom's user avatar
  • 12.5k