Skip to main content
Mathematics
Nagase's user avatar
Nagase's user avatar
Nagase's user avatar
Nagase
  • Member for 10 years, 7 months
  • Last seen more than a week ago
  • Sao Paulo, Brazil
Profile Activity
Stats
5,537
reputation
87k
reached
53
answers
96
questions
Communities
View all
About

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

Badges
View all badges
1
gold badge
16
silver badges
31
bronze badges
Top tags
View all tags
121
Score
82
Posts
55
Posts %
48
Score
47
Posts
32
Posts %
27
Score
13
Posts
9
Posts %
22
Score
10
Posts
7
Posts %
19
Score
21
Posts
14
Posts %
18
Score
21
Posts
14
Posts %
Top posts
View all questions and answers
92
Why can a real number be defined as a Dedekind cut, that is, as a set of rational numbers?
Jul 9, 2018
16
Questions about Spivak's proof that $\sqrt{2} + \sqrt[3]{2}$ is irrational
Jul 28, 2017
10
Graduate Level Mathematical Logic Textbooks
Oct 18, 2017
9
When can ZFC be said to have been "born"?
Nov 22, 2014
9
Shoenfield introductory mathematical logic book alternatives
Sep 14, 2019
9
Are there textbooks that include the fact that an isomorphism depends on the choice of a universe?
Mar 5, 2023
8
In what sense is propositional logic "zeroth-order logic?"
Oct 14, 2017
7
Understanding convergence in the space of complete theories
Sep 23, 2018
6
Finding $\sum\limits_{k=0}^n k^2$ using summation by parts
Jul 6, 2015
6
Finding $\sum\limits_{k=0}^n k$ using summation by parts
Jul 6, 2015
Top network posts
View all network posts
12
Was Gottlob Frege hospitalized by Russell's Paradox?
8
Problems with theoremref
8
An overview of mathematical-logical approaches in formalizing natural languages
8
Definitions of continuity pre-Dedekind
5
A 'third way' to consistency (besides Dedekind's and Gentzen's)? Hilbert's 'unverstanden' 1904 Heidelberg ICM proposal for consistency proofs