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

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Arnold Oberschelp – Wikipedia

Arnold Oberschelp

aus Wikipedia, der freien Enzyklopädie

Arnold Oberschelp (* 1932 in Recklinghausen), ist ein deutscher Mathematiker und Logiker, seit 1968 Professor für Logik und Wissenschaftslehre in Kiel.

Oberschelp studierte Mathematik und Physik an den Universitäten in Göttingen und Münster. In Münster promovierte er in mathematischer Logik. 1958 war er wissenschaftlicher Assisten am Mathematischen Institut der Technischen Hochschule Hannover. 1961 habilitierte er sich für das Fach Mathematik. 1968 nahm er einen Ruf als ordentlicher Professor für Logik und Wissenschaftslehre an die Christian-Albrechts-Universität zu Kiel an.

Arnold Oberschelp entwickelte eine allgemeine Klassenlogik, in der man beliebige Klassen widerspruchsfrei bilden kann, ohne dass die üblichen Mengenaxiome vorausgesetzt werden. Zusätzliche Axiome ergeben die Zermelo-Fraenkel-Mengenlehre, die in seiner klassenlogischen Darstellung aber wesentlich handlicher ist als die übliche prädikatenlogische Darstellung.

[Bearbeiten] Literatur

  • Set Theory over Classes. (Dissertation). Kiel 1973.
  • Elementare Logik und Mengenlehre I/II. Bibliographisches Institut, Mannheim/Wien/Zürich 1978, ISBN 3-411-00408-8.
  • Jürgen-Michael Glubrecht, Arnold Oberschelp, Günter Todt: Klassenlogik. Bibliographisches Institut, Mannheim/Wien/Zürich 1983, ISBN 3-411-01634-5.
  • Allgemeine Mengenlehre. BI-Wiss.-Verl., Mannheim/Leipzig/Wien/Zürich 1994, ISBN 3-411-17271-1.
  • Logik für Philosophen. 2. Auflage. Metzler, Stuttgart/Weimar 1997, ISBN 3-476-01545-9 .

[Bearbeiten] Weblinks


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 -