Русский
Паблик ВК
Telegram Канал
Магазин
Обратная связь
18+
SE7EN.ws

теоремы

Создание математической библиотеки будущего

coq, Lean, mathlib, доказательства, теоремы
Небольшое сообщество математиков использует программу Lean для создания новой цифровой базы. Они надеются, что она обеспечит будущее их научной области. Ежедневно десятки математиков-единомышленников встречаются в чате Zulip, чтобы работать, как они считают, над созданием будущего их научной области. Все они…
Читать дальше

Насколько близко компьютеры подошли к автоматическому построению математических рассуждений?

автоматизация, доказательства, теоремы
Инструментарий искусственного интеллекта определяет форму автоматических доказывателей теорем нового поколения, а вместе с этим – и взаимоотношения математики и машин Говорят, что в 1970-е годы ныне почивший математик Пол Джозеф Коэн, единственный лауреат Филдсовской премии за работы по математической логике,…
Читать дальше

Учёные всегда будут доказывать теорему о распределении простых чисел

доказательства, простые числа, распределение простых чисел, теоремы
Почему математикам нравится доказывать один и тот же результат разными способами? Концентрация простых чисел, обозначенных жёлтыми точками на этой шестиугольной спирали из положительных целых чисел, уменьшается по мере удаления от начала числовой прямой. Эту много раз доказанную закономерность описывает теорема…
Читать дальше

Паблик ВКонтакте