The Mathematical Image

The proof is elegant and the result profound. Still, it is typical mathematics; so, it’s a good example to reflect upon. In doing so, we will begin to see the elements of the mathematical image, the standard conception of what mathematics is. Let’s begin a list of some commonly accepted aspects. By ‘commonly accepted’ I mean that they would be accepted by most working mathematicians, by most educated people, and probably by most philosophers of mathematics, as well. In listing them as...

 Conjecture versus Theorem

Mathematicians use the idea of proof to make a distinction between a 'conjecture' and a 'theorem', which bears a superficial resemblance to the OED's distinction between the two senses of 'theory'. A conjecture is a proposition that looks true but has never been proved. It will become a theorem when it has been proved. A famous example is the Goldbach Conjecture, which states that any even integer can be expressed as the sum of two primes. Mathematicians have failed to disprove it for all eve...