Timothy Gowers - What a mathematical proof actually does is show that certain conclusions, s

What a mathematical proof actually does is show that certain conclusions, such as the irrationality of , follow from certain premises, such as the principle of mathematical induction. The validity of these premises is an entirely independent matter which can safely be left to philosophers.

- Timothy Gowers

source: Timothy Gowers (2010). “Mathematics”, p.50, Sterling Publishing Company, Inc.

topic: Independent, Doe, Matter, Mathematical Proof