Formal Methods of Software Design an Online Course by Eric Hehner
I may be notorious, but not for the work I&#x27;ve done, rather for the misinformation about me that is repeated by people who don&#x27;t check. I have written and published papers that say halting for programs in one formal system (language) cannot be solved in that same system, but can be solved in a different formal system. I would be delighted if you find an error in that work, but no-one has done so yet. I have never said that Goedel was wrong; I have written a paper explaining Goedel&#x27;s results that other authors have used in textbooks and translations. I have never said Cantor&#x27;s proof is wrong, but I have suggested there are other measures of set size than the one he proposed.