Если гипотеза доказана, она становится теоремой. Тогда математики празднуют победу разума, добавляя фрагмент в мозаику познанной вселенной. Почему математики? Потому, что матан из homo создал sapiens. Теперь sapiens создаёт совершенный искусственный интеллект. Логично, что такой интеллект объявит людям войну на всех фронтах. И опять придётся брать страшный интеграл вручную. Создать прогу, заставляющую компьютеры решать интегралы за нас. Чтобы создать самостоятельный интеллект.. Это репит для фантастики и эсхатологии религий.
Кста, «матана» (מתנה) — «подарок», знак кошеrности в понимании бесконечности.Однако, математики реалистичней. Матан различает множество бесконечностей, где одна может быть больше другой. Следовательно, между «искусственным интеллектом» и оригиналом бесконечность. Ибо человеческое мышление принципиально неалгоритмизируемо.
.. алго .. ритмизируемо - морфемы какие-то искусственные!