[ prog / sol / mona ]

sol


Five Stages of Accepting Constructive Mathematics - Andrej Bauer

1 2022-02-22 21:33

https://www.youtube.com/watch?v=21qPOReu4FI

I am not mathematically literate enough to have opinions strong enough that would make the first three stages possible, so I guess I am depressed that I do not actually understand what this is all about and have no idea how to learn it even though it seems fascinating.

3


VIP:

do not edit these