Почему всё ещё нет нити о дискретной математике? Места, где бы обсуждали суператомные алгебры, полные теории, Σ-определимость? И самое главное - Теорию моделей .
Где все это?
В общем, нить иди.
P.S. конструктухов и определяльщиков велосипедов вроде N,
из соседней нити, просьба воздержаться от высказываний.
Где все это?
В общем, нить иди.
P.S. конструктухов и определяльщиков велосипедов вроде N,
из соседней нити, просьба воздержаться от высказываний.
>>0511 (OP)
комбинаторика подойдет?
лекции курса Jacob Lurie "Combinatorics (Math 155)"
https://www.math.ias.edu/~lurie/155.html
с задачами
комбинаторика подойдет?
лекции курса Jacob Lurie "Combinatorics (Math 155)"
https://www.math.ias.edu/~lurie/155.html
с задачами
>>0511 (OP)
или например первая бубликация от Алена Бадью (французский философ) была как раз про теорию моделей
Бадью, А. Понятие модели. Введение в материалистическую эпистемологию математики. (1969)
https://biblioclub.ru/index.php?page=author_red&id=130905
(перевода статьи на русский вроде нет, но гуглится перевод на украинский)
или например первая бубликация от Алена Бадью (французский философ) была как раз про теорию моделей
Бадью, А. Понятие модели. Введение в материалистическую эпистемологию математики. (1969)
https://biblioclub.ru/index.php?page=author_red&id=130905
(перевода статьи на русский вроде нет, но гуглится перевод на украинский)
>>0511 (OP)
Был же давно тред. Да он утонул.
Был же давно тред. Да он утонул.
Пишите, кто что доказывал по этой тематике. Может итоги какие имеются. Мб кто над счетными булевыми алгебрами, да над играми Эйренхойта работал - обо всём пишите.
ОП
ОП
>>0527
лучше поясните, каким образом "нити о дискретной математике" является одновременно "математической логики нитью"?
лучше поясните, каким образом "нити о дискретной математике" является одновременно "математической логики нитью"?
>>0532
Клоун, по себе не суди.
А тебе >>0531 невежда, обьясняю: в нормальных местах, а не в пещерах, откуда ты, видимо, выполз , под дискрой как раз таки и подразумевают изучение областей матлога - теории нумераций, определимости, сетей петри (ну это не совсем матлог), разрешимости, доказуемости и прочего.
Прошу больше не тролить тупостью, а, при наличии знаний, присоединяться к обсуждению.
Клоун, по себе не суди.
А тебе >>0531 невежда, обьясняю: в нормальных местах, а не в пещерах, откуда ты, видимо, выполз , под дискрой как раз таки и подразумевают изучение областей матлога - теории нумераций, определимости, сетей петри (ну это не совсем матлог), разрешимости, доказуемости и прочего.
Прошу больше не тролить тупостью, а, при наличии знаний, присоединяться к обсуждению.
>>0534
Слушай, мне побоку, что там в википедии написано. Что ты прицепился? По теме есть что сказать?
Слушай, мне побоку, что там в википедии написано. Что ты прицепился? По теме есть что сказать?
>>0535
По теме? Да, есть: лечись.
По теме? Да, есть: лечись.
Расскажите популярно о достижениях матлогики во второй половине XX века или скажите, где о них почитать.
>>0539
Жирар, жиРар, жираР: https://en.wikipedia.org/wiki/Ludics
Жан-Ив ушел таки дальше от классической логики, чем пресловутый Воеводский
Жирар, жиРар, жираР: https://en.wikipedia.org/wiki/Ludics
Жан-Ив ушел таки дальше от классической логики, чем пресловутый Воеводский
>>0533
вот это совсем не матлог, а типичный computer science, но анон конечно сейчас же уйдет в отрицание
>сетей петри (ну это не совсем матлог)
вот это совсем не матлог, а типичный computer science, но анон конечно сейчас же уйдет в отрицание
127 Кб, 543x885>>0535
Так википедия не при чем. Вот скрин содержания книги по дискретной математики.
>Слушай, мне побоку, что там в википедии написано.
Так википедия не при чем. Вот скрин содержания книги по дискретной математики.
Всё, артисты , утомили меня.
Тематика треда - матлог(хотя в тематике треда и НЕТ других слов).
Видимо, это всё что вы умеете - докапываться до малоиспользуемых в обычной мат. Жизни определений.
А теперь проваливайте, либо высказывайтесь по существу.
Тематика треда - матлог(хотя в тематике треда и НЕТ других слов).
Видимо, это всё что вы умеете - докапываться до малоиспользуемых в обычной мат. Жизни определений.
А теперь проваливайте, либо высказывайтесь по существу.
>>0549
Почитай model theory of Chang, Keisler. и можешь ещё матлогику Ершова, Палютина
Почитай model theory of Chang, Keisler. и можешь ещё матлогику Ершова, Палютина
>>0539
Взять хотя бы бы нечеткие логики - сейчас даже стиральные машины, некоторые, работают по ним
Взять хотя бы бы нечеткие логики - сейчас даже стиральные машины, некоторые, работают по ним
>>0556
Я про нечекую логику в стиральных машинах слышал от старшекуров, когда еще только в шарагу поступил в начале 00х. Прогресс то есть какой-нибудь?
Я про нечекую логику в стиральных машинах слышал от старшекуров, когда еще только в шарагу поступил в начале 00х. Прогресс то есть какой-нибудь?
>>0540
На вики скудно написано, а по запросу "линейная логика" в гугле борщехлебы-хаскелисты вылезают.
На вики скудно написано, а по запросу "линейная логика" в гугле борщехлебы-хаскелисты вылезают.
>>0553
сходи подмойся, маня, да побыстрее.
обрати внимание, в каких разделах твои топики:
https://arxiv.org/list/math.LO/recent
https://arxiv.org/list/cs.DM/recent
человеческими же буквами написано: там MATH, там CS.
не доходит?
>Всё, артисты , утомили меня.
сходи подмойся, маня, да побыстрее.
обрати внимание, в каких разделах твои топики:
https://arxiv.org/list/math.LO/recent
https://arxiv.org/list/cs.DM/recent
человеческими же буквами написано: там MATH, там CS.
не доходит?
>>0561
так на вики ссылка есть на (пред)последнюю работу "Locus Solum". типа ведущий логик, все должны познакомиться с его опусом, как алгебраисты с "Урожаями и посевами" Гро.
с другой стороны, нет ничего более безответственного, чем логик, читающий Losuc Solum, так и знайте.
так на вики ссылка есть на (пред)последнюю работу "Locus Solum". типа ведущий логик, все должны познакомиться с его опусом, как алгебраисты с "Урожаями и посевами" Гро.
с другой стороны, нет ничего более безответственного, чем логик, читающий Losuc Solum, так и знайте.
>>0567
потому что последняя "Logic 2.0"
https://girard.perso.math.cnrs.fr/KEIO2018.pdf
>(пред)последнюю
потому что последняя "Logic 2.0"
https://girard.perso.math.cnrs.fr/KEIO2018.pdf
>>0560
а погуглить?
Fuzzy sets and geometric logic
https://www.cs.bham.ac.uk/~sjv/GeoFuzzy.pdf
Fuzzy sets and presheaves
https://www.uwo.ca/math/faculty/jardine/preprints/fuzzy8.pdf
а погуглить?
Fuzzy sets and geometric logic
https://www.cs.bham.ac.uk/~sjv/GeoFuzzy.pdf
Fuzzy sets and presheaves
https://www.uwo.ca/math/faculty/jardine/preprints/fuzzy8.pdf
>>0577
это бот, реагирующий на ключевое слово?
это бот, реагирующий на ключевое слово?
>>0605
других аргументов не будет?
как и ожидалось, впрочем.
если у вас есть собственное определение DM, то занесите его в студию. только со ссылками на авторитетные источники, которые это определение подтверждают, плиз. поскольку пока что приведеные ссылки подтверждают противоположное.
>Ты тупой
>Ты, дегенерат
>ты ж поехавший
других аргументов не будет?
как и ожидалось, впрочем.
если у вас есть собственное определение DM, то занесите его в студию. только со ссылками на авторитетные источники, которые это определение подтверждают, плиз. поскольку пока что приведеные ссылки подтверждают противоположное.
>>0617
Модели, монады, модули, магмы, да и множества -- это все одно и то же. Применяется в засеве полей, отливе чугуна, нарезке древесины, дойке коров и других областях народного хозяйства.
Модели, монады, модули, магмы, да и множества -- это все одно и то же. Применяется в засеве полей, отливе чугуна, нарезке древесины, дойке коров и других областях народного хозяйства.
>>0624
Широка страна моя родная. Куда ни глянь — везде проявляется труд математиков. Зацветают монады на склонах декартовых замкнутых категорий. Колосятся сопряжения функторов. Под мудрым руководством теории категорий идёт строительство абстрактных фабрик паттернов. Звонкий смех пионеров раздаётся в рощах изоморфизмов. Сопрягайся, если хочешь быть здоров!
Не счесть числа приложений теории категорий. Тут тебе и тушение лесных пожаров, и решение транспортной проблемы, и кормление бездомных котят. Теория категорий даст каждому ребёнку по одному лэптопу. Теория категорий накормит голодных, утешит страждущих, разгонит заторможенных, обогреет тех, кто на морозе. Под знаменем копроизведения посвятим свою жизнь теории категорий! Аминь.
Широка страна моя родная. Куда ни глянь — везде проявляется труд математиков. Зацветают монады на склонах декартовых замкнутых категорий. Колосятся сопряжения функторов. Под мудрым руководством теории категорий идёт строительство абстрактных фабрик паттернов. Звонкий смех пионеров раздаётся в рощах изоморфизмов. Сопрягайся, если хочешь быть здоров!
Не счесть числа приложений теории категорий. Тут тебе и тушение лесных пожаров, и решение транспортной проблемы, и кормление бездомных котят. Теория категорий даст каждому ребёнку по одному лэптопу. Теория категорий накормит голодных, утешит страждущих, разгонит заторможенных, обогреет тех, кто на морозе. Под знаменем копроизведения посвятим свою жизнь теории категорий! Аминь.
Да ладно вам сраться по поводу определения дискретной математики, все ж понимают, что ее содержание определяет линия партии наследников дела новой залупы. Что они скажут, то и дискра.
>>0692
А куда ты старую дел? Ты что же это - за свержение власти, разбойник?!
>>0549
Ещё вспомнил - почитай
"Справочник по математической логике в четырех частях ".
>>0640
>>0624
Ну смешно, конечно, но вот давайте честно - ладно, я понял, что никакого отношения к матлогу вы не имеете. Но ведь и про категории вы только шутеечки ж делать можете)
ОП
А куда ты старую дел? Ты что же это - за свержение власти, разбойник?!
>>0549
Ещё вспомнил - почитай
"Справочник по математической логике в четырех частях ".
>>0640
>>0624
Ну смешно, конечно, но вот давайте честно - ладно, я понял, что никакого отношения к матлогу вы не имеете. Но ведь и про категории вы только шутеечки ж делать можете)
ОП
>>0522
Звучит как что-то плохое.
>Введение в материалистическую эпистемологию математики
>материалистическую эпистемологию
Звучит как что-то плохое.
>>0736
И это тоже, да.
И это тоже, да.
>>0511 (OP)
Что необходимо и достаточно прочитать и понять по матлогике среднестатистическому студенту-математику?
Что необходимо и достаточно прочитать и понять по матлогике среднестатистическому студенту-математику?
>>0752
классно же как!
продифференцируйте, плз, множество из m элементов.
ой, нет, лучше из k элементов.
классно же как!
продифференцируйте, плз, множество из m элементов.
ой, нет, лучше из k элементов.
>>0761
Это всё?
>Почитай model theory of Chang, Keisler. и можешь ещё матлогику Ершова, Палютина
>"Справочник по математической логике в четырех частях ".
Это всё?
>>0792
Это книги по полтысячи страниц, а матлог справочник к тому же из четырех частей.
Ты их уже все прочел? Если нет то да, пока что это все.
Это книги по полтысячи страниц, а матлог справочник к тому же из четырех частей.
Ты их уже все прочел? Если нет то да, пока что это все.
>>0821
еще раз, лучше открыть этот гайд и учиться по нему:
https://www.academia.edu/41267813/Teach_Yourself_Logic_2020a_A_Study_Guide_midyear_update_
чем тратить своей время на какие-то справочники и ершовых-ширшовых в стране, где логика умерла уже 30 лет.
еще раз, лучше открыть этот гайд и учиться по нему:
https://www.academia.edu/41267813/Teach_Yourself_Logic_2020a_A_Study_Guide_midyear_update_
чем тратить своей время на какие-то справочники и ершовых-ширшовых в стране, где логика умерла уже 30 лет.
>>0814
Спасибо, ОП.
Спасибо, ОП.
>>0824
логичнее было бы говорить, что это страна умерла 30 лет назад, а была ли в ней до этого логика - это тот еще вопрос.
>в стране, где логика умерла уже 30 лет.
логичнее было бы говорить, что это страна умерла 30 лет назад, а была ли в ней до этого логика - это тот еще вопрос.
>>0964
Это тролинг? Нет, не квантор.
Это тролинг? Нет, не квантор.
>>1049
Он наверное про то, что использование знаков кванторов вместо слов "все" и "существует" существенно снижает читаемость, и в статьях их никто не пишет, но сами по себе кванторы в текстовой форме конечно необходимы.
Он наверное про то, что использование знаков кванторов вместо слов "все" и "существует" существенно снижает читаемость, и в статьях их никто не пишет, но сами по себе кванторы в текстовой форме конечно необходимы.
>>1074
Просто не все люди могут в кванторы, вот отсюда и такие мысли появляются.
Просто не все люди могут в кванторы, вот отсюда и такие мысли появляются.
Почему континуум-гипотеза не зависит от ZFC? Есть ли мощности между мощностью |N| и |R|?
>>1654
Почему она не зависит - интересный вопрос. Априори не усматривается, что аксиом ZFC не хватает. Проблему континуума решили с помощью новой аксиомы - грубо говоря, что любую теоретико-множественную вселенную можно вложить в строго большую вселенную. Это противоречит подходу Кантора, который пытался выстроить теорию самой большой вселенной, содержащей все вообще множества.
Почему она не зависит - интересный вопрос. Априори не усматривается, что аксиом ZFC не хватает. Проблему континуума решили с помощью новой аксиомы - грубо говоря, что любую теоретико-множественную вселенную можно вложить в строго большую вселенную. Это противоречит подходу Кантора, который пытался выстроить теорию самой большой вселенной, содержащей все вообще множества.
>>2777
Поясни, что ты имеешь в виду под "используются".
Поясни, что ты имеешь в виду под "используются".
>>0567
Выглядит как очередной "фреймворк логических фреймворков" унылый до невозможности, с 40 страницами философских опровданий на тему того почему это нужно и важно и с нулевой оглядкой на реальную математическую практику. Воеводский хотя бы основания теории гомотопий переписать по-нормальному хотел (получилось хуёво правда), а этот что? А этот ничего.
>Locus Solum
Выглядит как очередной "фреймворк логических фреймворков" унылый до невозможности, с 40 страницами философских опровданий на тему того почему это нужно и важно и с нулевой оглядкой на реальную математическую практику. Воеводский хотя бы основания теории гомотопий переписать по-нормальному хотел (получилось хуёво правда), а этот что? А этот ничего.
Всем привет. Читаю тут книжку одну(пикча 1). Ну и там натыкаюсь вот на это и не понимаю, как связана комбинаторика с этим и откуда вообще 16 функций беруться. Полез в учебик по дискретке, там буквально то, что на остальных пикчах. Я, канеш, могу все просто на веру принять и не разбираться че к чему, но хотелось бы понять почему так. Почему одна переменная дает 4 варианта, а две 16? Откуда вообще это все берется? А в таблице для трех будут еще какие-то новые функции? Как понять, что они точно будут и какие? Короче в моей голове не складывается причинно-следственная связь, может мне аноны как-то по-другому объяснят, чтобы я понял.
>>3176
Область определения состоит из $2^n$ элементов, тебе нужно выбрать подмножество области определения которое будет отображаться в 1, остальное будет отображаться в 0, это можно сделать $2^{2^n}$ способами.
Область определения состоит из $2^n$ элементов, тебе нужно выбрать подмножество области определения которое будет отображаться в 1, остальное будет отображаться в 0, это можно сделать $2^{2^n}$ способами.
>>3189
Я не знаю, что значит отображается, если честно. Мне понятно, что область определения состоит из 4ех пар нулей и единиц при n=2, а область значений это 1 и 0. Но тогда я не врубаюсь в то, что на третьем скрине. Как связаны второй и третий столбец? Почему взяты такие иксы именно и почему 0001 это конъюнкция, например? Вообще цифры от 0000 до 1111 это что? Или тип иксы не важны, какие писать, а цифры это просто для нумерации функций написали?
Я не знаю, что значит отображается, если честно. Мне понятно, что область определения состоит из 4ех пар нулей и единиц при n=2, а область значений это 1 и 0. Но тогда я не врубаюсь в то, что на третьем скрине. Как связаны второй и третий столбец? Почему взяты такие иксы именно и почему 0001 это конъюнкция, например? Вообще цифры от 0000 до 1111 это что? Или тип иксы не важны, какие писать, а цифры это просто для нумерации функций написали?
>>3192
Вот они у тебя вертикально и изображены. Конъюнкция это 0001 потому что таким образом перечислены варианты значений x1,x2 в заголовке
0 0 1 1 |
0 1 0 1 |<-- 4 пары нулей и единиц
_____
0 0 0 1 <-- 1 из 16 вариантов выбора для каждой пары 1 или 0
>Мне понятно, что область определения состоит из 4ех пар нулей и единиц при n=2, а область значений это 1 и 0
Вот они у тебя вертикально и изображены. Конъюнкция это 0001 потому что таким образом перечислены варианты значений x1,x2 в заголовке
0 0 1 1 |
0 1 0 1 |<-- 4 пары нулей и единиц
_____
0 0 0 1 <-- 1 из 16 вариантов выбора для каждой пары 1 или 0
>>3193
0 0 1 1 |
0 1 0 1 |<-- 4 пары нулей и единиц
Тут понял, чет я затупил, мне казалось, что пары должны быть написаны горизонтально, лол
_____
0 0 0 1 <-- 1 из 16 вариантов выбора для каждой пары 1 или 0
Ну, т.е. это просто номер функции? Связи с третьим столбиком нет никакой? Типа, условно конъюнкция могла бы быть и 0011 по номеру, но решили, что будет 0001?
>
0 0 1 1 |
0 1 0 1 |<-- 4 пары нулей и единиц
Тут понял, чет я затупил, мне казалось, что пары должны быть написаны горизонтально, лол
>
_____
0 0 0 1 <-- 1 из 16 вариантов выбора для каждой пары 1 или 0
Ну, т.е. это просто номер функции? Связи с третьим столбиком нет никакой? Типа, условно конъюнкция могла бы быть и 0011 по номеру, но решили, что будет 0001?
Может кто посоветовать, где понятно и прям для тупых описывается как доказывать выражения в мат логике?
>>3283
Яблонский Введение в дискретную математику
Яблонский Введение в дискретную математику
>>3384
когда-то хотели запилить общетифаретный дискорд, миша приветствовал, но так и не случилось, а потом средний анон отупел, часть ушла, и сейчас вообще похуй на эту идею
когда-то хотели запилить общетифаретный дискорд, миша приветствовал, но так и не случилось, а потом средний анон отупел, часть ушла, и сейчас вообще похуй на эту идею
>>3395
Боба, спок
Боба, спок