проблема остановки.

Теоремы Гёделя, Тьюринга и Хайтина – доказательства неалгоритмичности Вселенной и неполноты физических теорий?

«Логика – это в первую очередь естественная наука» (Фердинанд Гонсет)«

продолжить чтение

Реализм против платонизма. Неполнота Гёделя, неразрешимость Тьюринга и физические основания математики

«

продолжить чтение

Rambler's Top100