возможно, и все сразу )

+1

Потому что для меня "дедукция" — это про исчисление предикатов первого порядка, а не про Шерлока Холмса. 😂

Ох и душно тут со вчерашнего дня...

это всё из-за лиспа

сложно

Вот это сложно

как-то так

Впрочем, про машину Тьюринга я погорячился. ИППП НЕ Тьюринг-полное (полуразрешимое). А поскольку логика высшего порядка НЕ разрешимое, можно сказать, что доказательства в ней содержат "новую" информацию — а именно, "в какую сторону пойти", т.е. как устранить неразрешимость.

Ну ещё можно вспомнить вычислительную несводимость (computational irreducibility), которую, как я слышал, Стивен Вольфрам формализовал и доказал. С этой стороны ряд машин Тьюринга (и моделей попроще) порождают новую информацию в том смысле, что её нельзя заранее "предсказать", а можно только "обнаружить", пройдя все шаги вычисления до нужного.

А что сейчас со скалистами в СПБ?

Мероприятия бывают?

Что-то вспомнилось, как в соседней школе пионерская дружина носила имя Юрия Гарарина, и на видном месте висел большой стенд, один из разделов которого был озаглавлен "Что мы знаем о Гагарине" - вечно пустой.

Ожидал, что на плакате будет фраза "Прости, Юра, мы всё ..."

Сейчас, боюсь, дети могут думать, что Юрий Гагарин — муж или, там, папа Полины Гагариной...

Мы в дет саду думали, что Емельян Пугачёв — муж Аллы Пугачёвой

Всякое бывает, чо