The Fundamental Theorem of Arithmetic
Gödel used these theorems in his proof (see below, more in Nagel and Newman p. 68). He figured out a way to express any mathematical formula or proof (in arithmetic) as a product of prime numbers raised to powers. And because he could factor any number into its unique primes, he was able to recover a formula or proof intact from its number by factoring it.
A prime number is defined as a counting number that is divisible only by itself and 1.
First theorem (cf Hardy and Wright, p. 2):
- "Every positive integer (counting number), except 1, is a product of primes" OR Excepting 1, it is impossible to find a positive integer that is not a product of primes.
Second theorem: fundamental theorem of arithmetic (cf Hardy and Wright p. 3):
- Every integer (counting number) has a unique expression as a product of primes. OR: It is impossible to factor an integer into primes in more than one way. (This does not include "permutations" of the primes).
Thus, if we pick a number e.g. 85, we see that it has prime factors 5 and 17, and this is unique (85 = 5×17 or 17×5), or 8 = 2×2×2 = 23.
Neither proof is particularly trivial. Hardy and Wright attribute an explicit statement of the Fundamental Theorem to Gauss. "It was, of course, familiar to earlier mathematicians" (Hardy and Wright, p. 10).
Read more about this topic: Proof Of Impossibility
Famous quotes containing the words fundamental, theorem and/or arithmetic:
“When we walk the streets at night in safety, it does not strike us that this might be otherwise. This habit of feeling safe has become second nature, and we do not reflect on just how this is due solely to the working of special institutions. Commonplace thinking often has the impression that force holds the state together, but in fact its only bond is the fundamental sense of order which everybody possesses.”
—Georg Wilhelm Friedrich Hegel (1770–1831)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)
“Under the dominion of an idea, which possesses the minds of multitudes, as civil freedom, or the religious sentiment, the power of persons are no longer subjects of calculation. A nation of men unanimously bent on freedom, or conquest, can easily confound the arithmetic of statists, and achieve extravagant actions, out of all proportion to their means; as, the Greeks, the Saracens, the Swiss, the Americans, and the French have done.”
—Ralph Waldo Emerson (1803–1882)