I was introduced to incompleteness in the context of Turing Machines and the halting problem in a CS course. I think that if you are introduced to it as part of

I was introduced to incompleteness in the context of Turing Machines and the halting problem in a CS course. I think that if you are introduced to it as part of a foundations of mathematics course then the focus is on what it implies about mathematical reasoning. As ever if you can find the right bit of Wikipedia then there's a fascinating explanation clearly written by someone who really knows about it that I don't understand but hints at worlds of thought that I will spend time exploring when I don't have to get this fucking demo to work or deal with my boss. So maybe never... https://en.wikipedia.org/wiki/Foundations_of_mathematics#Philosophical_consequences_of_G%C3%B6del's_completeness_theorem https://en.wikipedia.org/wiki/Foundations_of_mathematics#Phi...