MANTIĞIN GELİŞİMİ Dersi ÇAĞDAŞ MANTIK soru detayı:
SORU:
Seçme belitinin bağımsızlığı nedir?
CEVAP: Seçme Belitinin Bağımsızlığı: Seçme (veya seçim) beliti, boş olmayan kümelerden oluşan her aile için (yani, her bir elemanı boş olmayan bir küme olan her küme için) bu ailenin her kümesinden bir eleman seçen bir fonksiyonun varolduğunu söyleyen belittir. Bu belit, saf matematikçilerin neredeyse tümü tarafından doğru kabul edilirken, uygulamalı matematikçilerin çoğunu rahatsız eder. Saf ma- tematikte elde edilen pek çok önemli sonuç seçme belitine veya görünüşte farklı bir önerme olan ama seçme belitine denk bir önermeye dayanmaktadır.
Seçme Belitinin Bağımsızlığı: Seçme (veya seçim) beliti, boş olmayan kümelerden oluşan her aile için (yani, her bir elemanı boş olmayan bir küme olan her küme için) bu ailenin her kümesinden bir eleman seçen bir fonksiyonun varolduğunu söyleyen belittir. Bu belit, saf matematikçilerin neredeyse tümü tarafından doğru kabul edilirken, uygulamalı matematikçilerin çoğunu rahatsız eder. Saf ma- tematikte elde edilen pek çok önemli sonuç seçme belitine veya görünüşte farklı bir önerme olan ama seçme belitine denk bir önermeye dayanmaktadır.