Non ho una mia tesi in proposito

Leggo volentieri Teoremi da risolvere | Ilcomizietto; leggendolo m’accorgo che il titolo è una citazione da Rudi Matematici.
Ho stima di entrambi.
Quello che leggete appresso è un commento a quel post (trasformato qui in articolo, secondo una consuetudine cui entrambi dovreste essere ormai avvezzi).

* * *

TL;DR¹: Io resto sempre affascinato da quanto venga travisato il concetto di teorema.

Quelli che fanno cronaca giudiziaria, parlano di “teorema accusatorio“.
Che significa? Un cazzo.

Un teorema è un affermazione provata. Un dato.
Un qualcosa che, sotto le ipotesi che lo accompagnano, si è dimostrato essere vero, secondo delle regole logiche (occhio, non tutto ciò che è logicamente corretto è dimostrabilmente vero e sopratutto non tutto ciò che è corretto logicamente è necessariamente vero – Gödel insegna²).

Allora se l’accusa avesse formulato un teorema accusatorio, avrebbe già scritto la sentenza.
Avrebbe cioè dimostrato che, in base alle ipotesi, la tesi è vera. Non è quello il compito dell’accusa.
Il compito dell’accusa è, nella migliore delle ipotesi, congetturare.

Bene, per dire cosa?
Che quando una tesi viene dimostrata (sotto determinate ipotesi, è bene ripeterselo davanti allo specchio ogni mattina) diventa un teorema.

Ma allora, che significa “risolvere un teorema“?
Nulla, porcavacca. Nulla.

Un teorema si enuncia, si applica, si dimostra (certo, anche dopo che è diventato un teorema si dimostra, perché si può trovare un’altra dimostrazione, o perché la dimostrazione è costruttiva e serve per applicarlo), si discute, si cerca di confutare.

Si possono fare tante cose con un teorema, ma non lo si può risolvere.

Si può risolvere un dubbio, il dubbio su una congettura (quella di Fermat, ad esempio sulla scomponibilità di un numero in somma di potenza maggiori di due – noto come Grande Teorema – era una grande congettura), si può risolvere un problema.

“About the only thing you can’t do is” solve a theroem³.
Per quanto tu voglia pensare differente.

Perché un concetto tanto semplice stimoli un uso tanto improprio non lo capirò mai.

Sembra che capire l’umanità sia un problema ancora ben lontano dall’essere risolto.

Era difficile?

Non è un giudizio su RM in generale, non ne sarei capace.
Non è un giudizio sul contenuto del post originale in sé.

* * *

1. http://www.urbandictionary.com/define.php?term=tl%3Bdr 😀
2. Sul Teorema di incompletezza, che ho barbaramente enunciato, vedasi Teoremi di incompletezza di Gödel – Wikipedia
3. La parafrasi inglese è ispirata da Think different – Wikipedia