|This is discussed in the same question you posted in the other forum.
And since I now know the context, you are looking a problem that has been mathematically proven to be true. (Well technically proven to be unprovable.)
It has nothing to do with software in the context that you are suggesting.
polcott wrote:I have been a professional C++ software engineer since 2004.
You should look to your local universities and to the mathematics departments in each and find at least one class on Turing mathematics. This will be a class specific to mathematics and not software (although these days they might want you to write one or two simple programs.)
If there is more than one then you should take all of them.