I riassunti , gli appunti i testi contenuti nel nostro sito sono messi a disposizione gratuitamente con finalità illustrative didattiche, scientifiche, a carattere sociale, civile e culturale a tutti i possibili interessati secondo il concetto del fair use e con l' obiettivo del rispetto della direttiva europea 2001/29/CE e dell' art. 70 della legge 633/1941 sul diritto d'autore
Le informazioni di medicina e salute contenute nel sito sono di natura generale ed a scopo puramente divulgativo e per questo motivo non possono sostituire in alcun caso il consiglio di un medico (ovvero un soggetto abilitato legalmente alla professione).
La nascita della teoria degli insiemi è legata al matematico tedesco Georg Cantor.
Nella sua teoria degli insiemi, nota oggi come “teoria ingenua degli insiemi”, c’è un principio fondamentale e cruciale per la costruzione di insiemi: la totalità degli oggetti che godono di una qualsiasi proprietà P costituisce un insieme.
Un insieme A viene denotato con la scrittura A ={ } dove, all’interno delle parentesi, si scrivono gli elementi di A o la proprietà goduta dagli elementi di A.
Ma alla fine del XIX secolo si scoprirono diversi paradossi, tra cui quello noto come paradosso di Cantor che provava la contraddittorietà di questa teoria degli insiemi.
Se ogni proprietà permette di costruire un insieme, ciò vale anche per la proprietà
P(x) : “x non appartiene a x”, che si scrive “x Ï x”
Poniamo S ={x; P(x)}={x; x Ï x}.
Allora se S Î S si ha S Ï S e viceversa se S Ï S allora S Î S.
In definitiva S Î S se e solo se S Ï S e si ottiene una contraddizione.
Questo è, in sostanza, il paradosso di Russell.
La comparsa di tali paradossi ha dimostrato inequivocabilmente che l’apparente chiarezza di un concetto così elementare come quello di insieme non garantisce la coerenza di un qualsiasi sistema costruito su di esso.
L’analisi dei paradossi ha portato a diverse proposte per evitarli, proposte che sono tutte ovviamente restrittive dei concetti “ingenui” che compaiono nella derivazione degli stessi paradossi.
Gli Intuizionisti sostengono che possiamo affermare l’esistenza di un oggetto con una determinata proprietà solo se conosciamo un metodo effettivo per costruire o trovare tale oggetto. È chiaro che in questo contesto i paradossi non sono più derivabili, ma purtroppo la stessa sorte tocca a numerosi teoremi della matematica, poiché non sono più lecite, per esempio, le dimostrazioni per assurdo (reductio ad absurdum). Perciò la logica intuizionista non ha avuto molta fortuna.
Queste considerazioni mettono in luce il difficile problema filosofico e forse psicologico della natura delle creazioni o scoperte matematiche.
Che cosa si asserisce quando un matematico afferma che qualcosa esiste?
Quando i Pitagorici scoprirono che l’ipotenusa di un triangolo rettangolo isoscele è incommensurabile con il cateto, essi tentarono di mantenere segreta questa scoperta, chiamando queste lunghezze “irrazionali”.
Oggi non abbiamo sospetti su numeri tipo Ö2, la cui irrazionalità fu provata da Euclide. Analogamente i matematici si sono adattati a numeri tipo i = Ö-1, introdotti da Rafael Bombelli.
La posizione più fondamentalista nella filosofia della Matematica è stata quella di Leopold Kronecker, che ha dominato il mondo matematico tedesco alla fine del XIX secolo.
Secondo Kronecker:
“Dio ha creato i numeri interi, tutto il resto è opera dell’uomo.”
Questa posizione fu più tardi contrastata da Hilbert che affermò:
“Nessuno potrà cacciarci dal paradiso che Cantor ha creato per noi.”
Il riferimento di Hilbert è alla teoria Cantoriana dei numeri cardinali transfiniti.
Un altro grande dibattito s’incentra, infatti, sui concetti di finito e infinito in Matematica.
Fonte: http://www.dm.uniba.it/ipertesto/logici/teorins.doc
Sito web da visitare: http://www.dm.uniba.it/
Autore del testo: non indicato nel documento di origine
Il testo è di proprietà dei rispettivi autori che ringraziamo per l'opportunità che ci danno di far conoscere gratuitamente i loro testi per finalità illustrative e didattiche. Se siete gli autori del testo e siete interessati a richiedere la rimozione del testo o l'inserimento di altre informazioni inviateci un e-mail dopo le opportune verifiche soddisferemo la vostra richiesta nel più breve tempo possibile.
I riassunti , gli appunti i testi contenuti nel nostro sito sono messi a disposizione gratuitamente con finalità illustrative didattiche, scientifiche, a carattere sociale, civile e culturale a tutti i possibili interessati secondo il concetto del fair use e con l' obiettivo del rispetto della direttiva europea 2001/29/CE e dell' art. 70 della legge 633/1941 sul diritto d'autore
Le informazioni di medicina e salute contenute nel sito sono di natura generale ed a scopo puramente divulgativo e per questo motivo non possono sostituire in alcun caso il consiglio di un medico (ovvero un soggetto abilitato legalmente alla professione).
"Ciò che sappiamo è una goccia, ciò che ignoriamo un oceano!" Isaac Newton. Essendo impossibile tenere a mente l'enorme quantità di informazioni, l'importante è sapere dove ritrovare l'informazione quando questa serve. U. Eco
www.riassuntini.com dove ritrovare l'informazione quando questa serve