Since the start of the 20th century, the heart of mathematics has been the proof — a rigorous ... even decisions about which symbols to use to represent mathematical concepts have led to important ...