AL
Ну вот кстати подробнее про что-то на эту тему: https://dmitri-pavlov.livejournal.com/12428.html
Size: a a a
2021 March 21
O
В бытовом применении вроде нет минусов нуля как натурального числа. Ну мне так кажется.
натуральные используют для счёта предметов. покажите мне 0 яблок. they have played us for absolute fools!
t
натуральные используют для счёта предметов. покажите мне 0 яблок. they have played us for absolute fools!
вот же они, положила
MZ
Хмм, а когда нет предметов, это сколько предметов?
A
в какой-то игре давным давно была встроенная карточная система и там были масти и номиналы, причем среди номиналов было 0. Naught of crosses например.
MZ
вот же они, положила
Это про гвозди, они правда были. Проще представить, что отрицатель нуля должен мне несколько предметов. Точнее ни одного, но он это не сможет выразить, придется отдавать хотя бы один.
t
плоскоземельщики, отрицатели нуля... что дальше?
O
должен Nothing, вместо Just 1
MZ
должен Nothing, вместо Just 1
В натуральных числах такого нет.
O
вот именно! как и нуля
MZ
Отдавайте мне один предмет, долг все таки.
O
вы тоже отдайте, у нас взаимный долг
MZ
Проникся, принимайте в отрицатели нуля.
O
окей, тогда можно вот так https://en.wikipedia.org/wiki/Church_encoding#Signed_numbers
кстати хорошо укладывается в это
t
кстати хорошо укладывается в это
тут как раз ноль есть
t
если оба значения в паре одинаковые, то вот он ноль
O
ага, и отрицательное количество яблок
AL
окей, тогда можно вот так https://en.wikipedia.org/wiki/Church_encoding#Signed_numbers
Это же группа Гротендика
t
>показывает реализацию знаковых чисел
>возмущается, что они могут быть отрицательными
>возмущается, что они могут быть отрицательными
t
Это же группа Гротендика
звучит, как что-то из Гарри Поттера