Reputation
1,415
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
5 12
Newest
 Yearling
Impact
~22k people reached

May
5
awarded  Yearling
Apr
11
comment To find the value of a function at a point where it is continuous
Just ask alpha.
Mar
7
comment Is it known if “Homotopy type theory” (HTT) can consistently model objects beyond V?
If you read the HoTT book, what part of your question was not answered by Chapter 10, where set theory is considered and $V$ is exhibited as a higher inductive-inductive type?
Feb
20
comment Exercise 4.6 (iii) in the HoTT Book
Hmm, I seem to remember Mike Shulman outlining an argument on a mailing list or in a GitHub issue, if you want to practice your Google powers...
Feb
20
comment Exercise 4.6 (iii) in the HoTT Book
All three problems, or just one?
Jan
6
revised How to introduce type theory to newcomer
added 1209 characters in body
Jan
6
answered How to introduce type theory to newcomer
Dec
27
comment Geometric Series Word Problem from Khan Academy
You won't learn anything by getting all the answers. Figure it out by yourself. Once you are convinced that you know what is right, come back to check. (By "convinced" I mean that you won't just immediately assume you're wrong if my answer is different from yours.)
Dec
27
comment Geometric Series Word Problem from Khan Academy
It's about an off-by-one error: to add the first ten terms of the series, should you plug in $n = 9$, $n = 10$, or $n = 11$? The answer depends on how you start indexing the series, i.e., if the first term corresponds to $n = 0$ then you should plug in $n = 9$ to get ten terms. However, if you start counting terms with $n = 1$ then you should plug in $n = 10$. This error is so prevalent in programming that it has a name: "Obi-Wan error".
Dec
27
revised Geometric Series Word Problem from Khan Academy
added 12 characters in body
Dec
27
answered Geometric Series Word Problem from Khan Academy
Dec
27
comment Question about how to prove $x^5\equiv x \pmod {10}$
What's wrong with churning out the 10 cases by brute force?
Dec
18
comment Give the explicit form of the following parametrized surface
I mean that I disagree with my answer.
Dec
18
comment Give the explicit form of the following parametrized surface
Hmm, this can't be right.
Dec
18
answered Give the explicit form of the following parametrized surface
Dec
8
awarded  Caucus
Dec
4
comment Correspondence between two subspaces
Amazingly, we came up with the same notation (it's not suprising that we came up with the same proof).
Dec
4
answered Correspondence between two subspaces
Sep
30
awarded  Explainer
Aug
30
comment How to prove that a set is infinite iff it is Dedekind infinite?
Also, there are infnite sets $X$ such that there is no bijection from $\mathbb{N}$ to $X$. These are called uncountable. I don't know how much you already know, perhaps you already knew that.