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

Машина, которая никогда не останавливается: как одно предложение поставило предел человеческому познанию

Аннотация

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

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

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

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

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

«

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