Öklit, kendisinden önceki matematikçilerden farklı olarak bir teoremin doğru olduğunu söylemekle kalmamış, kanıt sunmuştur. Sf. 31
Kanıt nedir? Kanıt, her adımın mantıksal sonucunun, bir sonraki adımı teşkil ettiği matematiksel bir yolculuktur, öne sürülen her ifade, önceki ifadelere dönerek ispat edilmeli ve önceki ifadelerin mantıksal sonucu olduğu gösterilmelidir. Öklit, geriye dönük bu işlemin sonsuza kadar devam edemeyeceğini fark etmişti: İşlemin bir başlangıç noktasının olması gerekirdi ve ilk önermeler kanıtlanamazdı (aksi takdirde kanıt süreci başka bir noktadan başlardı).
Öklid tanımları, aksiyom ve önerme diye iki sınıfa ayırır. ‘Aynı şeye eşit olan şeyler aynı zamanda birebirlerine de eşittir’ ifadesi tipik bir aksiyomdur. ‘Bütün dik açılar birbirine eşittir’ ifadesi tipik bir önermedir. Sf. 31
Alıntı; Matematiğin Kısa Tarihi (Sonsuzluğun Terbiye Edilişi) – Ian Stewart, Çeviri; Sibel Sevinç, (Alfa Bilim Yayınları, 1. Baskı Ekim 2016 – Sf. 31) kitabından birebir alınmıştır.
Bilgi Bakkalı 
Yorum bırakın