Воробей-самец кормит своего птенца. В это время к нему подлетают трое посторонних ворбьев, уже весьма взрослых и несколько даже поряпанных, в переводе на наш профиль - бородатых. И начинают делать характерные движения, дрожать крыльями, выпрашивая корм
(
Read more... )
Reply
"- Значит, доказал-таки?
Семён вопросительно поглядел на застенчиво улыбающегося Андрюшу. Тот утвердительно развел руками и молча показал на экран. Семён разлил еще по одной.
- Максимальная общность..., задумчиво, практически про себя, прошептал он, когда мужики опрокинули по полтиннику. - Значит, твоя программа сама сформулировала и доказала не только самую главную теорему математики, но и сам факт, что она - самая главная, так?
- Да. Вот понять бы когда-нибудь, хоть в общих чертах, о чем она... Восемьсот триллионов предикатов в доказательстве, словестный транслятор формулировки уже второй месяц работает, пока выдал 11 миллиардов страниц текста.
Вздохнув, Андрюша протянул товарищу случайную страницу, валяющуюся на столе, усыпанном хлебными крошками.
- Вот одна какая-то из первого миллиона.
Сёма стал читать: "Обозначения и определения, стр. 692.505. Обозначение 000007899.23д.7.53333: Пусть х - маркер типа в пространстве переходов от гомотопоидной теории класса 32 в подпространство типов, удовлетворяющих иерархическим построениям в соотв. с определением 000007091.07и.3.00405. Пространство мер на нечетких категориях, индуцированных отображением..."
Сёма остановился и отпил кока-колы из банки.
- Так что это теорема, из которой следует всё, что можно в принципе доказать, правильно я понимаю?
- В принципе, да, ответил Андрей, у этой теоремы есть такой короллар; кстати, быстро доказался, за два дня. Андрей кивнул в сторону открытой двери в бывшее стоило, где многочисленными огоньками мигал сервер.
- Жужжит, как сумасшедший, - почти с ненавистью добавил парень.
Семён вышел в сени и натянул валенки. Пройдя через заснеженный двор, он со скрежетом распахнул просевшую дверь в толчок. Он смотрел, как густой пар поднимался в сумраке от его струи, и в глазах его была какая-то грусть. Над деревней стояла торжественная тишина, и только порывы ночного ветра доносили из лесу обрывки весёлого собачьего лая."
https://prosto-vitjok.livejournal.com/319915.html
Reply
Тем не менее, все эти PhD до добра нас не доведут! ))
Reply
Reply
Leave a comment