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

этим базисам можно некоторыми способами задать количественные метрики, и тогда оказывается что обычно от 20 до 200 бит достаточно что бы сделать вообше всё что угодно.

это в сравнении с миллиардно бóльшей сложностью этих современных недо-ИИ.

https://googology.fandom.com/ ещё прикольный, тоже сплошная топология.

(Reply to this) (Thread)

этим базисам можно некоторыми способами задать количественные метрики, и тогда оказывается что обычно от 20 до 200 бит достаточно что бы сделать вообще всё что угодно.

Вините проклятое ООП.

https://googology.fandom.com/ ещё прикольный, тоже сплошная топология.

This is so cool

(Reply to this) (Parent) (Thread)

> This is so cool

https://cpb-us-w2.wpmucdn.com/u.osu.edu/dist/1/1952/files/2014/01/EnormousInt.12pt.6_1_00-23kmig3.pdf

пример 3 крутой: чистый матан

(Reply to this) (Parent)

Хрустальный Шар Харви Фридмана предсказывает останов любой не сильно длинной программы (сто состояний). Хватит, чтоб решить все гипотезы Римана, а также, чтоб ответить на вопрос Con(ZFC).
Верим шару или будем руками доказывать?

(Reply to this) (Parent)