home.social

#множества — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #множества, aggregated by home.social.

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

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

    habr.com/ru/articles/1025136/

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

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

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

    habr.com/ru/articles/1025136/

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

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

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

    habr.com/ru/articles/1025136/

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

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

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

    habr.com/ru/articles/1025136/

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

  5. [Перевод] Бесконечность, графы и Wi-Fi: неожиданный мост между теорией множеств и информатикой

    Специалисты по дескриптивной теории множеств изучают узкоспециализированные аспекты математики бесконечности. Теперь они показали, что их проблемы можно переформулировать на языке алгоритмов. В 2023 году математик Антон Бернштейн опубликовал статью о глубокой и удивительной связи между дескриптивной теорией множеств и современной информатикой. Его результат показал, что язык алгоритмов может описывать даже те бесконечные структуры, которые десятилетиями считались чисто абстрактными. И если это правда, то граница между теорией множеств и информатикой проходит совсем не там, где мы привыкли её проводить.

    habr.com/ru/companies/first/ar

    #алгоритмы #графы #математика #множества #бесконечность

  6. [Перевод] Python и множества: генераторы, которые делают код чище

    Команда Python for Devs подготовила перевод статьи о генераторах множеств в Python. С их помощью можно создавать, преобразовывать и фильтровать множества одной строкой кода. Разбираем примеры, практические приёмы и ошибки, которых стоит избегать.

    habr.com/ru/articles/943720/

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

  7. Полезные конструкции Python, которые упростят работу с данными

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

    habr.com/ru/companies/netology

    #python #enumerate #генерация_списков #фильтрация_данных #тернарный_оператор #lambda #yield #множества #kwargs #dataclasses

  8. Полезные конструкции Python, которые упростят работу с данными

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

    habr.com/ru/companies/netology

    #python #enumerate #генерация_списков #фильтрация_данных #тернарный_оператор #lambda #yield #множества #kwargs #dataclasses

  9. Полезные конструкции Python, которые упростят работу с данными

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

    habr.com/ru/companies/netology

    #python #enumerate #генерация_списков #фильтрация_данных #тернарный_оператор #lambda #yield #множества #kwargs #dataclasses

  10. Полезные конструкции Python, которые упростят работу с данными

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

    habr.com/ru/companies/netology

    #python #enumerate #генерация_списков #фильтрация_данных #тернарный_оператор #lambda #yield #множества #kwargs #dataclasses

  11. [Перевод] Сложение с подвохом: что мы до сих пор не понимаем в 1 + 1? Гипотеза Эрдеша о множествах без суммы

    Возьмём, к примеру, сложение. Одна из первых истин, которые мы усваиваем: 1 плюс 1 — это 2. Казалось бы, операция элементарная. Но даже она продолжает порождать у математиков вопросы без чётких ответов. Какие глубинные закономерности заложены в сложении? — до сих пор остаётся открытым. «Это фундаментальная операция, — отмечает Бенджамин Бедерт, аспирант Оксфорда, — и тем не менее в ней до сих пор много загадок». В попытке разобраться в природе сложения, математики заодно пытаются установить его предельные границы. С начала XX века они изучают особый класс чисел — так называемые бессумные множества , в которых ни одна пара чисел не даёт в сумме третьего из этого же множества. К примеру, любое два нечётных числа в сумме дают чётное, значит, все нечётные образуют бессумное множество. В 1965 году математик Пол Эрдёш задал на первый взгляд скромный вопрос: насколько часто встречаются такие бессумные множества? Ответ на него оказался крайне непростым — десятилетиями в решении этой задачи почти не наблюдалось прогресса.

    habr.com/ru/articles/924440/

    #множества #Эрдеш #гипотеза

  12. [Перевод] Быстрая свёртка множеств (алгоритм)

    Свертка подмножеств, это математический аппарат, который позволяет ускорить алгоритмы на множествах и быстро считать функции на подмножествах. Статья будет интересна тем, кто интересуется нетривиальными, но красивыми алгоритмами!

    habr.com/ru/articles/891188/

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

  13. [Перевод] Быстрая свёртка множеств (алгоритм)

    Свертка подмножеств, это математический аппарат, который позволяет ускорить алгоритмы на множествах и быстро считать функции на подмножествах. Статья будет интересна тем, кто интересуется нетривиальными, но красивыми алгоритмами!

    habr.com/ru/articles/891188/

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

  14. [Перевод] Быстрая свёртка множеств (алгоритм)

    Свертка подмножеств, это математический аппарат, который позволяет ускорить алгоритмы на множествах и быстро считать функции на подмножествах. Статья будет интересна тем, кто интересуется нетривиальными, но красивыми алгоритмами!

    habr.com/ru/articles/891188/

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

  15. [Перевод] Быстрая свёртка множеств (алгоритм)

    Свертка подмножеств, это математический аппарат, который позволяет ускорить алгоритмы на множествах и быстро считать функции на подмножествах. Статья будет интересна тем, кто интересуется нетривиальными, но красивыми алгоритмами!

    habr.com/ru/articles/891188/

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

  16. Типы в программировании как математические множества

    Типы в программировании можно( и нужно ) рассматривать как математические множества. Мысль хоть и очевидная, но из моей головы давно выветрилась. Именно поэтому я и решил написать эту статью: чтобы напомнить о ней самому себе и тем, кто о ней тоже забыл или даже не знал.

    habr.com/ru/articles/847958/

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

  17. Множества Мандельброта — на Delphi

    Я нарисовал множества Мандельброта на Delphi а не flat assembler! Embarcadero Delphi for Win32 compiler version 35.0 А именно: DCC32.EXE rlink32.dll SysInit.dcu System.dcu Все!

    habr.com/ru/articles/831928/

    #delphi #множества #мандельброт #mandelbrot #делфи

  18. Фрагмент множества Мандельброта с анимация

    Впервые я прочитал о фракталах больше 40 лет назад, классе в пятом-шестом, в журнале «Техника — молодежи». Помню, там была изображена снежинка Коха. Слово «фрактал» происходит от латинского «дробный», так как у этих математических фигур дробная размерность. «Облака — не сферы, горы — не конусы, береговые линии — не окружности, древесная кора не гладкая, молния распространяется не по прямой» — писал Бенуа Мандельброт — первооткрыватель самого известного фрактала, названного в его честь — множества Мандельброта. Фрагмент множества Мандельброта для примера

    habr.com/ru/articles/826072/

    #fasm #mandelbrot #мандельброт #множества