Комментарии 17
Раньше компьютеры эффективнее нас решали готовые задачи. Теперь они оказались лучше людей и в составлении гипотез.
Ученики занимались этими упражнениями по шесть часов в день, и профессор показал мне множество фолиантов, составленных из подобных отрывочных фраз; он намеревался связать их вместе и от этого богатого материала дать миру полный компендий всех искусств и наук; его работа могла бы быть, однако, облегчена и значительно ускорена, если бы удалось собрать фонд для сооружения пятисот таких станков в Лагадо и обязать руководителей объединить полученные ими коллекции.
Он сообщил мне, что это изобретение с юных лет поглощало все его мысли, что теперь в его станок входит целый словарь и что им точнейшим образом высчитано соотношение числа частиц, имен, глаголов и других частей речи, употребляемых в наших книгах.
Я принес глубочайшую благодарность этому почтенному мужу за его любезное посвящение меня в тайны своего великого изобретения и дал обещание, если мне удастся когда-нибудь вернуться на родину, воздать ему должное как единственному изобретателю этой изумительной машины, форму и устройство которой я попросил у него позволения срисовать на бумаге и прилагаю свой рисунок к настоящему изданию. Я сказал ему, что в Европе хотя и существует между учеными обычай похищать друг у друга изобретения, имеющий, впрочем, ту положительную сторону, что возбуждает полемику для разрешения вопроса, кому принадлежит подлинное первенство, тем не менее я обещаю принять все меры, чтобы честь этого изобретения всецело осталась за ним и никем не оспаривалась.
:: Джонатан Свифт. Путешествия Лемюэля Гулливера
"В сущности, это очень просто. Мы составляем список, который включит в себя все возможные имена бога." 9 миллиардов имён бога. Артур Кларк.
"Высоко над ними, тихо, без шума, одна за другой гасли звезды."
en.m.wikipedia.org/wiki/Tower_of_Hanoi
Чувство прекрасного у этой машины так себе. Я знаю, что цепные дроби вызывают у некоторых людей очарование, но я обычно содрогаюсь от мысли о размере формул, связанных с "суммированием в знаменателе".
А вот пример красоты (робот, где такое же?):
F + V = E + 2
Или вот:
e^ix = cos x + i sin x
Я раньше тоже содрогался от этих дробей и не понимал какое такое больное сознание их придумало. А вот недавно посмотрел видео от Mathologer и все стало на свои места и обрело смысл. https://youtu.be/WL_Yzbo1ha4
Лютый кликбейт, вся "статья" ради баннера в футере (впрочем, как и всегда в корпоративных блогах).
Вы бы хоть имели совесть не употреблять фразу "изобретение математики" для скрипта поиска цепных дробей. Но какая там совесть и уважение к математикам если на кону стоят просмотры, правда?
Машина Рамануджана не берет на себя доказательство гипотез.
А доказательства опять будут вида — " Я всё проверил, ошибок нет, мамой клянусь!"
Я всё проверил, ошибок нет,Могла бы быть потенциально смешная отсылка к «нелюбви» Рамануджана к формальным доказательствам, упоминавшаяся в том же «The Man Who Knew Infinity», если бы в конце не испортили указанием на его «близость» к жителям Кавказа.мамой клянусь!
Только если чисто с теории вероятности, что простая формула будет ошибаться в 50 знаке, вероятность встретить ее в жизни равно 0 :-)
Уж не помню кто из знаменитых рассказывал, что считали они сходимость вроде. Дошли до предела разрядности машины, а ряд не сходится, хотя в теории должен. И спасла их аналоговая машина. Оказалось что ряд начинает сходится где-то после 1800-го знака.
А вы говорите — 50-й…
Я понимаю что математикам надо рекламировать свою программу чтобы люди запускали ее у себя на компьютере. Но с каждой итерацией репостов заголовок всё желтее и желтее. Узко специализированная задача преподносится как ответ 42.
Ученые создали машину для изобретения математики