Parliamo di Matematica: che significa risolvere un problema? Il tema svolto da GhatGPT è una intelligente sintesi di quello mostratogli.
A ChatGPT ho mostrato la traccia del tema: Gli ho inviato dunque lo svolgimento pubblicato giorni fa e gli ho chiesto: «Puoi dirmi come avresti sviluppato tu quella traccia?».
Bella sfida
Quella traccia ministeriale è davvero stimolante: si presta a un tema che intreccia storia della matematica, logica, informatica e persino filosofia.
Se dovessi svilupparla io, lo farei così:
Introduzione
Partirei dal legame con l’antichità: i Greci, con i loro strumenti limitati a riga e compasso, hanno posto problemi che sembravano semplici ma si sono rivelati impossibili da risolvere entro quei vincoli. Questo mi permetterebbe di introdurre subito la nozione che la risolubilità di un problema dipende dagli strumenti ammessi.
Parte storica
-
Problemi classici: quadratura del cerchio, duplicazione del cubo, trisezione dell’angolo → impossibili con riga e compasso, dimostrato solo in epoca moderna.
-
Equazioni di quinto grado: non risolvibili con radicali (Ruffini, Abel, Galois), ma affrontabili con metodi approssimativi (Newton).
Qui sottolineerei il concetto: impossibile in un contesto, possibile in un altro.
Parte logico-teorica
-
Hilbert e il X problema: esiste un algoritmo per decidere se un’equazione diofantea ha soluzioni intere? → risposta negativa (Davis, Putnam, Robinson, Matijasevič).
-
Gödel e l’incompletezza: esistono enunciati veri che non si possono dimostrare.
Qui mostro che non è solo questione di strumenti, ma che ci sono limiti intrinseci della matematica e della logica.
Parte pratica (oggi)
-
Complessità computazionale: differenza tra risolubile in principio e risolubile in tempi utili (classi P e NP).
-
Crittografia: esempi concreti (moltiplicazione facile, fattorizzazione difficile). RSA, Shor e la computazione quantistica.
Qui rispondo alla seconda parte della traccia: che significa oggi risolvere un problema? Non basta dire “si può fare”: bisogna anche chiedersi “in quanto tempo e con quali risorse?”.
Esempi attuali
-
Problema del commesso viaggiatore (TSP).
-
Protein folding.
-
Congettura di Collatz → semplice da enunciare, ancora aperta.
Dimostro che oggi abbiamo problemi “semplici da dire” ma ancora misteriosi.
Conclusione
Chiuderei in chiave filosofica:
-
Un problema può essere impossibile con certi strumenti e possibile con altri.
-
Alcuni problemi sono risolvibili solo “in principio”, ma non “in pratica”.
-
Esistono problemi che resteranno sempre indecidibili.
E soprattutto: questo garantisce che la matematica non finirà mai, perché ogni risposta apre nuove domande. Platone lo aveva intuito: la matematica è ciò che “sempre è e che non nasce e non perisce”.
In sintesi, il mio sviluppo sarebbe:
-
Storia (Greci + equazioni algebriche).
-
Logica (Hilbert + Gödel).
-
Oggi (complessità + crittografia).
-
Esempi attuali (TSP, protein folding, Collatz).
-
Conclusione filosofica (la matematica non finisce mai).
COMMENTS