Wir müssen wissen — wir werden wissen https://motherboard.vice.com/en_us/article/padnvm/200-terabyte-proof-demonstrates-the-potential-of-brute-force-math …
How you, this text and Hilbert are ignoring that LEM is a lemma! (Except in first order HoTT, where it follows, of course)
-
-
Well if just exhaust the problem space we don't lemma :P (well we do, but we _could_ considerably relax the restrictions).
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.