carrauntoohil

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

Подробнее:
Несколько лет назад появилось графическое доказательство рождественсокй теоремы ферма.
Простое число вида 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, но не разжевывает.

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

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

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

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

Calculus With Analytic Geometry.
George Simmons.

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


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