#логика — Public Fediverse posts

Пишем логический калькулятор, лёжа на диване: как Termux и Си заменяют IDE, когда лень вставать

Говорят, для программирования на Си нужен стол, стул, мощный ПК и Linux. У меня другой стек: диван, планшет на Андроиде и Termux. Но иногда мой монитор помещается в карман — это смартфон. В этой статье я расскажу, как небольшая лень привела к созданию пяти версий логического калькулятора и почему мобильный кодинг — это не только боль, но и своеобразная свобода. Противостояние против индустрии Идея родилась внезапно. Захотелось проверить одну логическую схему, но вставать и идти к компьютеру было выше моих сил. Так началось моё «преступление» против канонов профессиональной разработки. Инструментарий Чтобы превратить диван в рабочее место, мне понадобился стандартный набор для Termux: <cut />

https://habr.com/ru/articles/1027400/

#C #Termux #Android #Программирование #Логика #Консоль #DIY #Мобильная_разработка

Логика как основа Мироздания

Интерес к "Науке логики" Гегеля сегодня растёт. И это происходит не из-за ностальгии по классике. Он растёт потому, что мы, наконец, получили инструменты, чтобы услышать то, что Гегель пытался сказать двести лет назад. Его философию восприняли в своё время как метафизические домыслы и туманные спекуляции, но, как мне кажется, там была в действительности строгая структура, которая описывает то, как вообще возможно существование чего бы то ни было. Парадокс в том, что главная книга Гегеля до сих пор отпугивает даже подготовленного читателя. Не потому, что она "устарела". А потому, что Гегель пытался словами описать то, что сегодня мы формулируем на языке квантовой теории, теории информации и вычислительных моделей. Он не имел доступа к этим понятиям, но интуитивно нащупывал ту же самую реальность.

https://habr.com/ru/articles/1027204/

#философия #философия_науки #философия_разума #диалектика #диалектическая_логика #гегель #научнопопулярное #научпоп #логика #логика_мышления

В каком контексте возникла теорема о неполноте Гёделя, и почему она так важна?

Давайте перенесемся мысленно в начало двадцатого века. Ньютон давно уже вывел многие механические законы и описал бесконечность на формальном языке интегрального и дифференциального счисления. Дарвин давно уже опубликовал теорию о происхождении видов. В Новом Свете отцы-основатели написали Конституцию США, и уже сто лет американцы живут зажиточно и относительно мирно, благодаря принципам, которые в ней заложены. Человек своим умом нащупал законы живой природы, законы материи, законы человеческого сосуществования. Нет таких задач, которые не покорились бы человеческому разуму. Вся просвещенная Европа смотрит в будущее с огромным оптимизмом.

https://habr.com/ru/articles/1025136/

#Гёдель #Рассел #ТНГ #20й_век #математика #теория #логика #множества #парадокс

В каком контексте возникла теорема о неполноте Гёделя, и почему она так важна?

Давайте перенесемся мысленно в начало двадцатого века. Ньютон давно уже вывел многие механические законы и описал бесконечность на формальном языке интегрального и дифференциального счисления. Дарвин давно уже опубликовал теорию о происхождении видов. В Новом Свете отцы-основатели написали Конституцию США, и уже сто лет американцы живут зажиточно и относительно мирно, благодаря принципам, которые в ней заложены. Человек своим умом нащупал законы живой природы, законы материи, законы человеческого сосуществования. Нет таких задач, которые не покорились бы человеческому разуму. Вся просвещенная Европа смотрит в будущее с огромным оптимизмом.

https://habr.com/ru/articles/1025136/

#Гёдель #Рассел #ТНГ #20й_век #математика #теория #логика #множества #парадокс

В каком контексте возникла теорема о неполноте Гёделя, и почему она так важна?

Давайте перенесемся мысленно в начало двадцатого века. Ньютон давно уже вывел многие механические законы и описал бесконечность на формальном языке интегрального и дифференциального счисления. Дарвин давно уже опубликовал теорию о происхождении видов. В Новом Свете отцы-основатели написали Конституцию США, и уже сто лет американцы живут зажиточно и относительно мирно, благодаря принципам, которые в ней заложены. Человек своим умом нащупал законы живой природы, законы материи, законы человеческого сосуществования. Нет таких задач, которые не покорились бы человеческому разуму. Вся просвещенная Европа смотрит в будущее с огромным оптимизмом.

https://habr.com/ru/articles/1025136/

#Гёдель #Рассел #ТНГ #20й_век #математика #теория #логика #множества #парадокс

В каком контексте возникла теорема о неполноте Гёделя, и почему она так важна?

Давайте перенесемся мысленно в начало двадцатого века. Ньютон давно уже вывел многие механические законы и описал бесконечность на формальном языке интегрального и дифференциального счисления. Дарвин давно уже опубликовал теорию о происхождении видов. В Новом Свете отцы-основатели написали Конституцию США, и уже сто лет американцы живут зажиточно и относительно мирно, благодаря принципам, которые в ней заложены. Человек своим умом нащупал законы живой природы, законы материи, законы человеческого сосуществования. Нет таких задач, которые не покорились бы человеческому разуму. Вся просвещенная Европа смотрит в будущее с огромным оптимизмом.

