https://londonconversation.com/news/thought-experiments-that-lead-to-computers-infinity-turing-complete-vs-godels-incompleteness/