Я збираюся задати досить розпливчасте запитання, оскільки межу між теоретичною інформатикою та математикою не завжди легко розрізнити.
ЗАПИТАННЯ: Чи знаєте ви про будь-який цікавий результат у CS, який або не залежить від ZFC (тобто теорія стандартного набору), або це було спочатку доведено в ZFC (+ деякій іншій аксіомі) і лише пізніше доведено у ZFC alorne?
Я прошу, бо я готовий закінчити докторську дисертацію, і мій головний результат (рішучість класу ігор, які використовуються для надання «ігровій семантиці» імовірнісному модальному рахунку) на даний момент доведено в ZFC поширювався і на інші аксіоми (а саме заперечення гіпотези континууму та, Аксіома Мартіна ).
Отже, налаштування - це явно Комп'ютерна наука (модальний -калькуляція - це часова логіка, і я розширюю її для роботи з імовірнісними системами).
Я хотів би навести у своїй дипломній роботі інші приклади (якщо вам це відомо).
Заздалегідь спасибі,
до побачення
Маттео