Помимо упомянутых в Википедии (Неразрешенных проблем в информатике), что еще предстоит решить проблемы компьютерной науки?
Я подумал о том, чтобы задать этот вопрос, потому что другие великие умы там могут не знать, что такие проблемы существуют.
(Установите для сообщества вики, одна проблема с CS за сообщение, пожалуйста)
Те, что размещены в Википедии:
- P = NP?
- Существование односторонних функций
- Формализировать (аксиоматизировать) тезис Церкви-Тьюринга, чтобы его можно было доказать или опровергнуть
- Сроки планирования алгоритма, превышающие периоды