Почему 2+2=4? Самое доступное и простое объяснение для начальной школы
Слушай сюда, юный падаван. Чтобы доказать утверждение 2+2=4, нам придется отказаться от интуитивного понимания чисел и спуститься на уровень аксиоматики Пеано и теоретико-множественного построения натуральных чисел по фон Нейману. То, что ты называешь "два", на самом деле является кардинальным числом множества, содержащего два элемента. Но что такое число? В системе Цермело-Френкеля мы определяем ноль как пустое множество. Единицу мы определяем как множество, содержащее пустое множество. Двойку -- как множество, содержащее ноль и единицу.
Теперь введем понятие функции следования, обозначим ее как S(x). Эта функция ставит в соответствие каждому числу x следующее за ним число x + 1. Таким образом, мы постулируем, что 1 = S(0), 2 = S(1), 3 = S(2) и 4 = S(3). Это база. Без нее мы никуда не сдвинемся.
Далее нам нужно строго определить операцию бинарного сложения (+) на множестве натуральных чисел. Сложение определяется рекурсивно через два фундаментальных условия. Первое: для любого числа x справедливо, что x + 0 = x. Это нейтральный элемент. Второе: для любых чисел x и y справедливо, что x + S(y) = S(x + y). Это шаг индукции.
Теперь, когда у нас есть инструментарий, приступаем к доказательству. Нам нужно вычислить сумму 2 + 2.
Разложим второе слагаемое, используя определение функции следования. Мы знаем, что 2 -- это S(1). Значит, наше выражение принимает вид 2 + S(1).
Используем второе правило сложения: x + S(y) = S(x + y). Выносим оператор следования за скобки. Получаем S(2 + 1).
Теперь нам нужно разобраться с тем, что внутри скобок, то есть с 1. Мы знаем, что 1 -- это S(0). Подставляем это внутрь. Наше выражение превращается в S(2 + S(0)).
Снова применяем второе правило сложения для внутренней части. Выносим еще один оператор S наружу. Теперь у нас получается конструкция вида S(S(2 + 0)).
Здесь вступает в игру первое правило сложения: x + 0 = x. Значит, 2 + 0 равно просто 2. Упрощаем выражение и получаем S(S(2)).
Осталось только интерпретировать результат, разворачивая определения обратно. Мы знаем, что S(2) -- это следующее число за двойкой, то есть 3. Наше выражение превращается в S(3). А S(3), согласно определению функции следования, есть число, следующее за тройкой. То есть 4.
Опираясь на аксиомы индукции и рекурсивное определение арифметических операций, мы неопровержимо доказали изоморфизм между операцией объединения двух множеств мощности два и множеством мощности четыре.
Я один прочитал это с интонацией?
Ответ RzhavyjVerstak в «Рыночек пришёл и порешал»5
Начну с того, что я полностью солидарен с большинством и считаю Автоваз говно заводом и выпускающая говно машины. Это факт... С этим я думаю глупо спорить.
Но в тоже время я понимаю, что закрытие Автоваза приведёт к таким серьёзным проблемам, которые будут расхлёбывать люди голосующие за закрытие завода. Много раз я писал в комментариях, что в целом на Автоваз работает около миллиона людей. Но люди смеются, говорят там всего работает 50 тысяч.
Начнём с того, что по сути в мире нет автомобильных заводов полного цикла. Как правило завод это инженеры и сборочный цех, но ведь мы не можем собрать машину из воздуха. Для этого как правило есть подрядчики.
Сам завод автоваза, который находится в Тольятти, его филиал в Ижевске имеет в общей сложности около 50 тысяч работников, которые занимаются разработкой и сборкой. В целом это не много, хотя это тоже люди.
«За 2024 год команда АвтоВАЗа увеличилась ещё на 2,5 тысячи сотрудников — до 37 тысяч. А в целом в Группе АвтоВАЗ сегодня работают уже более 47 тысяч сотрудников», — сообщил глава Волжского автозавода.
Но, помимо прочего что мы ещё имеем:
Сейчас среди наших партнеров более 1650 поставщиков. Там работают около полумиллиона человек. рассказал Максим Соколов президент АВТОВАЗа в интервью
Из них около 170 предприятий располагаются в Петербурге. Об этом сообщил ТАСС губернатор города Александр Беглов.
Ещё цитата от 2024 года
Напомним, в конце 2023 года пул поставщиков АВТОВАЗа насчитывал около 500 партнеров, осуществляющих прямые поставки на конвейер, а также еще более 1400 субпоставщиков. Суммарно компонентная отрасль, работающая в интересах АВТОВАЗа, формировала около 1 миллиона рабочих мест.
И это только то, кто работает непосредственно на то, чтобы производить новые авто. И теперь мы представим, что мы сворачиваем всё производство, налетают фирмы, которые производят АКБ, резинки, уплотнители, фильтра, навесное какое-то оборудование, электроника...
Допустим компания АКОМ, которая в целом делает замечательные аккумуляторы, они процентов 80% всей своей продукции поставляют на конвейеры автоваза.
"Энгельс Свечи зажигания", который раньше принадлежал бошу, по сути нацелен только на автоваз.
ТЗА, которые помпы делает.
Многие производства, находящиеся в Тольятти работают на автоваз. Ну закроем основное предприятия, на котором работает 50 тысяч, и следом все такие подрядчики закроются тоже.
Помимо прочего на машину ещё нужен металл, который тоже кто-то производит. А теперь посчитаем логистику, чтобы всё это привезти и увезти куда надо. Тут я даже не представляю сколько логистических цепочек работает.
Хорошим, допустим СМИ врут и прочее... Пусть не миллион, пусть тысяч 600-700 людей работают на производство новых авто.
Но у нас есть ещё предприятия, которые делают (привозят) аналоги, для поддержания БУ машин. Например Luzar, Lecar.... которые занимаются производством помп, грм и прочего.
Ну да, мы сейчас можем закрыть всё, и рынок конечно всё порешает, за счёт нас. Высвободится такая куча свободных рук, которая будет готова работать за копейки, потому что у них дети, кредиты, ипотека... Вот вам и очередь за забором.