https://habr.com/ru/articles/1025136/

#Гёдель #Рассел #ТНГ #20й_век #математика #теория #логика #множества #парадокс

Зачем вообще нужен Гегель и его диалектика в эпоху квантовой неопределенности?

Иногда в философских дискуссиях у моих собеседников проскальзывает мысль: "Зачем нам Гегель, если есть математическая логика, теория информации, машинное обучение?" Вопрос справедливый. Если мир описывается уравнениями, а прогнозы строятся на данных, то что может добавить философия двухвековой давности? Ответ короче, чем кажется: Гегель нужен не вместо современной науки, а вместе с ней. Его логика - это не альтернатива формальным системам, а инструмент для работы с тем, что эти системы по определению не могут охватить целиком: с процессами, с развитием, с парадоксами, которые возникают не из-за ошибки в расчётах, а из-за самой структуры реальности.

https://habr.com/ru/articles/1020798/

#философия #философия_науки #научнопопулярное #научпоп #научный_метод #логика #логика_мышления #диалектика #диалектическая_логика #гегель

«Сожжение за ересь» в цифровую эпоху: почему ИИ не новый римский папа, а просто очень большая Википедия

Попытка обсудить использование LLM для анализа текстов на одном религиозном форуме закончилась быстрым блокированием и удалением темы. Статья задаётся вопросом: почему нейросети воспринимают как угрозу духовному руководству, а не как инструмент вроде словарей? Это приглашение к разумному диалогу на стыке технологий и мировоззрения. Под катом — исторические параллели, Августин, инквизиция, практический тест для читателей и честный разговор о страхах перед новым.

https://habr.com/ru/articles/1019480/

#искусственный_интеллект #nlp #критическое_мышление #анализ_данных #llm #логика #библеистика #humanintheloop #экзегеза #групповой_анализ_ии

[Перевод] Что открыл Гёдель

В 1931 году 25-летний Курт Гёдель написал доказательство, которое перевернуло мир математики с ног на голову. Выводы были настолько поразительными, а само доказательство настолько изящным, что это было… как-то даже забавно. Я хотел поделиться с вами его открытием. Объединение На протяжении последних 300 лет математики и ученые делали поразительные открытия, которые привели к появлению одной великой закономерности. Эта закономерность заключалась в объединении: идеи, которые раньше считались разрозненными и непохожими, неизменно оказывались одним и тем же! Ньютон положил начало этому процессу в физике, когда обнаружил, что то, что удерживает нас на Земле, — это то же самое, что заставляет Землю вращаться вокруг Солнца. Люди думали, что тепло — это особый вид энергии, но оказалось, что его можно объяснить с помощью механики. Люди думали, что электричество, магнетизм и свет — это разные вещи, но Максвелл обнаружил, что их можно объяснить с помощью электромагнитного поля.

https://habr.com/ru/articles/1017176/

#курт_гёдель #теорема_о_неполноте #математика #логика #lisp #теория_вычислимости #алгоритмы #основы_программирования

[Перевод] Что открыл Гёдель

В 1931 году 25-летний Курт Гёдель написал доказательство, которое перевернуло мир математики с ног на голову. Выводы были настолько поразительными, а само доказательство настолько изящным, что это было… как-то даже забавно. Я хотел поделиться с вами его открытием. Объединение На протяжении последних 300 лет математики и ученые делали поразительные открытия, которые привели к появлению одной великой закономерности. Эта закономерность заключалась в объединении: идеи, которые раньше считались разрозненными и непохожими, неизменно оказывались одним и тем же! Ньютон положил начало этому процессу в физике, когда обнаружил, что то, что удерживает нас на Земле, — это то же самое, что заставляет Землю вращаться вокруг Солнца. Люди думали, что тепло — это особый вид энергии, но оказалось, что его можно объяснить с помощью механики. Люди думали, что электричество, магнетизм и свет — это разные вещи, но Максвелл обнаружил, что их можно объяснить с помощью электромагнитного поля.

https://habr.com/ru/articles/1017176/

#курт_гёдель #теорема_о_неполноте #математика #логика #lisp #теория_вычислимости #алгоритмы #основы_программирования

[Перевод] Что открыл Гёдель

В 1931 году 25-летний Курт Гёдель написал доказательство, которое перевернуло мир математики с ног на голову. Выводы были настолько поразительными, а само доказательство настолько изящным, что это было… как-то даже забавно. Я хотел поделиться с вами его открытием. Объединение На протяжении последних 300 лет математики и ученые делали поразительные открытия, которые привели к появлению одной великой закономерности. Эта закономерность заключалась в объединении: идеи, которые раньше считались разрозненными и непохожими, неизменно оказывались одним и тем же! Ньютон положил начало этому процессу в физике, когда обнаружил, что то, что удерживает нас на Земле, — это то же самое, что заставляет Землю вращаться вокруг Солнца. Люди думали, что тепло — это особый вид энергии, но оказалось, что его можно объяснить с помощью механики. Люди думали, что электричество, магнетизм и свет — это разные вещи, но Максвелл обнаружил, что их можно объяснить с помощью электромагнитного поля.

