как-то нынче поживает изобретатель Артем Фучко

Замечали ли вы, что дата вашего рождения, номер автомобиля имеет однозначную сумму цифр числа (ОСЦЧ), которую можно подсчитать совершенно разными путями.

 

 В мае 2013 года Артем направил свою «Теорию однозначной суммы цифр числа (ОСЦЧ)» в Государственную службу интеллектуальной собственности Украины. Студенту удалось доказать свой приоритет – теория была зарегистрирована 4 сентября 2013 года, а Артем Фучко получил соответствующее свидетельство об авторском праве.

На вопрос о возможном практическом применении теории Артем ответил, что уже сегодня она может использоваться в таких популярных областях, как, например, астрология, нумерология, которыми интересуется масса людей, в том числе, и серьезных ученых.

типизированная арифметика

Короче, когда какой-то там харьковский студент складывает цифры года рождения и цифры с номера машины, он делает для себя открытие, что цифры не типизированы. Так-то по жизни пять рублей и пять бутылок - очень даже разные вещи. Это для классических логиков один доллар и один доллар - это один доллар; в линейной логике уже не так. Сложить же одно яблоко и один город... ну это только у программистов получается. Потому что программисты на питоне программируют, а там типов, считай, нету.

А вот в типизированой лямбде - оно как у первобытных людей. И как у японцев, кстати, у которых нельзя одни и те же числительные применять для полных стаканов и для пустых, для рыбы в море и для рыбы в лодке, или рыбы на прилавке. 

Короче, иной раз приоткрываются глаза на мышление людей. И тут же закрываются - лучше б я их и не видел.