Чтобы, по просьбе Келла, проверить его новую сбербанковскую карту, я попробовал перевести на неё сто рублей со своей сбербанковской карты. Банкомат, зараза, отказался это сделать и так внятно и не объяснил, в чём проблема.
Проблема, быть может, — в моей карте, подумал я: раньше я уже пробовал переводить с неё деньги, но тоже безуспешно. Успешно переводили деньги только мне.
Тогда мне пришло в голову проверить «переводоспособность» своей карты, переведя эти сто рублей с неё на неё же.
Получилось!
Моё уважение к Сбербанку в целом и к тому банкомату лично увеличилось настолько, насколько оно уменьшилось от предыдущего неудачного перевода; а может, и больше.
Во-первых, молодцы программисты. Не забыли про меня.
Во-вторых, появилась математическая надежда на то, что сбербанковские карты эквивалентны между собой в том смысле, что, какие бы три сбербанковских карты ни взять (скажем, мою, Келла и Мистера Синистера), для них выполняются такие условия:
- Рефлексивность: Я могу перевести деньги самому себе.
- Симметричность: Если я могу перевести деньги Келлу, то Келл может перевести деньги мне.
- Транзитивность: Если я могу перевести деньги Келлу, и если Келл может перевести деньги Мистеру Синистеру, то я могу перевести деньги Мистеру Синистеру.
Пример эквивалентности из математики — отношение равенства: какие бы числа a, b и c ни взять, для них всегда выполняются все три условия:
- Рефлексивность: a равно a.
- Симметричность: Если a равно b, то и b равно a.
- Транзитивность: Если a равно b, и если b равно c, то a равно c.
Рефлексивность зачастую проверить легче всего, но (поэтому?) про неё легче всего забыть — в математическом ли доказательстве или в программе для банкомата.
Приятно, что не забыли. Сбербанк оказался рефлексивным. Осталось проверить остальные два условия; для этого мне всего лишь нужны все карты Сбербанка.
Google AdSense (вернее, тем, кто продвигает себя через него) палец в рот не клади: математику не заметили, но зато полезла куча рекламы про кредитные карты.
ReplyDelete