When computation is concerned (i.e. in formal methods), LEM holds even in constructive logics. See e.g. http://okmij.org/ftp/Computation/lem.html …
-
-
-
but it’s confusing when some tools can be used both as formal methods and formal proof tools (for arbitrary math theorems).
End of conversation
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.