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