Modern Mantığın Tarihçesi
Frege'nin çalışmalarından hareket ederek, A. N. Whitehead ve B. Russell, birlikte, matematiği bütünüyle biçimsel(formal) bir sistem haline getirmeye çalışmışlar ve bu çalışmalarını daha sonra, principia mathematica adlı büyük bir eserde toplamışlardır. Russell, matematiğin, mantık aksiyomları üzerine kurulu, çelişkisiz(consistent)ve kapsayıcı(complete) bir biçimsel sistem haline getirilebileceğini savunmuştur. Bu iddia daha sonraları 1931'de Kurt Gödel tarafından ( Gödel teoremi diye anılan meşhur teoremi ile) yıkılmıştır.
·
15 görüntüleme
Yorum yapabilmeniz için giriş yapmanız gerekmektedir.