LL
Хым, а на английской написано что с нуля
https://en.wikipedia.org/wiki/Peano_axioms
Size: a a a
2021 June 22
LL
В оригинальной формулировке без нуля
Всё-таки извиняйся
https://archive.org/details/arithmeticespri00peangoog/page/n22/mode/2up
Всё-таки извиняйся
https://archive.org/details/arithmeticespri00peangoog/page/n22/mode/2up
Aß
разные традиции, это как форма интеграла
LL
Про традиции я знаю, но аксиомы Пеано сформировал один-единственный человек, который Джузеппе Пеано
Aß
ну ладно, в Пеано с 1, но я не думаю что это причина появления индексов
Aß
скорее просто математическая традиция, которую деды-математики принесли с собой в алгол, паскаль
VV
яж там ссылку скинул
Aß
ссылка про ноль
VV
VV
а
VV
сорян
LL
Причина индексов с нуля это чисто удобство:
В С массивы-указатели, поэтому с нуля
В паскалях и пр. массивы с фиксированной длиной, которая в нулевом элементе, поэтому с единицы
В С массивы-указатели, поэтому с нуля
В паскалях и пр. массивы с фиксированной длиной, которая в нулевом элементе, поэтому с единицы
ŹR
С человеческой точки зрения не бывает нулевого элемента массива. Отсюда все и пошло.
А вот с точки зрения указателей чтобы получить i элемент нужно взять указатель и прибавить к нему размер элемента умноженное на i
А вот с точки зрения указателей чтобы получить i элемент нужно взять указатель и прибавить к нему размер элемента умноженное на i
VV
В первую очередь потому, что с точки зрения реализации понятие "индекса" элемента в непрерывном агрегате напрямую связано с понятием "смещения" элемента от начала агрегата в памяти.
VV
Другими словами, как ни верти, но индекс первого элемента в агрегате все равно придется пересчитывать в значение 0 на машинном уровне.
Aß
это у вас уже детали реализации протекают
Aß
в си массивы вообще не first class citizens, емнип
ŹR
А мы какбы не против. Просто надо относится не как к «элементу» массива а как к «смешению от начала массива»
AB
в паскале динамические массивы с нуля, статические - с произвольными натуральными индексами, строки - с единицы.