среда, 27 января 2021 г.

В книге С. Клини "Введение в метаматематику" 1957 г. встретилась совершенно диссидентская глава, связанная несомненно с деятельностью переводчика :

"Устранение равенства"

на

Комментариев нет:

Отправить комментарий

Подписаться на: Комментарии к сообщению (Atom)

Математика Извне

Высшее Смешанное Интеллектуальное Училище "Математика Извне" сообщает, что в связи с большим количеством кандидатов, вступительные...

  • (без названия)
    Судебная коммисия лишила награды робота, занявшего первое место в мировом чемпионате по тетрису, поскольку он оказался замаскированным челов...