Много есть в природе "канонических записей" ;) Кроме бинарной системы, есть унарная. С такими - машине Тьюринга удобно работать.
1 == 1 11 == 2 111 == 3
В данном случае, удобней следущая: (0) == 0 ((0)+1) == 1 (((0)+1)+1) == 2
((0)-1) == -1
- Что такое "1"? - Да просто символ алфавита нашей системы счисления. Как и "0", "(" и ")" ;)
"других целых чисел нет."
Здесь подразумевается канон задания множества в вашей научной школе :) Её отношение к порядковым числам и прочие тонкости. Для меня, эта формулировка, мягко говоря - непривычна. Т.е., определяю я чётные числа, как делящиеся на двойку без остатка... и должен добавлять, что "других чётных чисел нет"? ;)
От классики я, разумеется, ушёл - вслед за хозяином днева. Ибо классика вводит целые числа после натуральных. Тогда их, в самом деле, стоит вводить именно именно как суммы и разности натуральных. А так - "своя рука - владыка" :-)
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
Re: Занудничаю
Date: 2009-04-04 06:00 pm (UTC)1 == 1
11 == 2
111 == 3
В данном случае, удобней следущая:
(0) == 0
((0)+1) == 1
(((0)+1)+1) == 2
((0)-1) == -1
- Что такое "1"?
- Да просто символ алфавита нашей системы счисления. Как и "0", "(" и ")" ;)
"других целых чисел нет."
Здесь подразумевается канон задания множества в вашей научной школе :) Её отношение к порядковым числам и прочие тонкости. Для меня, эта формулировка, мягко говоря - непривычна. Т.е., определяю я чётные числа, как делящиеся на двойку без остатка... и должен добавлять, что "других чётных чисел нет"? ;)
От классики я, разумеется, ушёл - вслед за хозяином днева. Ибо классика вводит целые числа после натуральных. Тогда их, в самом деле, стоит вводить именно именно как суммы и разности натуральных. А так - "своя рука - владыка" :-)