human
Who was the first to prove that arithmetic is not decidable?
assistant
That would be Alan Turing. He proved that there is no algorithm that can determine whether a given mathematical statement is true or false.