Найти тему
26 подписчиков

Математики выявили множество значений равенства в науке


В математике существует несколько понятий, которые порой трудно понять, но значение слова “равно” казалось нам очевидным. Однако математики не могут прийти к единому мнению относительно того, что делает две вещи равными, и это вызывает проблемы у компьютерных программ, которые проверяют математические доказательства.

Эта дискуссия длится десятилетиями, но недавно достигла пика, поскольку компьютерные программы, используемые для формализации доказательств, требуют четких и конкретных инструкций. Двусмысленные определения математических понятий создают трудности для машин, которые не могут учитывать контекст.

Британский математик Кевин Баззард из Имперского колледжа Лондона столкнулся с этой проблемой при сотрудничестве с программистами. Это заставило его пересмотреть определения “равенства”, чтобы “оспорить различные разумные трактовки”. В своем препринте на сервере…

Математики выявили множество значений равенства в науке  В математике существует несколько понятий, которые порой трудно понять, но значение слова “равно” казалось нам очевидным.
Около минуты