Hermógenes Oliveira's user avatar
Hermógenes Oliveira's user avatar
Hermógenes Oliveira's user avatar
Hermógenes Oliveira
  • Member for 6 years, 3 months
  • Last seen more than a week ago
Stats
338
reputation
2k
reached
7
answers
0
questions
Loading…
About

I am interested primarily in constructive mathematics, intuitionistic logic, proof theory and elementary number theory. Minor interests include graph theory and combinatorics.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
11
Score
4
Posts
57
Posts %
10
Score
4
Posts
57
Posts %
6
Score
3
Posts
43
Posts %
6
Score
2
Posts
29
Posts %
5
Score
2
Posts
29
Posts %
5
Score
2
Posts
29
Posts %
Top posts