İspat Nedir, Ne Değildir?
Bertrand Russel’a göre tüm matematik “p ise q” formundaki önermelerin kümesidir. Bu ifade, yaşamını, matematiği mantığa indirgeme çabasıyla geçiren bir bilim adamı için gayet...
Sonsuzu Anlamak
Matematikte bir çok kavramda olduğu gibi sonsuzluk kavramı da, çift değerli mantıktan ötürü bir karşıtlık üzerine tanımlanmıştır. Şöyle ki, önce sonlunun ne olduğu tanımlanır,...