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 10819

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 …
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' …
Sergey Melikhov's user avatar
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 …
Sergey Melikhov's user avatar
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 …