Used the result about the halting problem to disprove the provability of LEM
Used the result about the halting problem to disprove the provability of LEM

wilcoxjay/JonPRL,jozefg/JonPRL,jonsterling/JonPRL