Tag Archives: Math

Gödel’s Proof

Gödel showed (i) how to construct an arithmetical formula G that represents the meta-mathematical statement: ‘The formula G is not demonstrable’. This formula G thus ostensibly says of itself that it is not demonstrable. Up to a point, G is constructed analogously to the Richard Paradox. In that Paradox, the expression ‘Richardian’ is associated with a certain number n, and the sentence ‘n is Richardian’ is constructed. In Gödel’s argument, the formula G is also associated with a certain number h, and is so constructed that it corresponds to the statement: ‘The formula with the associated number h is not demonstrable’. But (ii) Gödel also showed that G is demonstrable if, and only if, its formal negation ~G is demonstrable. This step in the argument is again analogous to a step in the Richard Paradox, in which it is proved that n is Richardian if, and only if, n is not Richardian. However, if a formula and its own negation are both formally demonstrable, the arithmetical calculus is not consistent. Accordingly, if the calculus is consistent, neither G nor ~ G is formally derivable from the axioms of arithmetic. Therefore, if arithmetic is consistent, G is a formally undecidable formula.  Gödel then proved (iii) that, though G is not formally demonstrable, it nevertheless is a true arithmetical formula. It is true in the sense that it asserts that every integer possesses a certain arithmetical property, which can be exactly defined and is exhibited by whatever integer is examined, (iv) Since G is both true and formally undecidable, the axioms of arithmetic are incomplete. In other words, we cannot deduce all arithmetical truths from the axioms. Moreover, Gödel established that arithmetic is essentially incomplete: even if additional axioms were assumed so that the true formula G could be formally derived from the augmented set, another true but formally undecidable formula could be constructed, (v) Next, Gödel described how to construct an arithmetical formula A that represents the meta-mathematical statement: ‘Arithmetic is consistent’; and he proved that the formula ‘A ⊃ G’ is formally demonstrable. Finally, he showed that the formula A is not demonstrable. From this it follows that the consistency of arithmetic cannot be established by an argument that can be represented in the formal arithmetical calculus.

(From Nagel and Newman‘s “Gödel’s Proof”


Sexy Prime (Numbers)

They’re sexy, they’re quirky, they  come in pairs and wouldn’t mind a threesome either, they’re Sexy Primes! Now, before you get the impression that I publish some kind of an unorthodox display of coitus-ridden innuendos and inappropriate shenanigans, I’d like to say that “sexy” here derives from the Latin word “sex” meaning the number “six”. And yes, they do come in pairs, triplets, quadruplets and quintuplets. So what are sexy primes? It’s so simple that you’d…  : they are prime numbers that differ from one another by six.

Examples of sexy prime :

  • Pairs : (5,11), (7,13), (11,17), (13,19), (17,23) etc. ;
  • Triplets : (7,13,19), (17,23,29), (31,37,43) etc. ;
  • Quadruplets : (5,11,17,23), (11,17,23,29), (41,47,53,59) etc. ;
  • Quintuplets : there is only one possible quintuplet : (5,11,17,23,29) and that’s it!

There are also “Twin Primes” that differ by 2, “Cousin Primes” that differ by 4.

Old Testament and Pi

1 Kings 7:23

King James Version (KJV):

“23 And he made a molten sea, ten cubits from the one brim to the other: it was round all about, and his height was five cubits: and a line of thirty cubits did compass it round about.”

  • from one brim to the other = diameter = 10 cubits
  • a line […] compass it round about = circumference = 30 cubits
  • Pi = circumference/diameter = 30/10= 3

Close enough! (Of course, this fact is not without controversy, but still…)