Помощь      Поиск      Участники      Календарь      Новости
 Учебные Материалы      ВАЛтест     Фотогалерея Фотогалерея
 Правила форума      Виртуальные тренажеры      Мемуары


  Reply to this topicStart new topicStart Poll

> (2019) With Category Theory, Mathematics Escapes, From Equality
Подписка на тему | Сообщить другу | Версия для печати
VAL
Дата 26.01.2020 12:53
Quote Post
Offline



Мэтр, проФАН любви... proFAN of love
*****

Профиль
Группа: Администраторы
Сообщений: 38049
Пользователь №: 1
Регистрация: 6.03.2004
(2019) With Category Theory, Mathematics Escapes From Equality
Источник: https://www.quantamagazine.org/with-categor...ality-20191010/

QUOTE
Two monumental works have led many mathematicians to avoid the equal sign. Their goal: Rebuild the foundations of the discipline upon the looser relationship of “equivalence.” The process has not always gone smoothly.


QUOTE
Заложение фундамента понимания

Что, если знак равенства – основа всей математики – был всего лишь ошибкой? Все большее число математиков, возглавляемых отчасти Якобом Лурье из Института Перспективных Исследований, хотят переписать науку, заменив «равенство» более свободным языком «эквивалентности». «Сегодня основы математики строятся на наборах объектов, называемых множествами, но десять лет назад несколько математиков начали работать с более универсальными группами, называемыми категориями, которые передают больше информации, чем наборы и отражают больше возможных отношений, чем «равенство». С 2006 года Лурье опубликовал более тысячи страниц математической теории о том, как перевести современную математику на язык теории категорий.

См.:
- https://habr.com/ru/company/otus/blog/485342/


--------------------
www.valinfo.ru
Всегда... Always....
Quod licet jovi, non licet bovi!
PMEmail PosterUsers Website
Top
1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | Азбука наноэлектроники | Следующая тема »

Topic Options Reply to this topicStart new topicStart Poll

 

Powered by Invision Power Board(U) v1.3 Final © 2003  IPS, Inc.
Установка, модификация и поддержка:
Barsum | 1px Design Group & Xac | OппаRU форум