https://habr.com/ru/articles/1017176/

#курт_гёдель #теорема_о_неполноте #математика #логика #lisp #теория_вычислимости #алгоритмы #основы_программирования

[Перевод] Что открыл Гёдель

В 1931 году 25-летний Курт Гёдель написал доказательство, которое перевернуло мир математики с ног на голову. Выводы были настолько поразительными, а само доказательство настолько изящным, что это было… как-то даже забавно. Я хотел поделиться с вами его открытием. Объединение На протяжении последних 300 лет математики и ученые делали поразительные открытия, которые привели к появлению одной великой закономерности. Эта закономерность заключалась в объединении: идеи, которые раньше считались разрозненными и непохожими, неизменно оказывались одним и тем же! Ньютон положил начало этому процессу в физике, когда обнаружил, что то, что удерживает нас на Земле, — это то же самое, что заставляет Землю вращаться вокруг Солнца. Люди думали, что тепло — это особый вид энергии, но оказалось, что его можно объяснить с помощью механики. Люди думали, что электричество, магнетизм и свет — это разные вещи, но Максвелл обнаружил, что их можно объяснить с помощью электромагнитного поля.

https://habr.com/ru/articles/1017176/

#курт_гёдель #теорема_о_неполноте #математика #логика #lisp #теория_вычислимости #алгоритмы #основы_программирования

Линтер для теологии, или Как ансамбль LLM провел статический анализ библейского текста (кейс 1 Тим. 2:15)

Можно ли использовать ансамбль LLM как статический анализатор для богословского текста? В эксперименте пять языковых моделей проверили логическую устойчивость двух competing интерпретаций 1 Тим. 2:15. Результат — не истина, а прозрачная формализация неявных допущений. Метод применим к юриспруденции, истории и техдокументации.

https://habr.com/ru/articles/1015070/

#Искусственный_интеллект #NLP #критическое_мышление #Анализ_данных #LLM #Логика #Библеистика #Humanintheloop #экзегеза #групповой_анализ_ИИ

Почему норка лучше кроат: разбираем Wordle с помощью энтропии и Excel

В Wordle принято начинать с «хороших» слов – с частыми гласными и согласными. Однако анализ показывает, что менее очевидные варианты иногда дают больше информации. Возникает простой, но неудобный вопрос, можно ли доказать, что одно стартовое слово лучше другого. Краткий ответ – да. Я рассмотрел Wordle как задачу теории информации и количественно оценил каждый ход, используя Excel и официальный словарь игры. Эту статью я публикую в блоге ЛАНИТ, чтобы обсудить полученные результаты с техническим сообществом.

https://habr.com/ru/companies/lanit/articles/993428/

#ЛАНИТ #комбинаторика #теория_информации #логика #игры #Wordle #головоломка #логические_игры #слова #алгоритмы

Почему норка лучше кроат: разбираем Wordle с помощью энтропии и Excel

В Wordle принято начинать с «хороших» слов – с частыми гласными и согласными. Однако анализ показывает, что менее очевидные варианты иногда дают больше информации. Возникает простой, но неудобный вопрос, можно ли доказать, что одно стартовое слово лучше другого. Краткий ответ – да. Я рассмотрел Wordle как задачу теории информации и количественно оценил каждый ход, используя Excel и официальный словарь игры. Эту статью я публикую в блоге ЛАНИТ, чтобы обсудить полученные результаты с техническим сообществом.

https://habr.com/ru/companies/lanit/articles/993428/

#ЛАНИТ #комбинаторика #теория_информации #логика #игры #Wordle #головоломка #логические_игры #слова #алгоритмы

Почему норка лучше кроат: разбираем Wordle с помощью энтропии и Excel

В Wordle принято начинать с «хороших» слов – с частыми гласными и согласными. Однако анализ показывает, что менее очевидные варианты иногда дают больше информации. Возникает простой, но неудобный вопрос, можно ли доказать, что одно стартовое слово лучше другого. Краткий ответ – да. Я рассмотрел Wordle как задачу теории информации и количественно оценил каждый ход, используя Excel и официальный словарь игры. Эту статью я публикую в блоге ЛАНИТ, чтобы обсудить полученные результаты с техническим сообществом.

https://habr.com/ru/companies/lanit/articles/993428/

#ЛАНИТ #комбинаторика #теория_информации #логика #игры #Wordle #головоломка #логические_игры #слова #алгоритмы

Почему норка лучше кроат: разбираем Wordle с помощью энтропии и Excel

В Wordle принято начинать с «хороших» слов – с частыми гласными и согласными. Однако анализ показывает, что менее очевидные варианты иногда дают больше информации. Возникает простой, но неудобный вопрос, можно ли доказать, что одно стартовое слово лучше другого. Краткий ответ – да. Я рассмотрел Wordle как задачу теории информации и количественно оценил каждый ход, используя Excel и официальный словарь игры. Эту статью я публикую в блоге ЛАНИТ, чтобы обсудить полученные результаты с техническим сообществом.

https://habr.com/ru/companies/lanit/articles/993428/

#ЛАНИТ #комбинаторика #теория_информации #логика #игры #Wordle #головоломка #логические_игры #слова #алгоритмы

