Skip to main content
MathOverflow
Spaceka13's user avatar
Spaceka13's user avatar
Spaceka13's user avatar
Spaceka13
  • Member for 1 year, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
63
reputation
273
reached
0
answers
1
question
Communities
About

I'm a philosophy professor who occasionally uses math and logic.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
6
Consistency in pure type systems
Sep 10, 2023