Skip to main content
Philosophy

Explore our questions

Ask Question
more tags
Active 2 Bountied Hot Week Month
6 votes
5 answers
495 views

Is it fair to say truth is used more in logic than in math? If so, what are the reasons for doing so?

Rushi's user avatar
Rushi
  • 3,993
6 votes
5 answers
5k views

Is there a paradox in the proof of Godel's incompleteness theorem?

Zhang Hong's user avatar
Zhang Hong
  • 115
23 votes
24 answers
8k views

Is infinity a number?

Abhishek Chouhan's user avatar
Abhishek Chouhan
  • 1
3 votes
2 answers
175 views

Justification for applied mathematics

Mikhail Katz's user avatar
Mikhail Katz
  • 1,702
2 votes
1 answer
108 views

Inverted spatial qualia: a detectable example?

Community's user avatar
CommunityBot
  • 1
3 votes
2 answers
100 views

Objection to indirect proof in Intuitionism

user21820's user avatar
user21820
  • 825
2 votes
1 answer
82 views

Need help understanding how certain mathemetical statements across the landscape can seemingly contradict (e.g. Cantor-Hume vs Euclid)

Anixx's user avatar
Anixx
  • 610
19 votes
4 answers
3k views

What is the philosophical ground for distinguishing logic and mathematics?

Dino Ruiters's user avatar
Dino Ruiters
  • 1
4 votes
0 answers
107 views

Has anyone ever studied which proof types are feasible for which theorems in mathematics? If not, why not?

J D's user avatar
J D
  • 29.1k
6 votes
9 answers
2k views

Is mathematical truth empirical?

J D's user avatar
J D
  • 29.1k
2 votes
8 answers
516 views

Could mathematical truths have been otherwise?

Anixx's user avatar
Anixx
  • 610
5 votes
3 answers
1k views

Mathematical Realism and 0=1

PW_246's user avatar
PW_246
  • 1,542
1 vote
0 answers
89 views

Intuitionist perspectives on Greek mathematics

Menander I's user avatar
Menander I
  • 209
2 votes
1 answer
155 views

Can Internal Set Theory provide a complete system of arithmetic?

Mikhail Katz's user avatar
Mikhail Katz
  • 1,702
Browse more Questions