Turing's work on uncomputable numbers and Gödel's incompleteness theorems reveal that not all mathematical truths can be proven, challenging the belief that every mathematical problem is solvable.