Yes, counting “worse” along that axis—I like nonstandard analysis better than ε/δ, but I like logic better than mathematics :)
Ok… I guess this is a matter of taste. I am not so afraid of tentacles that I feel a need to go to such lengths to avoid possible monsters.
-
-
It's also a matter of actually doing it on a computer. There's a reason why proof assistants are based in intuitionistic type theory
-
I’m missing a step there. Some proof assistants use regular fopc. What’s the advantage of intuitionistic logic?
- 4 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.