26 подписчиков
Математики выявили множество значений равенства в науке
В математике существует несколько понятий, которые порой трудно понять, но значение слова “равно” казалось нам очевидным. Однако математики не могут прийти к единому мнению относительно того, что делает две вещи равными, и это вызывает проблемы у компьютерных программ, которые проверяют математические доказательства.
Эта дискуссия длится десятилетиями, но недавно достигла пика, поскольку компьютерные программы, используемые для формализации доказательств, требуют четких и конкретных инструкций. Двусмысленные определения математических понятий создают трудности для машин, которые не могут учитывать контекст.
Британский математик Кевин Баззард из Имперского колледжа Лондона столкнулся с этой проблемой при сотрудничестве с программистами. Это заставило его пересмотреть определения “равенства”, чтобы “оспорить различные разумные трактовки”. В своем препринте на сервере…
Подробнее: https://sciencexxi.com/?p=33384
Около минуты
16 июня 2024