Думскролинг и бесконечное чтение новостей (КПТ, улитки и моделирование в Excel)

По ряду причин последнее время это стало проблемой. Бесконтрольное потребление новостей на фоне повышающейся тревожности. И вроде как мы все понимаем, что надо прекратить читать эти новости и бесконечные телеграм-каналы, так как это не приносит нам никакой пользы и разрушает нашу психику. Но нет. Остановиться мы не можем. Хотя очень хотим. Почему же так получается? Давайте разбираться.

https://habr.com/ru/articles/982732/

#психология #думскроллинг #таймменеджмент #таймкиллеры #зависимость_от_смартфонов #кпт #логика

Думскролинг и бесконечное чтение новостей (КПТ, улитки и моделирование в Excel)

По ряду причин последнее время это стало проблемой. Бесконтрольное потребление новостей на фоне повышающейся тревожности. И вроде как мы все понимаем, что надо прекратить читать эти новости и бесконечные телеграм-каналы, так как это не приносит нам никакой пользы и разрушает нашу психику. Но нет. Остановиться мы не можем. Хотя очень хотим. Почему же так получается? Давайте разбираться.

https://habr.com/ru/articles/982732/

#психология #думскроллинг #таймменеджмент #таймкиллеры #зависимость_от_смартфонов #кпт #логика

Думскролинг и бесконечное чтение новостей (КПТ, улитки и моделирование в Excel)

По ряду причин последнее время это стало проблемой. Бесконтрольное потребление новостей на фоне повышающейся тревожности. И вроде как мы все понимаем, что надо прекратить читать эти новости и бесконечные телеграм-каналы, так как это не приносит нам никакой пользы и разрушает нашу психику. Но нет. Остановиться мы не можем. Хотя очень хотим. Почему же так получается? Давайте разбираться.

https://habr.com/ru/articles/982732/

#психология #думскроллинг #таймменеджмент #таймкиллеры #зависимость_от_смартфонов #кпт #логика

Думскролинг и бесконечное чтение новостей (КПТ, улитки и моделирование в Excel)

По ряду причин последнее время это стало проблемой. Бесконтрольное потребление новостей на фоне повышающейся тревожности. И вроде как мы все понимаем, что надо прекратить читать эти новости и бесконечные телеграм-каналы, так как это не приносит нам никакой пользы и разрушает нашу психику. Но нет. Остановиться мы не можем. Хотя очень хотим. Почему же так получается? Давайте разбираться.

https://habr.com/ru/articles/982732/

#психология #думскроллинг #таймменеджмент #таймкиллеры #зависимость_от_смартфонов #кпт #логика

Калибровка. Технотриллер о том, к чему приводит слепая оптимизация

Привет, Хабр! Я написал повесть, вдохновленную идеями одного известного мысленного эксперимента. Не могу сказать конкретнее иначе заспойлерю, но ценители Hard Si-Fi, думаю быстро поймут о чём речь. Хочу поделиться этой повестью с вами, ведь системщики и программисты, а так же люди ценящие железную логику - это моя целевая аудитория. О чем это: Артур Корбин, системный инженер, нашел странную строку в отчёте. По сути пустяк 20 кг. проволоки для организации перемалывающей тонны материалов в день - статистическая погрешность. Но Артур, человек привыкший к порядку, решил разобраться. И это решение превращает его жизнь в параноидальный кошмар. Это история о том, как инструменты могут стать хозяевами, а свобода воли — статистической погрешностью.

https://habr.com/ru/articles/1001218/

#научная_фантастика #искусственный_интеллект #hard_scifi #технотриллер #повесть #оптимизация #системная_инженерия #будущее #логика

Калибровка. Технотриллер о том, к чему приводит слепая оптимизация

Привет, Хабр! Я написал повесть, вдохновленную идеями одного известного мысленного эксперимента. Не могу сказать конкретнее иначе заспойлерю, но ценители Hard Si-Fi, думаю быстро поймут о чём речь. Хочу поделиться этой повестью с вами, ведь системщики и программисты, а так же люди ценящие железную логику - это моя целевая аудитория. О чем это: Артур Корбин, системный инженер, нашел странную строку в отчёте. По сути пустяк 20 кг. проволоки для организации перемалывающей тонны материалов в день - статистическая погрешность. Но Артур, человек привыкший к порядку, решил разобраться. И это решение превращает его жизнь в параноидальный кошмар. Это история о том, как инструменты могут стать хозяевами, а свобода воли — статистической погрешностью.

https://habr.com/ru/articles/1001218/

#научная_фантастика #искусственный_интеллект #hard_scifi #технотриллер #повесть #оптимизация #системная_инженерия #будущее #логика

Калибровка. Технотриллер о том, к чему приводит слепая оптимизация

Привет, Хабр! Я написал повесть, вдохновленную идеями одного известного мысленного эксперимента. Не могу сказать конкретнее иначе заспойлерю, но ценители Hard Si-Fi, думаю быстро поймут о чём речь. Хочу поделиться этой повестью с вами, ведь системщики и программисты, а так же люди ценящие железную логику - это моя целевая аудитория. О чем это: Артур Корбин, системный инженер, нашел странную строку в отчёте. По сути пустяк 20 кг. проволоки для организации перемалывающей тонны материалов в день - статистическая погрешность. Но Артур, человек привыкший к порядку, решил разобраться. И это решение превращает его жизнь в параноидальный кошмар. Это история о том, как инструменты могут стать хозяевами, а свобода воли — статистической погрешностью.

