paysmaths, French "Constructive logic is so much more interesting than classical logic and it is so much closer to the true behavior of intelligible things in the world : in classical logic, because of double negation [...]" – Vladimir Voevodsky (1966-2017)
#quote #mathematics #math #maths