2024-12-10

Теоремы Гёделя

Существует ли Бог? Это вопрос особого рода, поскольку в нём неопределён сам объект. У нас нет точного определения, что такое Бог. Поэтому, задавая этот вопрос, мы надеемся получить ответ на то, что представляет собой Бог. Однако можно сформулировать более общий и упрощённый вопрос: является ли наша система знаний самодостаточной, или для её описания необходимо что-то, находящееся за пределами нашего понимания?

На этот вопрос уже существует ответ. В 1931 году Курт Гёдель сформулировал первую и вторую теоремы о неполноте. Первая теорема Гёделя о неполноте гласит, что в непротиворечивой формальной системе существуют истинные утверждения, которые невозможно доказать внутри этой системы. Вторая теорема о неполноте утверждает, что для описания любой формальной системы недостаточно её собственных терминов.

Таким образом, теоремы Гёделя уже отвечают на вопрос о существовании Бога: да, Бог существует. Без Бога наша система знаний неполна.

Но теперь возникает уточнение: где он существует? Согласно Гёделю, Бог существует не в нашей реальности — или, точнее, не только в ней.

 

Оставить комментарий

 
  2024-12-08

В лесу родилась ёлочка

Близится новый год, а значит нужно послушать какую-нубудь новогодную песенку, как насчет этой?

Ой, я кажется ошибся, оказывается это гимн Микронезии....

"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".

Нужно будет спеть "в лесу родилась ёлочка" своим немецким коллегам, уверен им понравится... 

 

Оставить комментарий

 
  2024-12-05

Масяня. Эпизод 178. Река Смородина

Куваев выпустил новую Масяню.

Здорово, что Олег использует свой ресурс для того чтобы достучаться до людей, сделать мир чуточку лучше. Респект ему за это!

 

Оставить комментарий

 
  2024-12-03

Зарплаты айтишников в Германии

Конечно, можно посмотреть отчеты гигантов вроде glassdoor или lеvelsfyi, но мне нравится отчет, который делают русскоязычные экспаты в Германии. Отчет за 2024 год они еще не сделали, но можно глянуть за прошлый.

В прошлом году медианная зарплата синьора была 90K в год до вычета налогов. Интересно будет посмотреть, что получится в этом году, по ощущениям - цены выросли а зарплаты упали.

 

 

Оставить комментарий

 
  2024-11-19

Песня рыбака

У Дорофеева на канале наткнулся на веселую песенку, с матом и на ирлансдский мотив, все как мы любим.

 

Оставить комментарий

 
  2024-11-13

Миллион бомб тому назад

Это видео заняло первое место на конкурсе Drone Photo Awards 2024, на мой взгляд весьма заслуженно.

 

Оставить комментарий

 
  2024-11-13

Пасхалка под андроид

Если несколько раз ткнуть в номер версии в в секции About в настройках Андроид то вылазит вот такая фигня - что это?

Вот здесь говорят что это пасхалка, но мне кажется, что кроме того что она показывает цифру 11 и котиков, она должна что-то еще делать....

 

Оставить комментарий

 
  2024-11-10

Помодоро курильщика

Давно замечаю интересную закономерность: мои коллеги, которые курят, успевают сделать на работе больше, чем я, некурящий. Как так? Ведь как только я выйду на улицу, они всё время стоят на крыльце и курят, когда же они работают? Я весь такой белый и пушистый, некурящий, а успеваю меньше, чем они, хотя они постоянно делают перерывы.

Иногда на меня накатывают приступы тайм-менеджмента, и я начинаю применять какую-нибудь методику для повышения производительности. В этот раз решил попробовать работать по методу «Помодоро». Метод «Помодоро» придумал итальянец Франческо Чирилло. Он заметил, что если работать, используя небольшие временные интервалы по двадцать пять минут, то успеваешь сделать больше, а отвлекаешься от работы гораздо меньше, чем если никак не ограничивать себя. Для отсчёта времени он использовал кухонный таймер в виде пластмассового помидора — отсюда и название метода. Видимо, наш мозг устроен так, что, если у него нет никаких внешних ограничений, он начинает искусственно отвлекать себя, чтобы мы не загоняли себя слишком напряжённой работой. Если время ограничено, то отвлекаться уже нет смысла — наоборот, мы стараемся сделать как можно больше за отведённое время. Но это «Помодоро здорового человека».

