Mathematics
fhyve's user avatar
fhyve's user avatar
fhyve's user avatar
fhyve
  • Member for 11 years, 2 months
  • Last seen more than 5 years ago
Profile Activity
Stats
2,475
reputation
123k
reached
10
answers
37
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
2
gold badges
24
silver badges
37
bronze badges
Top tags
View all tags
26
Score
3
Posts
6
Posts %
23
Score
8
Posts
17
Posts %
5
Score
3
Posts
6
Posts %
3
Score
9
Posts
19
Posts %
3
Score
6
Posts
13
Posts %
2
Score
6
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
48
Bijection from $\mathbb R$ to $\mathbb {R^N}$
Nov 24, 2012
answer
23
How is the Gödel's Completeness Theorem not a tautology?
Apr 27, 2014
question
20
What does it mean for something to be true but not provable in peano arithmetic?
Oct 13, 2012
question
18
Constructing a bijection from (0,1) to the irrationals in (0,1)
Oct 25, 2012
question
12
Currently, what is the largest publicly known prime number such that all prime numbers less than it are known?
Mar 14, 2013
question
10
Meaning of quote: "model theory = algebraic geometry - fields"?
Jun 12, 2013
question
8
What is the fastest (most reliable) way to calculate the Frenet frame, curvature and torsion, given r(t)?
Mar 8, 2013
question
6
All translations of classical logic into intuitionistic logic
Jun 1, 2016
question
6
There exists a rational sequence that converges to $\sqrt3$
Oct 12, 2012
question
6
Path to categorical realizability theory
Mar 9, 2015
Top network posts
View all network posts
16
Relative consistency of PA and some type theories
9
What is the descriptive complexity of a set added by Cohen forcing?
8
What is the proof-theoretic significance of the existence of a Brown-Palsberg self-interpreter for system $F_\omega$?
7
Globally replace C- with SPC
5
Emacs evil: general window movement remap

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.