https://habr.com/ru/articles/1001218/

#научная_фантастика #искусственный_интеллект #hard_scifi #технотриллер #повесть #оптимизация #системная_инженерия #будущее #логика

Калибровка. Технотриллер о том, к чему приводит слепая оптимизация

Привет, Хабр! Я написал повесть, вдохновленную идеями одного известного мысленного эксперимента. Не могу сказать конкретнее иначе заспойлерю, но ценители Hard Si-Fi, думаю быстро поймут о чём речь. Хочу поделиться этой повестью с вами, ведь системщики и программисты, а так же люди ценящие железную логику - это моя целевая аудитория. О чем это: Артур Корбин, системный инженер, нашел странную строку в отчёте. По сути пустяк 20 кг. проволоки для организации перемалывающей тонны материалов в день - статистическая погрешность. Но Артур, человек привыкший к порядку, решил разобраться. И это решение превращает его жизнь в параноидальный кошмар. Это история о том, как инструменты могут стать хозяевами, а свобода воли — статистической погрешностью.

https://habr.com/ru/articles/1001218/

#научная_фантастика #искусственный_интеллект #hard_scifi #технотриллер #повесть #оптимизация #системная_инженерия #будущее #логика

Детские книги про данные, логику и визуализацию

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

https://habr.com/ru/articles/995248/

#детские_книги #графики #визуализация_данных #работа_с_данными #логика #логическое_мышление #книги

Командная строка: путь к развитию логического мышления у детей

Боков Фёдор, Security Vision Совсем недавно я стал отцом, конечно, такое событие перевернуло мой мир с ног на голову. Теперь я по-другому смотрю на вещи: на развивающие игрушки, книжки с картинками и, как ни странно, на экран своего компьютера. Работая в Security Vision, и обращая внимание на ее инициативу по обучению детей основам технологий с самого юного возраста, я начал задумываться о том, какие инструменты помогут моему ребёнку не просто пользоваться технологиями в будущем, но и понимать их, мыслить структурно и логически. И мой взгляд упал на, казалось бы, самый скучный и старомодный инструмент — черное окно командной строки. Многие видят в нем атрибут хакера из фильма или сложный инструмент для айтишников, но мне кажется, что это идеальная песочница для развития молодого ума. Это цифровой аналог конструктора Lego: максимум возможностей для сборки собственных идей из базовых кирпичиков-команд. Возможно, опытному ИТ-специалисту примеры ниже покажутся простыми. Создать папку, переименовать файл — что в этом такого? Но здесь вся магия кроется не в сложности команды, а в том, как вы ее преподнесете. Для ребенка, который никогда не задумывался, как устроен компьютер, любое действие в командной строке — это волшебство. И ваша задача — стать для него проводником в этот мир, превратив изучение в совместную игру. Эти задания ограничены лишь вашим воображением: сегодня вы создаете цифровой зоопарк, а завтра — каталог космических кораблей или карту сокровищ. Ребенку интересно почти все, если делать это вместе с родителем.

https://habr.com/ru/companies/securityvison/articles/990632/

#linux #обучение #обучение_детей #развитие_детей #мышление #логика

Копенгагенская интерпретация Квантовой физики и объективная реальность

Говорят, что дихотомия идеализма и материализма уже неактуальна для современной науки, так как реальность оказалась настолько сложнее и интереснее простых схем, что уже практически не вписывается ни в одну из прежних больших философских парадигм. Так и чем же оказалась реальность с точки зрения самой фундаментальной на данный момент теории - Квантовой механики - и её наиболее распространенной (пока) интерпретации - Копенгагенской? В данной статье я вряд ли отвечу на этот вопрос, но хочу скорее поговорить о тех странностях, которые я искренне не могу понять в Копенгагенской интерпретации. История науки, как говорит А.М. Семихатов, это борьба против здравого смысла. И это нормально. Это я могу понять. Но когда наука начинает бороться с самой логикой и этого, как кажется никто не замечает и всех всё устраивает, вот эту же действительно странно.

https://habr.com/ru/articles/987084/

#физика #квантовая_физика #квантовая_механика #копенгагенская_интерпретация #логика #научнопопулярное #научпоп #философия #философия_науки #парадоксы

Копенгагенская интерпретация Квантовой физики и объективная реальность

Говорят, что дихотомия идеализма и материализма уже неактуальна для современной науки, так как реальность оказалась настолько сложнее и интереснее простых схем, что уже практически не вписывается ни в одну из прежних больших философских парадигм. Так и чем же оказалась реальность с точки зрения самой фундаментальной на данный момент теории - Квантовой механики - и её наиболее распространенной (пока) интерпретации - Копенгагенской? В данной статье я вряд ли отвечу на этот вопрос, но хочу скорее поговорить о тех странностях, которые я искренне не могу понять в Копенгагенской интерпретации. История науки, как говорит А.М. Семихатов, это борьба против здравого смысла. И это нормально. Это я могу понять. Но когда наука начинает бороться с самой логикой и этого, как кажется никто не замечает и всех всё устраивает, вот эту же действительно странно.

