Come lo fanno i matematici?

Versione censurata, a uso di tutti

Gli algebristi lo fanno in gruppo e se possibile in un campo.
Gli analisti lo fanno con continuità.
Moebius lo faceva sempre dallo stesso lato.
Gli studiosi di combinatoria lo fanno in tutti i modi possibili.
I logici costruttivisti lo fanno senza escludere il terzo (1).
I logici classici lo fanno escludendo il terzo (2).
I programmatori lineari lo fanno in modo ottimale.
I topologisti lo fanno annodandosi, su un tappeto di gomma colorato con quattro colori.
I cartesiani lo fanno ortogonalmente.
I teorici degli insiemi lo fanno per scelta (3).
Gli informatici lo fanno in macchina: quella di Turing.
Turing lo faceva ma a volte non riusciva a decidere se aveva finito di farlo.
Alcuni logici lo fanno pensando solo a Godél.
I matematici, se riescono a farlo una volta e un'altra volta ancora, allora lo fanno per sempre (4).
Alcuni matematici lo fanno solo in teoria.
Alcuni professori di matematica lo lasciano come esercizio al lettore.
Gli studiosi di analisi complessa lo fanno anche con parti immaginarie.
I matematici lo farebbero con la moglie di Nobel (5).
I matematici puri lo fanno rigorosamente.
I teorici degli insiemi NON lo fanno con i cardinali (6).
Gli analisti lo portano al limite.
Tutti i matematici devono dimostrare che l'hanno fatto.
Fermat disse di averlo fatto ma non lo dimostrò.

Note.

(1) I costruttivisti non accettano il principio logico del "terzo escluso".

(2) Il "principio del terzo escluso", A o NON-A senza una terza possibilità, è uno dei principi fondamentali della logica classica.

(3) Allusione all'assioma della scelta.

(4) Allusione al principio d'induzione.

(5) Ai matematici non è ancora andato giù il fatto che non esiste il premio Nobel per la matematica.

(6) Allusione ai numeri cardinali.

Da un'idea (forse) di Chris Morton, Jeff Suzuki, Joao Batista, Bill Taylor, Andrew Smith.

(Traduzione e adattamento di Gianfranco Bo - 2005).

Sito Web realizzato da Gianfranco Bo