2/12
L’idea di “Scienza” e di
“scienziato” che la
maggior parte delle
persone ha in testa è
probabilmente questa
In questa accezione, la percezione del matematico come
scienziato e la legittimità della collocazione della matematica tra le Scienze risulta difficile da cogliere perfino
dagli altri scienziati, fisici, chimici etc.
3/12
In effetti spesso anche gli addetti ai lavori non
sanno spiegare perché anche la Matematica è
una Scienza, al di là di fumosi riconoscimenti
che essa è “la base di tutto” ovvero “serve”…
argomentazioni che varrebbero parimenti per la
scrittura, la stampa, etc.
4/12
Un matematico che si accinge a dimostrare un’affermazione
non fa altro che applicare il metodo scientifico di Galileo
La prova della correttezza di un’ipotesi formulata,
che nelle scienze sperimentali si fa attraverso gli
esperimenti, in Matematica giunge attraverso la
DIMOSTRAZIONE.
La DIMOSTRAZIONE è l’esperimento del Matematico.
“Un matematico è una macchina che trasforma il caffè
in teoremi”. Paul Erdos
Fino a quando non é corredata
da una dimostrazione
un’affermazione matematica é
UNA CONGETTURA
Congettura dei
primi gemelli
Congetture
di Goldbach
Ultimo Teorema
di Fermat
Congettura dei primi gemelli
3-5
5-7
11-13
17-19
29-31
41-43
Esistono infiniti numeri primi p
tale che anche p + 2 sia un numero primo.
59-61
Congettura forte di Goldbach
Ogni numero dispari maggiore di 5 può essere scritto
come somma di tre numeri primi.
Congettura debole di Goldbach
Ogni numero pari maggiore di 2 può essere scritto
come somma di due numeri primi
Per esempio,
4=2+2
6=3+3
8=3+5
10 = 3 + 7 = 5 + 5
12 = 5 + 7
14 = 3 + 11 = 7 + 7
L’ultimo Teorema di Fermat
Non esistono soluzioni intere positive all'equazione:
an + bn = cn
se n > 2.
n =2 terne pitagoriche
Esempi: ( 3, 4, 5); ( 5, 12, 13); ( 7, 24, 25); ( 8, 15, 17);
( 9, 40, 41) ….
La struttura di un enunciato matematico é sempre
rappresentabile come
P1  P2
ipotesi
tesi
A = { elementi che soddisfano P1}
A
B = { elementi che soddisfano P2}
B
Il ruolo del controesempio é
analogo a quello della dimostrazione
Quello che interessa al matematico
é stabilire se un’affermazione é vera o falsa
Vera
Falsa
dimostrazione
controesempio
ESEMPIO
A = { elementi che soddisfano P1}
B = { elementi che soddisfano P2}
A
x
B
Il punto x é un controesempio
per l’affermazione
P2  P1
La quale é quindi
FALSA
perché esiste il
controesempio x
Cosa dimostra la presenza
del punto x?
1) Che P1  P2 ma P2  P1
2) Che P2  P1 ma P1  P2
3) Che P2  P1
4) Che le affermazioni P1 e P2
non sono confrontabili
A = { elementi che soddisfano P1}
B = { elementi che soddisfano P2}
x
B
z
A
y
Quale degli elementi é un controesempio all’affermazione
P1  P2?
1) x
2) y
3)z
4) Tutti e tre
A = { elementi che soddisfano P1}
B = { elementi che soddisfano P2}
x
B
z
A
y
L’esistenza di z prova che
1) P1  P2 ma P2  P1
2) P2  P1 ma P1  P2
3) P1  P2
4) Non prova nessuna implicazione
P1 = insegnante in questa stanza
P2 = portatori di occhiali
P1  P2
“Tutte le insegnanti in questa stanza portano gli occhiali”
A = { elementi che soddisfano P1} = { Borghetti, Buzzi,
Cinti, Maccaglia, Martellotti, Venturi}
B = { elementi che soddisfano P2} =
E viceversa?
P1 = insegnante in questa stanza
P2 = portatori di occhiali
P2  P1
A = { elementi che soddisfano P1} = { Borghetti, Buzzi,
Cinti, Maccaglia, Martellotti, Venturi}
B = { elementi che soddisfano P2} =
“Tutti i portatori di occhiali sono insegnanti e si trovano
in questa stanza”
Riassumendo
L’esempio … dimostra che
1) Che P1  P2 ma P2  P1
Quale tra i seguenti é un controesempio alla (o al viceversa della)
affermazione
P1  P2?
2) Che P2  P1 ma P1  P2
3) Che P2  P1
4) Che le affermazioni P1 e P2 non
sono confrontabili
oppure
4 bis ) non prova nessuna implicazione
….
1)
2)
3)
4)
Esempio A
Esempio B
Esempio C
Esempio D
oppure
4 bis) nessuno dei precedenti
4 ter) vanno bene tutti e tre
….