Oh yes the the incompleteness theorem. Sorry. I meant to say "one single ruling programming language to solve every Turing programming problem". For example J

Oh yes the the incompleteness theorem. Sorry. I meant to say "one single ruling programming language to solve every Turing programming problem". For example Java will be the ultimate ruling programming language, having a CPU that would directly run java byte code. Nope.