Andrej Bauer
Reputation
1,430
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
4 12
Newest
Impact
~23k people reached

• 0 helpful flags
• 26 votes cast

# 121 Actions

 Apr11 comment To find the value of a function at a point where it is continuous Just ask alpha. Apr11 comment D={ $deg_T (A) | A \subseteq N$} Problem I am not going to answer closed questions. In addition, the question is confused and does not even clearly define $D$. It looks like you want $D$ to be c.e. degrees rather than all degrees (contrary to your definition), but this was never cleared up. Anyhow, you should just look at a textbook, for instance books.google.si/… Apr10 comment D={ $deg_T (A) | A \subseteq N$} Problem How about if you ask your question properly on this site and then everyone can answer, including me? Mar7 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? Feb20 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... Feb20 comment Exercise 4.6 (iii) in the HoTT Book All three problems, or just one? Jan6 revised How to introduce type theory to newcomer added 1209 characters in body Jan6 answered How to introduce type theory to newcomer Dec27 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.) Dec27 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". Dec27 revised Geometric Series Word Problem from Khan Academy added 12 characters in body Dec27 answered Geometric Series Word Problem from Khan Academy Dec27 comment Question about how to prove $x^5\equiv x \pmod {10}$ What's wrong with churning out the 10 cases by brute force? Dec18 comment Give the explicit form of the following parametrized surface I mean that I disagree with my answer. Dec18 comment Give the explicit form of the following parametrized surface Hmm, this can't be right. Dec18 answered Give the explicit form of the following parametrized surface Dec8 awarded Caucus Dec4 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). Dec4 answered Correspondence between two subspaces Sep30 awarded Explainer