See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Paul Cohen (Mathematiker) – Wikipedia

Paul Cohen (Mathematiker)

aus Wikipedia, der freien Enzyklopädie

Paul Joseph Cohen (* 2. April 1934 in Long Branch, New Jersey, USA, † 23. März 2007 in Stanford) war ein US-amerikanischer Logiker und Mathematiker. Er war Träger der Fields-Medaille.

[Bearbeiten] Leben und Werk

Cohen besuchte bis 1950 die Stuyvesant High School in New York City, danach das Brooklyn College in New York bis 1953, um dann an der University of Chicago zu studieren, wo er 1958 bei Antoni Zygmund mit einem Thema über trigonometrische Reihen (Eindeutigkeitssätze für Fourierreihen) promovierte. 1958-1959 war er am MIT in Boston, 1959-1961 am Institute for Advanced Study in Princeton. 1961 ging er an die Stanford University in Kalifornien, wo er 1964 Professor wurde.

Er entwickelte 1963 die sogenannte „forcing“- oder „Erzwingungs“-Methode, mit deren Hilfe er beweisen konnte, dass die Kontinuumshypothese nicht mit den üblichen Axiomen der Mathematik, den mengentheoretischen ZFC-Axiomen, beweisbar ist. Zusammen mit Kurt Gödel, der mit seinem konstruktiblem Universum gezeigt hatte, dass die Kontinuumshypothese aus den ZFC-Axiomen nicht widerlegbar ist, hat Cohen so eine Antwort auf das erste Hilbertsche Problem gefunden.

Ebenso konnte Cohen zeigen, dass das Auswahlaxiom nicht aus den Zermelo-Fraenkel Axiomen ZF folgt.

Die Forcing-Methode ist auch heute noch in der Mengenlehre die wichtigste Grundlage für Unabhängigkeitsresultate (d.h. für Beweise, die die Unbeweisbarkeit von mathematischen Aussagen zeigen).

Daneben arbeitete er auch über partielle Differentialgleichungen und Maßtheorie.

Für seine Arbeit erhielt Cohen 1966 die Fields-Medaille, ebenso wurde ihm 1964 der Bôcher-Memorial-Preis verliehen.

[Bearbeiten] Literatur

  • Paul Cohen Set Theory and the Continuum Hypothesis, New York, Benjamin, 1963
  • Kanamori The mathematical development of set theory from Cantor to Cohen, Bulletin of Symbolic Logic, Bd. 2, 1996, S.1-71, online als Postscript Datei in: [1]

[Bearbeiten] Weblinks

Einige Arbeiten von Cohen (u.a. zur Kontinuumshypothese) sind auf den Seiten der Proceedings of the National Academy of Sciences zu finden.



aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -