Tüketerek tanıtlama

Tüketerek tanıtlama veya kaba kuvvet yöntemi ya da durum çözümlemesi olarak bilinen yöntem, tanıtlanacak önermenin sonlu sayıda duruma bölünerek her durumun ayrı ayrı tanıtlandığı bir matematiksel tanıt yoludur. Tüketerek tanıtlama iki aşamada gerçekleştirilir:

Bunun aksine Eski Yunan bilginlerinden Eudoxus of Cnidus'un tüketme yöntemi (tanıtlama) yöntemi matematiksel limitleri geometrik ve esas olarak özenli bir şekilde hesaplama yöntemiydi.

Örnek

Her küp sayısı 9'un katı ya da 9'un katının 1 eksiği ya da 1 fazlasıdır.

Tanıt

Her küp sayısı bir tam sayısının küpüdür. Bu tam sayı ya 3'ün katıdır ya da 3'ün katının 1 eksiği ya da bir fazlasıdır. Bu nedenle aşağıdaki üç durum tüm durumları kapsar:

[Tanıtı tamamlamak için, 2 ve 3 durumlarındaki önermeler basit cebir kullanılarak tanıtlanabilir.]

Kaç durum vardır?

Tüketerek tanıtlama yönteminde, izin verilen durum sayısı için bir üst sınır yoktur. Bazı hallerde yalnızca iki ya da üç durum bulunur. Diğer hallerde ise birkaç düzine durum olabilir. Örneğin, satrançta bir oyun sonu problemini çözmek bazen bir düzine ya da daha fazla hamle dizisinin incelenmesini gerektirebilir. Bazı durumlarda ise yüzlerce hamle (durum) incelenmek zorundadır.

Dört Renk Teoreminin ilk tanıtı 1.936 durumu olan bir tüketerek tanıtlama tanıtıydı. Verilen tanıt tartışma konusu olmuştu çünkü durumların çoğu matematikçi eliyle değil de bir bilgisayar programı tarafından denetlenmişti. Dört renk teoreminin günümüzde bilinen en kısa tanıtı dahi 600'ü aşkın duruma sahiptir.

Matematikçiler çok sayıda durumu olan tanıtlamalardan kaçınmayı yeğlerler; çünkü bu tanıtlar zarafetten yoksun görünürler, teoremin yalnızca şans eseri doğru olduğu ve temelinde bir ilke ya da bağlantının bulunmadığı izlenimini bırakırlar. Bununla birlikte, tüketerek tanıtlama dışında hiçbir yöntemle tanıtı bulunamayan teoremler mevcuttur. Dört renk teoremine ek olarak, tüketerek tanıtlamanın yapıldığı büyük tanıtlar için şu örnekler verilebilir:

This article is issued from Vikipedi - version of the 3/10/2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.