[klawed]

Don't forget Gödel!

[carlehewitt]

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

[klawed]

Wow. Thanks for sharing this.