Matematikçiler bazen Seçim Aksiyomu (AC) ve Belirlilik Aksiyomu (AD) hakkında endişe duyuyorlar.
Seçme aksiyomu : Herhangi koleksiyon Verilen boş olmayan kümeler, orada bir fonksiyondur f kümesi verilen bu S içinde C , bir üyesini döndürür S .
Belirsizlik Aksiyomu : , sonsuz uzun bit dizeleri kümesi olsun . Alice ve Bob Alice 1 bit alır bir oyun oynamak b 1 , Bob 2 bit alır b 2 sonsuz dize kadar böyle devam ve x = b 1 b 2 ⋯ inşa edilmiştir. Alice, eğer x ∈ S ise oyunu, Bob ise x ∉ S ise oyunu kazandı . Varsayım, her S için, oyunculardan biri için kazanma stratejisinin olmasıdır. (Örneğin, S yalnızca tümü dizgiden oluşuyorsa, Bob çok sayıda hamle kazanabilir.)
Bu iki aksiyomun birbiriyle tutarsız olduğu bilinmektedir. (Bir düşünün ya da buraya gidin .)
Diğer matematikçiler bu aksiyomların ispatta kullanılmasına çok az dikkat eder veya hiç dikkat etmez. Çoğunlukla sınırlı nesnelerle çalıştığımıza inandığımız için teorik bilgisayar bilimi ile neredeyse alakasız görünüyorlar. Bununla birlikte, TCS, sınırsız bit dizgileri olarak hesaplama karar problemlerini tanımladığından ve bir algoritmanın zaman karmaşıklığını, doğal maddeler üzerinde asimptotik bir fonksiyon olarak ölçtüğümüz için, bu aksiyomlardan birinin kullanımının sürünmesi olasılığı her zaman vardır. bazı kanıtlara.
TCS'de bu aksiyomlardan birinin nerede gerekli olduğunu bildiğiniz en çarpıcı örnek nedir ? (Herhangi bir örnek biliyor musunuz?)
Sadece biraz gölgelemek için, köşegenleştirme argümanının (tüm Turing makinelerinin setinde olduğu gibi) Seçim Aksiyomunun bir uygulaması olmadığını unutmayın. Bir Turing makinesinin tanımladığı dil sonsuz bir bit dizesi olmasına rağmen, her bir Turing makinesinin sınırlı bir tanımı vardır, bu yüzden burada sonsuz sayıda sonsuz küme için bir seçim işlevi gerektirmez.
(Çok fazla etiket koydum, çünkü örneklerin nereden geleceği konusunda hiçbir fikrim yok.)