Исправление quasimoto, (текущая версия) :
Почему мимо:
>>> fib1(-2)
0
>>> fib2(-2)
-2
то есть доказательство о полукольце натуральных чисел с использованием PA никак не распространяется на кольцо целых — это нам нужно взять «ту же» программу и заменить в ней все числа и операции на другие (в питоне они перегружены), от другой структуры, естественно, что всякая эквивалентность может исчезнуть (в случае замены на фиксированную арифметику или плавающую — тоже).
Исходная версия quasimoto, :
Почему мимо:
>>> fib1(-2)
0
>>> fib2(-2)
-2
то есть доказательство о полукольце натуральных чисел с использованием PA никак не распространяется на кольцо целых — это нам нужно взять «ту же» программу и заменить в ней все числа и операции на другие (в питоне они перегружены), естественно, что всякая эквивалентность может исчезнуть (в случае замены на фиксированную арифметику или плавающую — тоже).