Mathematics
Trebor's user avatar
Trebor's user avatar
Trebor's user avatar
Trebor
  • Member for 5 years, 3 months
  • Last seen this week
Profile Activity
Stats
3,993
reputation
146k
reached
143
answers
20
questions
Communities
View all
About

I'm an undergraduate student interested in maths and type theory.

Badges
View all badges
2
gold badges
9
silver badges
30
bronze badges
Top tags
View all tags
22
Score
12
Posts
7
Posts %
19
Score
7
Posts
4
Posts %
18
Score
11
Posts
7
Posts %
17
Score
11
Posts
7
Posts %
16
Score
9
Posts
6
Posts %
15
Score
7
Posts
4
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
33
Is there an elementary expression for every real sequence?
Jun 17, 2020
answer
15
How many points are needed to uniquely define an ellipse?
Jan 6, 2019
answer
7
Convert infinite 2D plane integer coords to 1D number
Nov 18, 2018
question
6
Why are there so many concepts beginning with "mod-"?
Jul 9, 2021
question
6
How can we quickly verify naturality?
Mar 18
question
6
On a peculiar operation on polynomials
Jan 16
answer
6
What does the $\wedge$-symbol mean in academic papers?
Jan 5, 2019
answer
6
Why is $d(xdx) = 0$?
Jun 24
answer
5
Find all functions $f:\mathbb{R} \to \mathbb{R},$ which is continuous in $\mathbb{R}$ then $f(x)=f(x^2+1).$
Sep 16, 2021
question
5
Axiom of choice for lifting infinitary operation
Jun 12
Top network posts
View all network posts
23
What is Artin gluing, and how is it useful in proving meta-theoretic properties?
22
Help me prove the Four Color Theorem!
17
What difficulties are there in basing a proof assistant on the $\lambda\mu$-calculus and has any proof assistant tried?
14
Missing $ inserted. Ha\"{i}
12
Why are impredicative constructions used less in type theory than in material set theory?

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.