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 |
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.
12
votes
Is PA consistent? do we know it?
To be specific, I'll focus on the second question of the title, "Is PA consistent? do we know it?"
As noted by Noah Snyder on the meta thread, this question itself already uses "philosophical" langua …
7
votes
The sets in mathematical logic
That is to say, mathematical logic is using intuitive set theory. So, is there any paradox in mathematical logic?
Yes, in set theory whose logic is based upon naive set theory there is Berry's pa …
6
votes
What if Current Foundations of Mathematics are Inconsistent?
What if the current foundations of Mathematics are inconsistent?
Had this kind of opinion been expressed before?
The opinion that the Peano Arithmetic is likely to be inconsistent is not uncommon, a …
11
votes
What is Realistic Mathematics?
Is there any other canonical candidate which arises? My question here is mainly about opinions or some sort of vision which explains why this or that model or object of study arises naturally.
I' …