Yazeka
Arama sonuçlarına göre oluşturuldu
Ergi yöntemi, matematikte ve mantıkta kullanılan bir ispat tekniğidir. Reductio ad absurdum (olmayana ergi) olarak da bilinir 23. Bu yöntem, bir hipotezin yanlış olduğunu göstermek için, hipotezin doğru olduğunu varsayarak ve bu varsayımdan bir çelişki (absürt durum) elde ederek çalışır 24.
Örnek bir ergi yöntemi ispatı:
- Hipotez: Asal sayılar sonludur 4.
- Varsayım: Asal sayılar sonsuzdur (hipotezin tersi) 4.
- Çelişki: Eğer asal sayılar sonluysa, en büyük asal sayı olan "pen" vardır 4.
- Sonuç: "Pen" en büyük asal sayı olamaz çünkü "k = 2 × 3 × ... × pen + 1" sayısı asal olur ve "pen"den büyüktür 4.
- Sonuç: Dolayısıyla, hipotezin tersi yanlıştır ve hipotez doğrudur 4.
Bu yöntem, doğrudan ispatlanamayan yargıların doğruluğunu belirlemek için de kullanılır 2.
5 kaynaktan alınan bilgiyle göre: