Теоремы Гёделя
Существует ли Бог? Это вопрос особого рода, поскольку в нём неопределён сам объект. У нас нет точного определения, что такое Бог. Поэтому, задавая этот вопрос, мы надеемся получить ответ на то, что представляет собой Бог. Однако можно сформулировать более общий и упрощённый вопрос: является ли наша система знаний самодостаточной, или для её описания необходимо что-то, находящееся за пределами нашего понимания?
На этот вопрос уже существует ответ. В 1931 году Курт Гёдель сформулировал первую и вторую теоремы о неполноте. Первая теорема Гёделя о неполноте гласит, что в непротиворечивой формальной системе существуют истинные утверждения, которые невозможно доказать внутри этой системы. Вторая теорема о неполноте утверждает, что для описания любой формальной системы недостаточно её собственных терминов.
Таким образом, теоремы Гёделя уже отвечают на вопрос о существовании Бога: да, Бог существует. Без Бога наша система знаний неполна.
Но теперь возникает уточнение: где он существует? Согласно Гёделю, Бог существует не в нашей реальности — или, точнее, не только в ней.
В лесу родилась ёлочка
Близится новый год, а значит нужно послушать какую-нубудь новогодную песенку, как насчет этой?
Ой, я кажется ошибся, оказывается это гимн Микронезии....
"Patriots of Micronesia" ("Патриоты Микронезии"), также известная как "Across all Micronesia" ("По всей Микронезии"), является государственным гимном Федеративных Штатов Микронезии. Законопроект о том, чтобы сделать "Патриоты Микронезии" национальным гимном, был внесен в 1987 году, и гимн был принят в 1991 году, заменив "Preamble" ("Преамбула"), государственный гимн, использовавшийся с момента обретения независимости в 1979 году. В качестве мелодии используется мелодия немецкой студенческой песни "Ich hab' mich ergeben" со словами Ханса Фердинанда Массманна (Hans Ferdinand Massmann), также известная как "Wir hatten gebauet ein stattliches Haus", со словами Августа Даниэля фон Бинцера (August Daniel von Binzer), которая также была одним из неофициальных национальных гимнов Западной Германии в 1949-1952 годах. Слова песни также в значительной степени основаны на переводе "Ich hab' mich ergeben".
Нужно будет спеть "в лесу родилась ёлочка" своим немецким коллегам, уверен им понравится...
Масяня. Эпизод 178. Река Смородина
Куваев выпустил новую Масяню.
Здорово, что Олег использует свой ресурс для того чтобы достучаться до людей, сделать мир чуточку лучше. Респект ему за это!
Зарплаты айтишников в Германии
Конечно, можно посмотреть отчеты гигантов вроде glassdoor или lеvelsfyi, но мне нравится отчет, который делают русскоязычные экспаты в Германии. Отчет за 2024 год они еще не сделали, но можно глянуть за прошлый.
В прошлом году медианная зарплата синьора была 90K в год до вычета налогов. Интересно будет посмотреть, что получится в этом году, по ощущениям - цены выросли а зарплаты упали.