MathOverflow
Nagase's user avatar
Nagase's user avatar
Nagase's user avatar
Nagase
  • Member for 9 years, 4 months
  • Last seen more than a month ago
  • Sao Paulo, Brazil
Profile Activity
Stats
181
reputation
810
reached
1
answer
0
questions
Communities
View all
About

I'm a Brazilian philosopher who works in logic, philosophy of math, and philosophy of language.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges
Top tags
8
Score
1
Posts
100
Posts %
8
Score
1
Posts
100
Posts %
8
Score
1
Posts
100
Posts %
8
Score
1
Posts
100
Posts %
8
Score
1
Posts
100
Posts %
Top posts
answer
8
An overview of mathematical-logical approaches in formalizing natural languages
Aug 5, 2023
Top network posts
View all network posts
92
Why can a real number be defined as a Dedekind cut, that is, as a set of rational numbers?
16
Questions about Spivak's proof that $\sqrt{2} + \sqrt[3]{2}$ is irrational
10
Graduate Level Mathematical Logic Textbooks
9
When can ZFC be said to have been "born"?
9
Shoenfield introductory mathematical logic book alternatives