Size: a a a

2021 February 19

ТТ

Тык Тыдык in Haskell
И все плохо
источник

JS

Jerzy Syrowiecki in Haskell
Тык Тыдык
Ксж это тогда всеобщая ошибка. Втч производителей железа (
да, и от неё не изюавиться, можно только пытаться минимизировать ущерб
источник

AL

Alexander Luzgarev in Haskell
Тык Тыдык
Да :-)
Привести док-во?)

Ну и другие свойства есть. Бине-Коши. Ну или более тривиальные, вроде изменения знака или равенства нулю при линейной зависимости строк/столбцов
Думаю, доказательство использует ассоциативность умножения чисел
источник

ТТ

Тык Тыдык in Haskell
:pepe_sad:
источник

AL

Alexander Luzgarev in Haskell
Теорема тарского нам как бы намекает что равенство вещественных чисел undecidable
источник

ТТ

Тык Тыдык in Haskell
Alexander Luzgarev
Теорема тарского нам как бы намекает что равенство вещественных чисел undecidable
А можно чуть подробней или ссылку?
источник

ТТ

Тык Тыдык in Haskell
В смысле я верю, прост интересно разобраться
источник

MK

Maxim Koltsov in Haskell
Alexander Luzgarev
Теорема тарского нам как бы намекает что равенство вещественных чисел undecidable
для НАСТОЯЩИХ вещественных чисел
источник

MK

Maxim Koltsov in Haskell
которых в компьютерах не бывает
источник

JS

Jerzy Syrowiecki in Haskell
ух ты, float80 aka long double aka ten byte нет в стандарте https://en.wikipedia.org/wiki/IEEE_754
источник

JS

Jerzy Syrowiecki in Haskell
кстати, ко грехам IEEE 754 стоит добавить грехи реализации в 8087, когда результат цепочки действий зависит от того, вставил ли компилятор промежуточную выгрузку из сопроцессора (с точностью в 80 бит) в основную память размером в 32 или 64 бита
источник

AL

Alexander Luzgarev in Haskell
Maxim Koltsov
для НАСТОЯЩИХ вещественных чисел
Ну разумеется; а ненастоящие будут иметь понятно какие проблемы
источник

AL

Alexander Luzgarev in Haskell
Jerzy Syrowiecki
ух ты, float80 aka long double aka ten byte нет в стандарте https://en.wikipedia.org/wiki/IEEE_754
Есть, называется extended precision
источник

AL

Alexander Luzgarev in Haskell
То есть там конечно 79 бит, но всем понятно
источник

AL

Alexander Luzgarev in Haskell
Тык Тыдык
А можно чуть подробней или ссылку?
Ну про равенство это совсем тривиально; чуть менее тривиально что нельзя сложить два вещественных числа: первая же цифра результата зависит от знания бесконечного числа цифр слагаемых
источник

ТТ

Тык Тыдык in Haskell
Alexander Luzgarev
Ну про равенство это совсем тривиально; чуть менее тривиально что нельзя сложить два вещественных числа: первая же цифра результата зависит от знания бесконечного числа цифр слагаемых
Да, уже почитал, пасибо )
источник

ТТ

Тык Тыдык in Haskell
Но у нас то числа ограниченной точности 😉
То, о чём @maksbotan говорил.
источник

A

Andrey in Haskell
Alexander Luzgarev
Теорема тарского нам как бы намекает что равенство вещественных чисел undecidable
источник

A

Andrey in Haskell
Наоборот, теория вещественных чисел оказывается разрешимой
источник

A

Andrey in Haskell
Просто в ней не выразить предикат "быть натуральным числом", поэтому арифметику к ней не свести
источник