Paul Cohen (matematico)
Paul Joseph Cohen (Long Branch, 2 aprile 1934 – Palo Alto, 23 marzo 2007) è stato un matematico statunitense, noto per i suoi contributi in logica e analisi matematica.
Biografia
[modifica | modifica wikitesto]Diplomato nel 1950 presso la Stuyvesant High School di New York, proseguì gli studi presso il Brooklyn College dal 1950 al 1953 e ottenne il Master of Science dall'Università di Chicago nel 1954 dove, nel 1958, completò il PhD in matematica.
Nel 1963 dimostrò uno dei più spettacolari risultati della matematica contemporanea, l'indipendenza dell'ipotesi del continuo dagli assiomi della teoria degli insiemi di Zermelo-Fraenkel. In altre parole, questo sistema assiomatico (adottato come sistema "standard" per la teoria degli insiemi e quindi per tutta la matematica), se coerente, resta coerente con l'aggiunta della negazione dell'ipotesi del continuo. Poiché, in precedenza, Kurt Gödel aveva già dimostrato la coerenza dell'ipotesi del continuo con gli assiomi ZF, l'unione dei risultati di Gödel e di Cohen divenne un esempio, in matematica, di quelle proposizioni indecidibili la cui esistenza era stata dimostrata dal primo teorema d'incompletezza di Gödel, in quest'ultimo caso con una discussione da un punto di vista logico.
Per il suo risultato di indipendenza, Cohen ricevette nel 1966 la Medaglia Fields.
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Sito ufficiale, su paulcohen.org (archiviato il 28 settembre 2007).
- Cohen, Paul, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
- Cohen, Paul Joseph, su sapere.it, De Agostini.
- Cohen, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) Paul Joseph Cohen, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Paul Cohen, su MacTutor, University of St Andrews, Scotland.
- (EN) Paul Cohen, su Mathematics Genealogy Project, North Dakota State University.
- (EN) Opere di Paul Cohen, su Open Library, Internet Archive.
Controllo di autorità | VIAF (EN) 108477514 · ISNI (EN) 0000 0001 1463 2197 · LCCN (EN) n88635824 · GND (DE) 117709115 · J9U (EN, HE) 987007279421805171 · NDL (EN, JA) 00464726 · CONOR.SI (SL) 164457827 |
---|