tag:dreamwidth.org,2020-07-05:3665690 carrauntoohil carrauntoohil 2024-01-13T09:24:53Z tag:dreamwidth.org,2020-07-05:3665690:2463 2024-01-13T09:23:12Z 2024-01-13T09:24:53Z public 1 Из коментариев в интернете:<br />Я ни на грамм не ферматист, но после ТАКИХ доказательств, как не начать допускать, что, может, и было у Ферма доказательство его Теоремы!<br /><br />Подробнее:<br />Несколько лет назад появилось графическое доказательство рождественсокй теоремы ферма.<br />Простое число вида p=4k+1 представимо в виде суммы квадратов x^2+y^2<br />Автор доказательства Спивак Александр Васильевич.<br /><br />Я не мог понять один момент в этом доказательстве <br /><a href="https://elementy.ru/nauchno-populyarnaya_biblioteka/436592/Rozhdestvenskaya_teorema_Ferma_i_Krylatye_kvadraty_Spivaka">https://elementy.ru/nauchno-populyarnaya_biblioteka/436592/Rozhdestvenskaya_teorema_Ferma_i_Krylatye_kvadraty_Spivaka</a><br /><br />пока не посмотрел вот это видео<br /><a href="https://youtu.be/DjI1NICfjOk?si=j2MKw6mSTdmkYm1A">https://youtu.be/DjI1NICfjOk?si=j2MKw6mSTdmkYm1A</a><br />то что мне было непонятно объясняется на 19:10. Крест может быть только один. если крест не один, то чиcло p не простое. ( x+4xz=x(1+4z) может простым только если x=1, во всех других случаях число раскладывается на множители)<br /><br />Автор доказательства тоже указывает на этот факт в своём доказательстве.<br /><a href="https://youtu.be/PUH5IbDlpbs?si=riP8MDE71830srb_">https://youtu.be/PUH5IbDlpbs?si=riP8MDE71830srb_</a><br />на 6:30, но не разжевывает.<br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=carrauntoohil&ditemid=2463" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments tag:dreamwidth.org,2020-07-05:3665690:2055 2024-01-12T21:47:55Z 2024-01-12T21:47:55Z public 4 Так как в моём "университете" ( в кавычках потому что учился я плохо и учили нас тоже плохо) теорию чисел нам не преподавали, решил я это дело освоить самостоятельно.<br />Шаг ноль в освении чего то нового у меня, это собирание максимального кол-ва источников. Поэтому накачал учебников и прошерстил youtube в поисках лекции. <br />Я очень люблю маленькие лекции Бориса Трушина. (<a href="https://youtu.be/JOzeL5rjv60?si=6N9dvicp7WYwhGeR">https://youtu.be/JOzeL5rjv60?si=6N9dvicp7WYwhGeR</a>)<br />Но у него по теории чисел очень мало.<br />Тогда я решил посмотреть Саватеева. (<a href="https://youtu.be/xDAjKyOsmy4?si=CM6vjPsq7iKQ3ByK">https://youtu.be/xDAjKyOsmy4?si=CM6vjPsq7iKQ3ByK</a>)<br />И что то как то мне не зашло..... усложняет до безобразия.<br />Решил посмотреть, что про Саватеева пишут в интернетах и наткнулся на пост <a href="https://avva.livejournal.com/3445739.html">https://avva.livejournal.com/3445739.html</a><br />Я так красиво излагать не могу, но с автором поста полностью согласен.<br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=carrauntoohil&ditemid=2055" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments tag:dreamwidth.org,2020-07-05:3665690:2037 2023-11-11T21:31:20Z 2023-11-11T21:31:20Z public 2 Жаль что в университете мне алегбру не так преподавали....<br /><a href="https://youtu.be/BwHspSCXFNM?si=Ucv0obWYgQvvxAQQ">https://youtu.be/BwHspSCXFNM?si=Ucv0obWYgQvvxAQQ</a><br />Интересно это профессиональная актриса или профессиональный математик....<br /><br />PS.<br />Хотя аспирантки были на кафедре тервера очень интересные.... но так предоподавать они не умели )<br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=carrauntoohil&ditemid=2037" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments tag:dreamwidth.org,2020-07-05:3665690:1705 2023-10-15T16:53:40Z 2023-10-15T16:53:40Z public 1 Оказывается к Functional Programming in Scala есть дополнение A companion booklet to ”Functional Programming in Scala”.<br /><a href="http://blog.higher-order.com/blog/2015/03/06/a-companion-booklet-to-functional-programming-in-scala/">http://blog.higher-order.com/blog/2015/03/06/a-companion-booklet-to-functional-programming-in-scala/</a><br /><br />И самое главное, что там есть ссылки на статьи и краткая историческая справка о происхождении учебных примеров из главной книги.<br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=carrauntoohil&ditemid=1705" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments tag:dreamwidth.org,2020-07-05:3665690:1360 2023-10-13T12:43:03Z 2023-10-13T12:43:03Z public 4 Читаю Functional Programming in Scala. Книга отличная. Ну это давно всем известно.<br />Возникает вопрос. Откуда у всей этой "красоты" ноги растут?<br />Например в главе "Purely functional state" главная идея: создание нового состояния из старого, вместо модификации старого. Идея хорошо понятна.<br />Но вот, как на основе этой идеи прийти к результатам последнего упражнения в этой главе?<br />"implement a finite state automaton that models a simple candy dispenser."<br /><br />Я бы без посторонней помощи сам не додоумался. Да и что бы понять как это решено в книге мне пришлось хорошо поломать голову.<br />Возникает вопрос. Как до этого додумался автор книги? Возможно это применение каких то стандартных "шаблонов" из теории категорий или теории типов....<br />И как следствие главный вопрос. А где об этом можно почитать? Только статьи в различных журналах? Или есть хорошая книжечка, где "красота" разобрана подробно и с хорошими примерами?<br />Всем заранее большое спасибо за любую информацию.<br />Хорошего дня!<br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=carrauntoohil&ditemid=1360" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments tag:dreamwidth.org,2020-07-05:3665690:1104 2023-07-06T06:55:11Z 2023-07-06T06:55:11Z public 2 Type Theory and Formal Proof: An Introduction <br />Herman Guevers<br /><br /><a href="https://www.amazon.de/-/en/Type-Theory-Formal-Proof-Introduction/dp/110703650X/ref=cm_cr_arp_d_product_top?ie=UTF8">https://www.amazon.de/-/en/Type-Theory-Formal-Proof-Introduction/dp/110703650X/ref=cm_cr_arp_d_product_top?ie=UTF8</a><br /><br />На этого Автора я вышел из конспектов к этой лекции<br /><a href="https://www.lektorium.tv/lecture/13184">https://www.lektorium.tv/lecture/13184</a><br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=carrauntoohil&ditemid=1104" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments tag:dreamwidth.org,2020-07-05:3665690:577 2023-03-30T14:49:05Z 2023-03-30T14:49:05Z public 7 Calculus With Analytic Geometry.<br />George Simmons.<br /><br /><a href="https://www.amazon.com/Calculus-Analytic-Geometry-George-Simmons/dp/0070576424">https://www.amazon.com/Calculus-Analytic-Geometry-George-Simmons/dp/0070576424</a><br /><br /><br />Хорошая книга. Очень всё разжёвано для "тупых". Как раз для меня. IMHO школьникам самоё оно.<br />Можно найти в сети.<br />К сожалению решений к упражнениям в сети нету.<br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=carrauntoohil&ditemid=577" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments tag:dreamwidth.org,2020-07-05:3665690:363 2021-12-05T12:26:17Z 2021-12-05T12:26:17Z public 1 Товарищ рассказал, как он поиграл в "Мафию". <br />После 10 минут мнут игры его интуиция задала ему вопрос "Что ты здесь делаешь?".<br />Для проверки он сыграл две игры, и был рад покинуть общство игры в "Мафию".<br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=carrauntoohil&ditemid=363" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments