Как умение математиков работать с абстракциями выглядит в глазах программистов
- Мы можем ввести натуральные числа при помощи операции «следующее число», которую обозначим как s. Таким образом, любое натуральное число может быть записано как s(s(s(…))). Это называется «аксиоматика Пеано»…
- А зачем это всё нужно?
- Ну как же?! Это подводит аксиоматическую основу под всю математику, поэтому это очень важно. Кроме того, благодаря таким концепциям у людей развивается абстрактное мышление, позволяющее им находить общее между самыми разными вещами. Без этой способности человек не сможет стать чем-то кроме посредственности…
- Ок. А знаете, вы сейчас ввели натуральные числа как Iterable-объект. Вообще говоря, со списком чего угодно тоже ведь можно так же.
- Вот сейчас вы какую-то херню сказали. Совсем математику не понимаете.
- А зачем это всё нужно?
- Ну как же?! Это подводит аксиоматическую основу под всю математику, поэтому это очень важно. Кроме того, благодаря таким концепциям у людей развивается абстрактное мышление, позволяющее им находить общее между самыми разными вещами. Без этой способности человек не сможет стать чем-то кроме посредственности…
- Ок. А знаете, вы сейчас ввели натуральные числа как Iterable-объект. Вообще говоря, со списком чего угодно тоже ведь можно так же.
- Вот сейчас вы какую-то херню сказали. Совсем математику не понимаете.