Matematiksel ispat: Revizyonlar arasındaki fark
| [kontrol edilmemiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
Bağlantılar eklendi. |
kDeğişiklik özeti yok |
||
12. satır:
* ''[[Oluşturarak tanıtlama]]'': İstenen özelliğe sahip somut bir örnek oluşturularak istenen özellikte bir nesnenin var olduğunun gösterildiği yöntem.
* ''[[Tüketerek tanıtlama]]'': Tanıtlanacak önermenin sonlu sayıda duruma bölünerek her birinin ayrı ayrı tanıtlandığı yöntem.
* ''[[Cantor'un köşegen yöntemi|Köşegen yöntemiyle tanıtlama]]'': Köşegen yöntemiyle tanıtlama [[Georg Cantor]] tarafından özel önermeleri tanıtlamak için geliştirilmiştir. İlk olarak, [[rasyonel sayılar|rasyonel sayıların]] sayılabilir ve [[reel sayılar|gerçel sayıların]] sayılamaz olduğunu göstermek için kullanmıştır.
* ''[[Çekmece ilkesi]]'': İlk olarak Alman matematikçi [[Peter Gustav Lejeune Dirichlet]] tarafından ortaya konulan genel bir eşleştirme ilkesidir. Sayısı belli olan bir nesneler topluluğu nesne sayısından daha az sayıda çekmeceye yerleştirildiğinde, çekmecelerden en az birinde birden fazla nesnenin var olmak zorunda olduğunu ifade eder.
29. satır:
* [[Oluşturmacı olmayan tanıt]]
* [[Matematiksel tanıtlar listesi]]
[[Kategori:Matematiksel ispatlar| ]]
| |||