https://habr.com/ru/articles/987084/

#физика #квантовая_физика #квантовая_механика #копенгагенская_интерпретация #логика #научнопопулярное #научпоп #философия #философия_науки #парадоксы

Копенгагенская интерпретация Квантовой физики и объективная реальность

Говорят, что дихотомия идеализма и материализма уже неактуальна для современной науки, так как реальность оказалась настолько сложнее и интереснее простых схем, что уже практически не вписывается ни в одну из прежних больших философских парадигм. Так и чем же оказалась реальность с точки зрения самой фундаментальной на данный момент теории - Квантовой механики - и её наиболее распространенной (пока) интерпретации - Копенгагенской? В данной статье я вряд ли отвечу на этот вопрос, но хочу скорее поговорить о тех странностях, которые я искренне не могу понять в Копенгагенской интерпретации. История науки, как говорит А.М. Семихатов, это борьба против здравого смысла. И это нормально. Это я могу понять. Но когда наука начинает бороться с самой логикой и этого, как кажется никто не замечает и всех всё устраивает, вот эту же действительно странно.

https://habr.com/ru/articles/987084/

#физика #квантовая_физика #квантовая_механика #копенгагенская_интерпретация #логика #научнопопулярное #научпоп #философия #философия_науки #парадоксы

Копенгагенская интерпретация Квантовой физики и объективная реальность

Говорят, что дихотомия идеализма и материализма уже неактуальна для современной науки, так как реальность оказалась настолько сложнее и интереснее простых схем, что уже практически не вписывается ни в одну из прежних больших философских парадигм. Так и чем же оказалась реальность с точки зрения самой фундаментальной на данный момент теории - Квантовой механики - и её наиболее распространенной (пока) интерпретации - Копенгагенской? В данной статье я вряд ли отвечу на этот вопрос, но хочу скорее поговорить о тех странностях, которые я искренне не могу понять в Копенгагенской интерпретации. История науки, как говорит А.М. Семихатов, это борьба против здравого смысла. И это нормально. Это я могу понять. Но когда наука начинает бороться с самой логикой и этого, как кажется никто не замечает и всех всё устраивает, вот эту же действительно странно.

https://habr.com/ru/articles/987084/

#физика #квантовая_физика #квантовая_механика #копенгагенская_интерпретация #логика #научнопопулярное #научпоп #философия #философия_науки #парадоксы

Еще раз о симметрии кубика Рубика. «Зеркало» двусторонних MDSI-паттернов

Это статья является дополнением к большому материалу Симметрия кубика Рубика , где я рассказывал о своем методе сборки зеркальных двусторонних инверсивных паттернов Mirror Dual-Sided Inverse (MDSI) на кубике Рубика. Я посчитал нужным дополнительно объяснить, как эвристически искал доказательство того, что возможно на противоположных сторонах кубика Рубика собрать любой (2-, 3-, 4-, 5- и 6-цветный) MDSI паттерн. Для этого я ввел понятие «зеркало» для среднего слоя, который отражает противоположные стороны и применил правило четности пермутаций . Крутить кубик Рубика...

https://habr.com/ru/articles/983550/

#кубик_рубика #двусторонняя_мозаика #симметрия #дизайн #теория_групп #мозаика_из_кубиков_рубика #рубиккубизм #головоломки #занимательные_задачи #логика

Еще раз о симметрии кубика Рубика. «Зеркало» двусторонних MDSI-паттернов

Это статья является дополнением к большому материалу Симметрия кубика Рубика , где я рассказывал о своем методе сборки зеркальных двусторонних инверсивных паттернов Mirror Dual-Sided Inverse (MDSI) на кубике Рубика. Я посчитал нужным дополнительно объяснить, как эвристически искал доказательство того, что возможно на противоположных сторонах кубика Рубика собрать любой (2-, 3-, 4-, 5- и 6-цветный) MDSI паттерн. Для этого я ввел понятие «зеркало» для среднего слоя, который отражает противоположные стороны и применил правило четности пермутаций . Крутить кубик Рубика...

https://habr.com/ru/articles/983550/

#кубик_рубика #двусторонняя_мозаика #симметрия #дизайн #теория_групп #мозаика_из_кубиков_рубика #рубиккубизм #головоломки #занимательные_задачи #логика

Еще раз о симметрии кубика Рубика. «Зеркало» двусторонних MDSI-паттернов

Это статья является дополнением к большому материалу Симметрия кубика Рубика , где я рассказывал о своем методе сборки зеркальных двусторонних инверсивных паттернов Mirror Dual-Sided Inverse (MDSI) на кубике Рубика. Я посчитал нужным дополнительно объяснить, как эвристически искал доказательство того, что возможно на противоположных сторонах кубика Рубика собрать любой (2-, 3-, 4-, 5- и 6-цветный) MDSI паттерн. Для этого я ввел понятие «зеркало» для среднего слоя, который отражает противоположные стороны и применил правило четности пермутаций . Крутить кубик Рубика...

