2
Аксіоми, необхідні для теоретичної інформатики
Це питання надихає аналогічне запитання про прикладну математику в mathoverflow, і те, що натякає на думку, що важливі питання TCS, такі як P vs. NP, можуть бути незалежними від ZFC (або інших систем). Як невелике тло, зворотна математика - це проект знаходження аксіом, необхідних для доведення певних важливих теорем. Іншими …