Atiscant

6 ms·

31.
by Atiscant 4y ago
I don’t think there is a definitive book which represent exactly what I have in mind. It would depend a lot on your background. If you have a mathematical background with some formal logic, you could read the introduction to the Homotopy Ty
32.
by Atiscant 4y ago
(Constructive) Mathematics from the group up using intuitionism, formal logic, Curry-Howard and Type theory.
33.
by Atiscant 4y ago
One way to think about it is that you can extend your testing to prove the correctness of your program up to some notion of what “correct” means. You can reason about your program in your program and that allows you to capture another class
34.
by Atiscant 4y ago
If you care about the question more than from a purely curiosity standpoint, there is a difference tween “flesh” and “body” in (at least some) of Christianity. The “Lord of Spirits” (an orthodox podcast) has done an in-depth discussion on b
35.
by Atiscant 6y ago
I've added an e-mail to my profile.
36.
by Atiscant 6y ago
Khan Academy is not bad if you like their style of presentation, but as another comment noted, the number of exercises is too few. Unfortunately, I have yet to find a good recourse with focus on exercises, so I tend to create them myself fo
37.
by Atiscant 6y ago
The single most important thing IMHO is to get the basics right For context, I have a PhD in theoretical computer science and a master in mathematics. I've been teaching mathematics for several years ranging from high school to univers
38.
by Atiscant 7y ago
The part about replacing sets with categories is inaccurate. Some people are talking about categorical foundations, but as far as I know, most work is aimed at HoTT and/or (infinity-)groupoids. Thid is of course not divorced from categ