In 1936, working collectively, Alonzo Church and Alan Turing both showed this.
It is impossible to decide algorithmically whether statements in arithmetic are true or false. Alonzo Church both showed this. This was in 1936. Alan Turing both showed this. This was in 1936.1936 was working collectively.