(←) предыдущая запись ; следующая запись (→)
Есть известное высказывание: «Если что-то ходит как утка и крякает как утка, то это утка».
Этот принцип по разному преломляется и активно применяется в разных областях.
Скажем, байесианцы (а на самом деле просто люди со здравым смыслом) могли бы сказать, что после наших наблюдений за объектом, апостериорная вероятность того, что это утка, мало отличается от единицы.
То же самое сказал бы суд, если аргументы следствия его убедили: если сделка выглядит как коррупция и пахнет как коррупция, вероятно, это коррупция.
Программисты используют это выражение в совсем другом смысле: в некоторых языках есть понятие duck typing. Это такой способ типизации переменных, при котором мы не обязаны требовать, чтобы переменная содержала утку, чтобы попросить её покрякать. Нас устроит любой объект, который крякает. Резиновый тапочек тоже подойдет.
Математики пошли ещё чуть дальше. Если программистам до поры до времени не важно, как утка устроена внутри, то математикам порой вообще не интересно, существует ли у утки внутренняя структура. Они говорят, что любой объект, который крякает называется уткой. С точки зрения математика резиновый тапочек является уткой. Иногда, чтобы не смущать читателя, добавляют «с точностью до изоморфизма», но вообще говоря, это лишняя приписка: в математике всё исследуется с точностью до изоморфизма. То есть прежде чем с уткой работать, они дают ей определение.
Математики вообще пытаются дать определения всему. Например, единице. Они говорят: мы не знаем, что такое единица, поэтому назовём уткой единицей такой объект, что …
Да, математики настолько психи.
Мне, кстати, нравятся определения единицы.
В арифметике единица — это класс эквивалентности всех подмножеств пустого множества.
В алгебре единица — это такой объект, что при умножении на него любого другого объекта, мы получаем исходный объект.
Кстати, обратите внимание, что в алгебре прямо как при duck typing объект определяется через операции над ним, а не наоборот. Операции первичны.
Upd: А.З. добавил ссылку на хабрапост про зубодробительное определение единицы