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