После того как я начал работать по «Помодоро», пришлось делать перерывы. На что их тратить? Например, можно пройтись по офису, выйти во двор, подышать свежим воздухом. Во дворе уже стоят курящие коллеги и курят. Вот оно! Похоже, курящий человек, хочет он того или нет, вынужден делать регулярные перерывы на перекур, и получается «Помодоро курильщика».

Получается, неважно, как делать перерывы — при помощи таймера или при помощи никотиновой зависимости, — и то и другое благотворно сказывается на продуктивности.

 

Оставить комментарий

 
  2024-11-10

Переходное звено

"Я долго раздумывал, где промежуточное звено между Homo sapiens и обезьяной, пока, наконец, не понял: мы и есть это переходное звено" — Конрад Лоренц.

На сайте "Кот Шредингера" наткнулся на интересную мысль, которая в последнее время часто меня посещает.

"Человеческий интеллект изначально искусственный, не природный — его формирует культура в процессе обучения языку и другим инструментам мышления. Мы вообще не природные, а искусственные существа, созданные культурой и воспитанием. Человеком не рождаются, а становятся. Ребёнок-маугли, вскормленный шимпанзе, думает и ведёт себя как обезьяна. А шимпанзе, выращенные людьми и обученные языку глухонемых, упорно называют себя людьми и отказываются общаться с безъязыкими собратьями".

Отсюда.

Такого же мнения придерживается и публицист Александр Невзоров. В своей книге "Происхождение интеллекта" он приходит к такому же выводу: человеческий интеллект — это всего лишь гипертрофированное проявление моделирования реальности при помощи второй сигнальной системы — речи.

Большие языковые модели — это, по сути, дистилляция знания из нашей речи, записанного в виде математических параметров вероятностей. Это и есть наше знание, записанное в виде нулей и единиц.

Людям страшно общаться не с искусственным интеллектом, им страшно общаться друг с другом, потому что в искусственном интеллекте мы узнаем себя, свои страхи и комплексы.

 

Оставить комментарий

 
  2024-11-04

Старый анекдот

Старый анекдот, но он очень точно отражает суть того как разрабатывается программное обеспечение:

Вот представь, что тебе доверили достроить за другим прорабом лабораторию на острове. Ты приходишь на объект, а там кроме недостроенного здания: огромный вентилятор (размером со здание), большой воздушный шар и комната набитая швабрами. Почесав голову, ты разбираешь этот хлам и доделываешь лабораторию. Сдаешь объект ученным, но через 5 минут они выбегают с криком: "УТЕЧКА ЯДОВИТОГО ГАЗА!!!".

- Как так-то, блять! Должно же работать! - в отчаянии кричишь ты и звонишь прошлому прорабу:

- Вася, у нас ядовитый газ потёк! В чем проблема?

- Не знаю, должно было все работать. Что-то в проекте менял?

- Немного, швабры вынес...

- Швабры потолок держали!

- Что??? Что, блять, извините???

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

- Ты хотя бы записку на двери повесил бы, что швабры для держания потолка! У нас тут ядовитый газ течет! Что нам делать?

- Включай вентилятор. Он сдует газ с острова.

- Я его, блять, демонтировал сразу же!

- Зачем?

- Зачем ты построил 120 тонный вентилятор? Ты не мог положить ящик блядских ПРОТИВОГАЗОВ?

- Ящик противогазов искать нужно, а вентилятор у меня с прошлого заказа оставался.

- Вася, я убрал твой вентилятор! Мы тут задыхаемся!

- Херли вы тогда там делаете? Садитесь на воздушный шар и уебывайте!

отсюда

 

Оставить комментарий