Bir teorem kanıtlandıktan sonra, diğer sonuçlar genellikle neredeyse anında ortaya çıkar. Bir sonuç, genellikle çok az ek çalışmayla, bir teoremden doğrudan çıkan bir ifadedir. Yeni bir teoremden ziyade doğal bir sonuçtur.
Öklid'in Elemanları, birçok sonuç önermesiyle doludur. Bir üçgenin açılarının toplamının 180 derece olduğunu kanıtladıktan sonra, bir sonuç önermesi, bir üçgenin iki dik açısı olamayacağını belirtir. Ana teorem kanıtlandıktan sonra, bu sonuç önermesi kullanışlı ve anlaşılması kolaydır.
Matematikçiler, bilgiyi düzenlemek için sonuçlardan yararlanırlar. Önemli sonuçları vurgularlar ve bunlara kolayca başvurulmasını sağlarlar. Teorem, önerme, lemma ve sonuç arasındaki ayrım kısmen vurgu meselesidir. Lemma bir basamak taşıdır; sonuç ise bir kazançtır. Her ikisi de ana ispat tarafından oluşturulan mantıksal yapıya bağlıdır.
- Bir teoremden kolayca çıkarılabilir.
- Genellikle çok az ek kanıt gerektirir.
- Öklid ve modern metinlerde yaygın olarak bulunur.
- Önemli sonuçları vurgular
Comments (2)
Leave a comment