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 | |
Results tagged with mathematical-philosophy
Search options not deleted
user 5917
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.
1
vote
0
answers
510
views
Single logic foundation vs. multi-logic foundation
Dear all,
I have always wondered why I have never read anything about this topic. My question is, are there are any books or articles covering this subject?
With this topic I mean the philosophical …
- 1,659
13
votes
4
answers
4k
views
Is finitism an extreme form of constructivism?
I hope this question is not too soft for MO.
The Wikipedia says about finitism that it is an extreme form of constructivism. See http://en.wikipedia.org/wiki/Finitism. I doubt that this is correct.
…
- 1,659
2
votes
Arguments against large cardinals
Erinna, in your question you use the word 'exist'. In the philosophy of mathematics, that is a word that is part of discussion. If you follow a Plato philosophy, then there is a perfect mathematical u …
- 1,659
4
votes
What is Realistic Mathematics?
This is more a philosophical question, and therefore hasn't a definite answer.
But if you want to make plausible that AC isn't realistic mathematics, you might reason something like the following:
T …
- 1,659