RB
а численные методы?
тоже. Это наборы базовых операции, которые обобщены в другие операции
Size: a a a
2021 March 03
RB
но эти операции были обобщены, а не созданы
А
да
А
в математике
ΑZ
ты прав, точка зрения "ваш полиморфизм не полиморфизм, настоящий только в крестах" очень интересна.
вполне. За исключением уникальной терминологии
ΑZ
что несколько раздражает но с этим можно жить
А
Roman Blog
а, ну у тебя своя вселенная где железяка умеет не только в арифметику?
вопрос не в том что умеет железяка умеет, а в том чтобы получить из этой железяки разумный ответ
ΑZ
Roman Blog
но эти операции были обобщены, а не созданы
есть мнение, что математика занимается изобретениями, а не открытиями
ΑZ
то есть шестеренка очевидно изобретение, формула байеса - тоже изобретение
А
есть мнение, что математика занимается изобретениями, а не открытиями
а есть мнение что наоборот
OA
что несколько раздражает но с этим можно жить
это я к тому, что тут какая-то цикличная демагогия вокруг терминологии
r
а численные методы?
Тут я с Романом согласен. Если найдут противоречие в аксиоматизации Пеано, то арифметика никуда не денется. Будут искать другую аксиоматизацию.
А
но это уже философия будет
RB
ты прав, точка зрения "ваш полиморфизм не полиморфизм, настоящий только в крестах" очень интересна.
Зачем ты врёшь? Я считаю кресты мусором. И тот полиморфизм, который я считаю полиморфизмом просто есть в крестах. Ты здесь уже пытаешься манипулировать и приписывать мне какое-то почитание крестов
А
red75prime
Тут я с Романом согласен. Если найдут противоречие в аксиоматизации Пеано, то арифметика никуда не денется. Будут искать другую аксиоматизацию.
в чём?
r
в чём?
В том, что арифметика не зависит от её аксиоматизации.
А
red75prime
В том, что арифметика не зависит от её аксиоматизации.
он не это говорил
А
он про аксиоматизацию вообще не говорил ничего
RB
есть мнение, что математика занимается изобретениями, а не открытиями
Изобретениями занимается инженерия, либо какая-то истественная наука, которая так же базируется на ней. Просто далее математика существует, которая является базовым языком формализации
RB
если бы мы все говорили на зимбабвийском, то мы так же начали считать, что язык он один