Mathematics
user avatar
user avatar
user avatar
fhyve
  • Member for 9 years, 10 months
  • Last seen more than 4 years ago
Profile Activity
Stats
2,367
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Just a math undergrad in Vancouver.

Studying category theory, homotopy theory, categorical logic, and homotopy type theory

Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
42
Bijection from $\mathbb R$ to $\mathbb {R^N}$
23
How is the Gödel's Completeness Theorem not a tautology?
20
What does it mean for something to be true but not provable in peano arithmetic?
18
Constructing a bijection from (0,1) to the irrationals in (0,1)
16
Relative consistency of PA and some type theories

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.