Tümevarımsal ispat metodu ne zaman uygulanır ve ne zaman uygulanmalıdır?

Question

Kesin bir çizgi veya kesin bir gruplandırma ile belirleyebileceğimiz bir ölçü var mı elimizde?

Sonsuza giden bir dizgede tümevarım yapılır mı?Neden?

Aslında dogru olan bır onermeye tumevarım uygulayıp çelışkı elde etmek mumkun mudur?Neden kaynaklanır?

Ve matematik kategorileri altında bir sınırlama yapılabilir mi ki, şu kategorıde tumevarım kesınlıkle yapılamaz veya kısmen yapılamaz diyebilecegimiz?

Comments

Doğal sayılar üzerine tümevarım yapılır. Mesala, boşolmayan her doğal sayı kümesinin en küçük elemanı vardır. Bunu tümevarımla kanıtlayabilirsin, çünkü kantlayacağın önerme doğal sayılarla ilgili.

---

Aynen direk tanım gereği dogal sayılar ancak genelleştirmeler ve kategorize etmeyi merak ediyorum :) saçma gibi gelebilir ama genelde bu tür şeylerden başka şeylere uzanıyorum.

---

n için dogru ise n+k için dogrulugunu gosterırsek, ıspat tamamlanır mı? $k>1$

---

http://matkafasi.com/5423/tumevarim-nedir-tumevarim-ispatliyor-tumevarim-yontemidir