Skip to main content
Proof Assistants Beta
James E Hanson's user avatar
James E Hanson's user avatar
James E Hanson's user avatar
James E Hanson
  • Member for 1 year, 9 months
  • Last seen this week
Profile Activity

Stats

131
reputation
2k
reached
1
answer
0
questions
Communities
View all

About

I am a mathematical logician with a particular interest in model theory and interactions with real analysis. I have an earlier background in high energy theoretical physics. I am an assistant professor at Iowa State University.

Badges

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges

Top tags

2
Score
1
Posts
100
Posts %
2
Score
1
Posts
100
Posts %
2
Score
1
Posts
100
Posts %

Top posts

3
What set-theoretic definitions can't easily be formalized in a type theory?
yesterday

Top network posts

View all network posts
128
Czelakowski's claimed proof of the Twin Prime Conjecture
113
Which high-degree derivatives play an essential role?
38
What is the consistency strength of Russell & Whitehead's ‘Principia Mathematica’?
36
How would set theory research be affected by using ETCS instead of ZFC?
31
Lists as a foundation of mathematics