Controesempio
Da Wikipedia, l'enciclopedia libera.
In logica, e più in generale in matematica ed in filosofia, un controesempio è un fatto particolare che dimostra che una certa congettura generale è falsa.
Costruire esplicitamente un controesempio è il metodo più naturale ed efficace per confutare dei teoremi. Ad esempio, consideriamo l'affermazione seguente: "tutti i gatti sono neri". Questa affermazione è indubbiamente falsa, ma come facciamo a dimostrarlo? Semplicemente, mostrando al mondo l'esistenza di un gatto di un altro colore!
Questo esempio, a prima vista banale, si estende in tutti gli ambiti della matematica, a vari livelli. Per esempio, molte congetture famose sono asserzioni che valgono in una certa generalità: ad esempio la congettura di Fermat (dimostrata da Andrew Wiles nel 1995) sostiene che:
- non esistono soluzioni intere positive all'equazione: an + bn = cn per n > 2.
Ebbene un controesempio per questa congettura sarebbe una terna di numeri a, b e c, ed un altro intero n>2 che soddisfano questa relazione.
I matematici che si trovano di fronte una congettura, o più generalmente un problema di cui non sanno la soluzione, hanno generalmente davanti a sé due strade percorribili: tentare di dimostrarla, o cercare un controesempio (e in questo caso l'utilizzo intensivo di computer può essere di grande aiuto). Addirittura per alcuni matematici (i cosiddetti intuizionisti), un controesempio è l'unico modo per poter dimostrare la falsità di un teorema dove le configurazioni possibili da verificare sono infinite.
