Etiket: ispat

İ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...