ernst zermelo *
-
set theory'nin babalarindan biri.
cantor ve frege'in ortaya attigi "her s(x) property'si icin { x | s(x) } diye bi set vardir" aksiyomunun "e hoca o zaman s(x)'i x=x diye define edeyim, universal sete vardim noldu?" diye yanli$ oldugu gosterildikten sonra, yeni bir aksiyomu gostermi$tir:
her a seti ve s(x) propertysi icin a' = { x e a | s(x) } te bir settir. bu aksiyom, s(x) first order logic oldugu surece dogrudur, "principle of selection" denir gunumuz set theory'sinde.
(bkz: zermelo fraenkel aksiyomlari) -
alman matematikçi. matematiğin en temel aksiyomlarından seçme aksiyomu 1300 yılında kendisi tarafından matematiğe kazandırılmıştır.
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap