Fez-me rir

Neste artigo do Tim Gowers apareceu uma das trocas mais engraçadas que li nestes últimos tempos:

porton Says:
March 28, 2010 at 4:36 pm | Reply

Field medalist Gowers, it is really simple indeed.

A direct proof “A1 => A2 => … => An” is equivalent to proof by contradiction “not An => not A(n-1) => … => not A1″.

What is more natural depends on what statements are more natural “Ai” or “not Ai”.

No philosophy.

Ao que Tim Gowers respondeu:
gowers Says:
March 28, 2010 at 4:39 pm

Er … thanks.

Nuff' said!