User Jordan Mitchell Barrett - MathOverflow Meta

Jordan Mitchell Barrett

Member for 2 years, 10 months
Last seen more than a month ago

Stats

738

reputation

0

reached

0

answers

0

questions

Loading…

Communities

Badges

View all badges

This user doesn’t have any gold badges yet.

2

silver badges

Yearling

× 2

Mar 2

1

bronze badge

Supporter

Dec 16 '20

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

29

What is the endgoal of formalising mathematics?

12

Structure on $\mathbb{R}$ such that homomorphisms $\mathbb{R} \to \mathbb{R}$ are exactly polynomials?

11

Could we ever hope to integrate all functions?

10

When does a topos satisfy the axiom of regularity?

8

What is the endgoal of formalising mathematics?

MathOverflow Meta works best with JavaScript enabled