3 ms·

Don't forget Gödel!

• carlehewitt 7y ago
  In his famous 1936 article, Turing correctly noted that proof of the computational undecidabilty of halting problem does not involve the same fixed point as the one used by Gödel. See the following: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003 https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003
  • klawed 7y ago
    Wow. Thanks for sharing this.