Математики іноді хвилюються з приводу вибору аксіоми (AC) та дефіцитності аксіоми (AD).
Аксіома вибору : При будь-якому наборі непустих множин існує функція F , що, з огляду на безліч S в C , повертає елемент з S .
Аксіома рішучості : Нехай - це набір нескінченно довгих розрядних струн. Аліса і Боб грають у гру, де Аліса вибирає перший біт b 1 , Боб вибирає другий біт b 2 і так далі, поки не буде побудовано нескінченний рядок x = b 1 b 2 ⋯ . Аліса виграє , якщо х ∈ S , Боб виграє , якщо х ∉ S . Припущення полягає в тому, що для кожного S існує стратегія виграшу для одного з гравців. (Наприклад, якщо S складається лише з рядка all-one, Боб може виграти в безлічі багатьох ходах.)
Відомо, що ці дві аксіоми несумісні між собою. (Подумайте про це, або йдіть сюди .)
Інші математики не приділяють мало уваги використанню цих аксіом у доказуванні. Здавалося б, вони майже не мають значення для теоретичної інформатики, оскільки ми вважаємо, що ми працюємо здебільшого з кінцевими об'єктами. Однак, оскільки TCS визначає задачі обчислювального рішення як нескінченні бітові рядки, і ми вимірюємо (наприклад) часову складність алгоритму як асимптотичної функції над натуралами, завжди існує можливість, що використання однієї з цих аксіом може повзати в деякі докази.
Який найяскравіший приклад у TCS, який ви знаєте, де потрібна одна з цих аксіом ? (Чи знаєте ви приклади?)
Для того, щоб трохи передбачити, зауважте, що аргумент діагоналізації (скажімо, набір усіх машин Тьюрінга) не є застосуванням Axiom of Choice. Хоча мова, яку визначає машина Тьюрінга, - це нескінченна бітова струна, кожна машина Тьюрінга має кінцевий опис, тому нам дійсно не потрібна функція вибору для нескінченного безлічі нескінченних множин.
(Я ставлю багато тегів, тому що не маю уявлення, звідки беруться приклади.)