https://habr.com/ru/articles/983550/

#кубик_рубика #двусторонняя_мозаика #симметрия #дизайн #теория_групп #мозаика_из_кубиков_рубика #рубиккубизм #головоломки #занимательные_задачи #логика

Еще раз о симметрии кубика Рубика. «Зеркало» двусторонних MDSI-паттернов

Это статья является дополнением к большому материалу Симметрия кубика Рубика , где я рассказывал о своем методе сборки зеркальных двусторонних инверсивных паттернов Mirror Dual-Sided Inverse (MDSI) на кубике Рубика. Я посчитал нужным дополнительно объяснить, как эвристически искал доказательство того, что возможно на противоположных сторонах кубика Рубика собрать любой (2-, 3-, 4-, 5- и 6-цветный) MDSI паттерн. Для этого я ввел понятие «зеркало» для среднего слоя, который отражает противоположные стороны и применил правило четности пермутаций . Крутить кубик Рубика...

https://habr.com/ru/articles/983550/

#кубик_рубика #двусторонняя_мозаика #симметрия #дизайн #теория_групп #мозаика_из_кубиков_рубика #рубиккубизм #головоломки #занимательные_задачи #логика

Сервисы — место, где живет бизнес-логика

Сервисы — место, где живет бизнес-логика Здравствуйте! Идея написать эту статью пришла мне в голову абсолютно спонтанно. Я работаю в компании и, так сложилось, что нас имеет мы имеем DRF монолит на писят два миллиона строк кода. И вот однажды, чью-то светлую голову посетила мысль — « а давайте писать код одинаково » . Идея прозвучала чертвоски просто и соблазнительно. С этого момента мы завели себе ишака по имени « Django Service Layer », и все дружно начали на него наваливать. Теперь навалю и вам. Би-бу-бип.

https://habr.com/ru/articles/981950/

#python #сервисный #слой #сервисы #сервис #service #layer #бизнес #логика #django

Машина, которая никогда не останавливается: как одно предложение поставило предел человеческому познанию

Аннотация В 1936 году Алан Тьюринг, пытаясь формализовать пределы вычислений, сформулировал вопрос, навсегда изменивший не только компьютерную науку, но и наше понимание границ познания. Этот вопрос — известная как «Проблема остановки» — звучит обманчиво просто: можно ли создать алгоритм, который, анализируя код любой программы и её входные данные, заранее и безошибочно определит, завершится ли её работа или же она уйдёт в бесконечный цикл? Казалось бы, речь идёт о чисто технической задаче, мечте каждого программиста об идеальном отладчике. Однако ответ Тьюринга, уместившийся в элегантное и почти язвительное доказательство от противного, оказался оглушительным: нет, такой алгоритм принципиально невозможен. В этой статье мы не только разберём суть этого гениального доказательства, которое построено на самореференции и логическом парадоксе, подобном «лжецу», но и визуализируем его ход с помощью наглядного кода в MATLAB, превратив абстрактную логику в динамическую демонстрацию. Мы увидим, как гипотетическая «всезнающая» программа H неминуемо запутывается в сетях, расставленных специально сконструированной программой-провокатором , приводя к неразрешимому противоречию в любом исходе. Это открытие — не просто академическая курьёзность. Оно устанавливает фундаментальный, алгоритмический предел: существуют чётко поставленные вопросы, на которые мы никогда не получим однозначный «да» или «нет» от любой вычислительной машины. Мы проследим глубокую связь этого результата с теоремой Гёделя о неполноте, обсудим другие неразрешимые проблемы, такие как проблема соответствия Поста, и затронем трезвые последствия для современной разработки, верификации программ и даже для мечтаний о создании всесильного искусственного интеллекта. Эта история — о том, как осознание непреодолимой границы стало одним из самых мощных интеллектуальных достижений человечества, чётко очертив то, что мы можем знать, и указав на бескрайние области того, что мы знать не в силах.

https://habr.com/ru/articles/981908/

#Проблема_остановки #Алан_Тьюринг #Неразрешимость #Машина_Тьюринга #Доказательство #Самореференция #Пределы_вычислений #Теорема_Гёделя #matlab #логика

#мемы #научные_мемы #memes #sci_memes #meme #science_memes #science #смешно #funny #humor #юмор #biology #физика #игра_слов #логика #лингвистика #воробей
https://t.me/sci_memes_yura15cbx

Как победить в игре «Быки и коровы» с помощью теории информации

Я поступил в институт в 1978 году, когда игра «Быки и коровы» была на пике популярности. В серии игр никто не мог меня победить, а все благодаря относительно несложному алгоритму, разработанному мною на основе теории информации. Изучив современные источники, я не нашел среди них чего-то похожего на мой подход. Поэтому я решил поделиться своей стратегией в блоге ЛАНИТ, чтобы обсудить его с техническим сообществом.

https://habr.com/ru/companies/lanit/articles/975192/

#ЛАНИТ #комбинаторика #быки_и_коровы #теория_информации #логика #игры

Как победить в игре «Быки и коровы» с помощью теории информации

