История изменений
Исправление quasimoto, (текущая версия) :
существуют. НЕ все.
Какое негодное у тебя IRL, даже натуральных чисел толком нет :)
Никто не дал тебе право обобщать твоё «обычно» на всё.
Ну так примеры когда они велики — в студию.
Ты неявно пользуешься аксиомами Пеано, и правильно ведь делаешь, ибо числа в питоне составляют кольцо
Натуральные числа не составляют кольца. Так что с Пеано мимо (хотя я их использовал и даже вполне явно).
Другое, не такое как обычное кольцо, но если не приближаться к модулю, то разницы нет.
Нет там никакого модуля — как статически доказать эквивалентость двух произвольных алгоритмов (комментарий).
В этом, одном из 3.5 тривиальных случаев
http://toccata.lri.fr/gallery/index.en.html — явно > 3.5, и это только одна конкретная ссылка.
Исходная версия quasimoto, :
существуют. НЕ все.
Какое негодное у тебя IRL, даже натуральных числом толком нет :)
Никто не дал тебе право обобщать твоё «обычно» на всё.
Ну так примеры когда они велики — в студию.
Ты неявно пользуешься аксиомами Пеано, и правильно ведь делаешь, ибо числа в питоне составляют кольцо
Натуральные числа не составляют кольца. Так что с Пеано мимо (хотя я их использовал и даже вполне явно).
Другое, не такое как обычное кольцо, но если не приближаться к модулю, то разницы нет.
Нет там никакого модуля — как статически доказать эквивалентость двух произвольных алгоритмов (комментарий).
В этом, одном из 3.5 тривиальных случаев
http://toccata.lri.fr/gallery/index.en.html — явно > 3.5, и это только одна конкретная ссылка.