forcing
-
ing. zorlama. ilk kez 1963'te paul kohen tarafindan kullanilan süreklilik hipotezi ve axiom of choice'un bagimsizligini kanitlayan teknik. kabaca soyle: modele disaridan yeni bir adim getirildiginde veya insa edildiginde bu yeni adim modelin aksiyomlarini sagliyor. yeni adim, modeli forcing ediyor.
http://www-math.mit.edu/~tchow/forcing.pdf
http://www.matematikdunyasi.org/…_58_sureklilik.pdf
ayrica
(bkz: set theory)
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