Я поступил в институт в 1978 году, когда игра «Быки и коровы» была на пике популярности. В серии игр никто не мог меня победить, а все благодаря относительно несложному алгоритму, разработанному мною на основе теории информации. Изучив современные источники, я не нашел среди них чего-то похожего на мой подход. Поэтому я решил поделиться своей стратегией в блоге ЛАНИТ, чтобы обсудить его с техническим сообществом.

https://habr.com/ru/companies/lanit/articles/975192/

#ЛАНИТ #комбинаторика #быки_и_коровы #теория_информации #логика #игры

Как победить в игре «Быки и коровы» с помощью теории информации

Я поступил в институт в 1978 году, когда игра «Быки и коровы» была на пике популярности. В серии игр никто не мог меня победить, а все благодаря относительно несложному алгоритму, разработанному мною на основе теории информации. Изучив современные источники, я не нашел среди них чего-то похожего на мой подход. Поэтому я решил поделиться своей стратегией в блоге ЛАНИТ, чтобы обсудить его с техническим сообществом.

https://habr.com/ru/companies/lanit/articles/975192/

#ЛАНИТ #комбинаторика #быки_и_коровы #теория_информации #логика #игры

Как победить в игре «Быки и коровы» с помощью теории информации

Я поступил в институт в 1978 году, когда игра «Быки и коровы» была на пике популярности. В серии игр никто не мог меня победить, а все благодаря относительно несложному алгоритму, разработанному мною на основе теории информации. Изучив современные источники, я не нашел среди них чего-то похожего на мой подход. Поэтому я решил поделиться своей стратегией в блоге ЛАНИТ, чтобы обсудить его с техническим сообществом.

https://habr.com/ru/companies/lanit/articles/975192/

#ЛАНИТ #комбинаторика #быки_и_коровы #теория_информации #логика #игры

math&progs physics biology puzzles
›
  puzzles
https://photo-yura15cbx.blogspot.com/2025/11/math-physics-biology-puzzles.html?m=1

#научные_мемы #мемы #мемасики #наука #биология #математика #физика #астрономия #логика #генетика #графики #таблицы #схемы #диалоги #эволюция #scientific_memes #memes #science #biology #math #physics #astronomy #logic #genetics #graphs #tables #diagrams #dialogues #evolution #sci_memes

Science memes Научные мемы talking
›
 
https://photo-yura15cbx.blogspot.com/2025/11/science-memes-talking.html?m=1

#научные_мемы #мемы #мемасики #наука #биология #математика #физика #астрономия #логика #генетика #графики #таблицы #схемы #диалоги #эволюция #scientific_memes #memes #science #biology #math #physics #astronomy #logic #genetics #graphs #tables #diagrams #dialogues #evolution #sci_memes

My Science memes Научные мемы мои мемы
›
 
https://photo-yura15cbx.blogspot.com/2025/11/my-science-memes.html?m=1

#научные_мемы #мемы #мемасики #наука #биология #математика #физика #астрономия #логика #генетика #графики #таблицы #схемы #диалоги #эволюция #scientific_memes #memes #science #biology #math #physics #astronomy #logic #genetics #graphs #tables #diagrams #dialogues #evolution #sci_memes

#вопрос #слово #смысл #логика
Доброго дня, у меня вопрос дня!
Дано:
Люди совершающие полеты в космос. Полеты на МКС или другие космические миссии.
Есть два слова означающих одно и то-же (казалось бы) - синонимы, в текущем контексте. Но есть нюанс.
Вопрос:
Как они называются, правильно, Космонавт или Астронавт? Почему?

«Логикомикс»: драма логики, математики и философии

Статья посвящена графической новелле «Логикомикс. Поиск истины» Апостолоса Доксиадиса — произведению о математике, логике, философии и человеческих драмах, возникающих вокруг стремлений обрести интеллектуальную опору.

https://habr.com/ru/articles/971816/

#математика #логика #философия #информатика #история_науки #история_математики #история_философии #бертран_рассел #курт_гёдель #комикс

«Логикомикс»: драма логики, математики и философии

Статья посвящена графической новелле «Логикомикс. Поиск истины» Апостолоса Доксиадиса — произведению о математике, логике, философии и человеческих драмах, возникающих вокруг стремлений обрести интеллектуальную опору.

https://habr.com/ru/articles/971816/

#математика #логика #философия #информатика #история_науки #история_математики #история_философии #бертран_рассел #курт_гёдель #комикс

«Логикомикс»: драма логики, математики и философии

Статья посвящена графической новелле «Логикомикс. Поиск истины» Апостолоса Доксиадиса — произведению о математике, логике, философии и человеческих драмах, возникающих вокруг стремлений обрести интеллектуальную опору.

https://habr.com/ru/articles/971816/

#математика #логика #философия #информатика #история_науки #история_математики #история_философии #бертран_рассел #курт_гёдель #комикс

«Логикомикс»: драма логики, математики и философии

Статья посвящена графической новелле «Логикомикс. Поиск истины» Апостолоса Доксиадиса — произведению о математике, логике, философии и человеческих драмах, возникающих вокруг стремлений обрести интеллектуальную опору.

https://habr.com/ru/articles/971816/

#математика #логика #философия #информатика #история_науки #история_математики #история_философии #бертран_рассел #курт_гёдель #комикс