carrauntoohil

Рождественская теорема ферма и крылатые квадраты

Sat, 13 Jan 2024 09:23:12 GMT

Из коментариев в интернете:
Я ни на грамм не ферматист, но после ТАКИХ доказательств, как не начать допускать, что, может, и было у Ферма доказательство его Теоремы!

Подробнее:
Несколько лет назад появилось графическое доказательство рождественсокй теоремы ферма.
Простое число вида p=4k+1 представимо в виде суммы квадратов x^2+y^2
Автор доказательства Спивак Александр Васильевич.

Я не мог понять один момент в этом доказательстве
https://elementy.ru/nauchno-populyarnaya_biblioteka/436592/Rozhdestvenskaya_teorema_Ferma_i_Krylatye_kvadraty_Spivaka

пока не посмотрел вот это видео
https://youtu.be/DjI1NICfjOk?si=j2MKw6mSTdmkYm1A
то что мне было непонятно объясняется на 19:10. Крест может быть только один. если крест не один, то чиcло p не простое. ( x+4xz=x(1+4z) может простым только если x=1, во всех других случаях число раскладывается на множители)

Автор доказательства тоже указывает на этот факт в своём доказательстве.
https://youtu.be/PUH5IbDlpbs?si=riP8MDE71830srb_
на 6:30, но не разжевывает.

comments

Саватеев

Fri, 12 Jan 2024 21:47:55 GMT

Так как в моём "университете" ( в кавычках потому что учился я плохо и учили нас тоже плохо) теорию чисел нам не преподавали, решил я это дело освоить самостоятельно.
Шаг ноль в освении чего то нового у меня, это собирание максимального кол-ва источников. Поэтому накачал учебников и прошерстил youtube в поисках лекции.
Я очень люблю маленькие лекции Бориса Трушина. (https://youtu.be/JOzeL5rjv60?si=6N9dvicp7WYwhGeR)
Но у него по теории чисел очень мало.
Тогда я решил посмотреть Саватеева. (https://youtu.be/xDAjKyOsmy4?si=CM6vjPsq7iKQ3ByK)
И что то как то мне не зашло..... усложняет до безобразия.
Решил посмотреть, что про Саватеева пишут в интернетах и наткнулся на пост https://avva.livejournal.com/3445739.html
Я так красиво излагать не могу, но с автором поста полностью согласен.

comments

Algebra

Sat, 11 Nov 2023 21:31:20 GMT

Жаль что в университете мне алегбру не так преподавали....
https://youtu.be/BwHspSCXFNM?si=Ucv0obWYgQvvxAQQ
Интересно это профессиональная актриса или профессиональный математик....

PS.
Хотя аспирантки были на кафедре тервера очень интересные.... но так предоподавать они не умели )

comments

A companion booklet to ”Functional Programming in Scala”

Sun, 15 Oct 2023 16:53:40 GMT

Оказывается к Functional Programming in Scala есть дополнение 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/

И самое главное, что там есть ссылки на статьи и краткая историческая справка о происхождении учебных примеров из главной книги.

comments

Functional Programming in Scala

Fri, 13 Oct 2023 12:43:03 GMT

Читаю Functional Programming in Scala. Книга отличная. Ну это давно всем известно.
Возникает вопрос. Откуда у всей этой "красоты" ноги растут?
Например в главе "Purely functional state" главная идея: создание нового состояния из старого, вместо модификации старого. Идея хорошо понятна.
Но вот, как на основе этой идеи прийти к результатам последнего упражнения в этой главе?
"implement a finite state automaton that models a simple candy dispenser."

Я бы без посторонней помощи сам не додоумался. Да и что бы понять как это решено в книге мне пришлось хорошо поломать голову.
Возникает вопрос. Как до этого додумался автор книги? Возможно это применение каких то стандартных "шаблонов" из теории категорий или теории типов....
И как следствие главный вопрос. А где об этом можно почитать? Только статьи в различных журналах? Или есть хорошая книжечка, где "красота" разобрана подробно и с хорошими примерами?
Всем заранее большое спасибо за любую информацию.
Хорошего дня!

comments

Надо будет почитать

Thu, 06 Jul 2023 06:55:11 GMT

Type Theory and Formal Proof: An Introduction
Herman Guevers

https://www.amazon.de/-/en/Type-Theory-Formal-Proof-Introduction/dp/110703650X/ref=cm_cr_arp_d_product_top?ie=UTF8

На этого Автора я вышел из конспектов к этой лекции
https://www.lektorium.tv/lecture/13184

comments

Calculus

Thu, 30 Mar 2023 14:49:05 GMT

Calculus With Analytic Geometry.
George Simmons.

https://www.amazon.com/Calculus-Analytic-Geometry-George-Simmons/dp/0070576424

Хорошая книга. Очень всё разжёвано для "тупых". Как раз для меня. IMHO школьникам самоё оно.
Можно найти в сети.
К сожалению решений к упражнениям в сети нету.

comments

Мафия

Sun, 05 Dec 2021 12:26:17 GMT

Товарищ рассказал, как он поиграл в "Мафию".
После 10 минут мнут игры его интуиция задала ему вопрос "Что ты здесь делаешь?".
Для проверки он сыграл две игры, и был рад покинуть общство игры в "Мафию".

comments