М.Двач / Математика

Математической логики нить. 20 фев 2021, 07:43 80511 В конец треда | Веб

1,5 Мб, 1456x181950 Кб, 400x27167 Кб, 310x40029 Кб, 476x629

Почему всё ещё нет нити о дискретной математике? Места, где бы обсуждали суператомные алгебры, полные теории, Σ-определимость? И самое главное - Теорию моделей .
Где все это?

В общем, нить иди.

P.S. конструктухов и определяльщиков велосипедов вроде N,
из соседней нити, просьба воздержаться от высказываний.

Ответы0521052205240758

2 20 фев 2021, 12:45 2 80521

>>80511 (OP)
комбинаторика подойдет?

лекции курса Jacob Lurie "Combinatorics (Math 155)"
https://www.math.ias.edu/~lurie/155.html
с задачами

3 20 фев 2021, 12:48 3 80522

>>80511 (OP)
или например первая бубликация от Алена Бадью (французский философ) была как раз про теорию моделей

Бадью, А. Понятие модели. Введение в материалистическую эпистемологию математики. (1969)
https://biblioclub.ru/index.php?page=author_red&id=130905

(перевода статьи на русский вроде нет, но гуглится перевод на украинский)

Ответы0702

4 20 фев 2021, 13:58 4 80524

>>80511 (OP)
Был же давно тред. Да он утонул.

5 20 фев 2021, 15:21 5 80527

Пишите, кто что доказывал по этой тематике. Может итоги какие имеются. Мб кто над счетными булевыми алгебрами, да над играми Эйренхойта работал - обо всём пишите.

ОП

Ответы0531

6 20 фев 2021, 16:43 6 80531

>>80527
лучше поясните, каким образом "нити о дискретной математике" является одновременно "математической логики нитью"?

Ответы05320533

7 20 фев 2021, 16:54 7 80532

>>80531
Он программист просто. У них это в одном курсе.

Ответы0533

8 20 фев 2021, 17:34 8 80533

>>80532
Клоун, по себе не суди.

А тебе >>80531 невежда, обьясняю: в нормальных местах, а не в пещерах, откуда ты, видимо, выполз , под дискрой как раз таки и подразумевают изучение областей матлога - теории нумераций, определимости, сетей петри (ну это не совсем матлог), разрешимости, доказуемости и прочего.

Прошу больше не тролить тупостью, а, при наличии знаний, присоединяться к обсуждению.

Ответы05340541

9 20 фев 2021, 17:56 9 80534

>>80533
>под дискрой как раз таки
А графы разве не дискра? А комбинаторика? Хм...

Ответы0535

10 20 фев 2021, 18:25 10 80535

>>80534
Слушай, мне побоку, что там в википедии написано. Что ты прицепился? По теме есть что сказать?

Ответы05380543

11 20 фев 2021, 20:01 11 80538

>>80535
По теме? Да, есть: лечись.

12 20 фев 2021, 20:39 12 80539

Расскажите популярно о достижениях матлогики во второй половине XX века или скажите, где о них почитать.

Ответы05400556

13 20 фев 2021, 22:09 13 80540

>>80539
Жирар, жиРар, жираР: https://en.wikipedia.org/wiki/Ludics
Жан-Ив ушел таки дальше от классической логики, чем пресловутый Воеводский

Ответы0561

14 20 фев 2021, 22:11 14 80541

>>80533
>сетей петри (ну это не совсем матлог)
вот это совсем не матлог, а типичный computer science, но анон конечно сейчас же уйдет в отрицание

Ответы0554

127 Кб, 543x885
15 20 фев 2021, 23:53 15 80543

>>80535
>Слушай, мне побоку, что там в википедии написано.
Так википедия не при чем. Вот скрин содержания книги по дискретной математики.

Ответы05543283

16 21 фев 2021, 00:52 16 80549

Что почитать по математической логики на русском?

Ответы05550694

17 21 фев 2021, 05:45 17 80553

Всё, артисты , утомили меня.

Тематика треда - матлог(хотя в тематике треда и НЕТ других слов).

Видимо, это всё что вы умеете - докапываться до малоиспользуемых в обычной мат. Жизни определений.

А теперь проваливайте, либо высказывайтесь по существу.

Ответы0564

18 21 фев 2021, 05:46 18 80554

Это я писал >>80543, >>80541 и подобным персонажам.

19 21 фев 2021, 06:08 19 80555

>>80549
Почитай model theory of Chang, Keisler. и можешь ещё матлогику Ершова, Палютина

20 21 фев 2021, 06:10 20 80556

>>80539
Взять хотя бы бы нечеткие логики - сейчас даже стиральные машины, некоторые, работают по ним

Ответы0560

21 21 фев 2021, 10:48 21 80560

>>80556
Я про нечекую логику в стиральных машинах слышал от старшекуров, когда еще только в шарагу поступил в начале 00х. Прогресс то есть какой-нибудь?

Ответы0569

22 21 фев 2021, 10:50 22 80561

>>80540
На вики скудно написано, а по запросу "линейная логика" в гугле борщехлебы-хаскелисты вылезают.

Ответы0567

23 21 фев 2021, 12:21 23 80564

>>80553
>Всё, артисты , утомили меня.
сходи подмойся, маня, да побыстрее.

обрати внимание, в каких разделах твои топики:

https://arxiv.org/list/math.LO/recent
https://arxiv.org/list/cs.DM/recent

человеческими же буквами написано: там MATH, там CS.
не доходит?

Ответы05720573

24 21 фев 2021, 12:44 24 80567

>>80561
так на вики ссылка есть на (пред)последнюю работу "Locus Solum". типа ведущий логик, все должны познакомиться с его опусом, как алгебраисты с "Урожаями и посевами" Гро.

с другой стороны, нет ничего более безответственного, чем логик, читающий Losuc Solum, так и знайте.

Ответы05682830

25 21 фев 2021, 12:46 25 80568

>>80567
>(пред)последнюю
потому что последняя "Logic 2.0"
https://girard.perso.math.cnrs.fr/KEIO2018.pdf

26 21 фев 2021, 12:53 26 80569

>>80560
а погуглить?

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

27 21 фев 2021, 13:15 27 80572

>>80564
Маня? Тебя так твой ебырь называет?
Я уже сказал тебе: уёбывай

28 21 фев 2021, 13:18 28 80573

>>80564
Да, и мне похуй, какое определение дискры тебе на жопе написали.

Здесь тред про матлог. Всё.

Ответы0587

284 Кб, 720x405
29 21 фев 2021, 15:02 29 80577

>>80569
>presheaves

Ответы0588

30 21 фев 2021, 20:54 30 80587

>>80573
>определение дискры
>про матлог
два галоперидола этому господину!

Ответы0605

31 21 фев 2021, 20:54 31 80588

>>80577
это бот, реагирующий на ключевое слово?

32 21 фев 2021, 22:16 32 80594

Теперь это тред определения N дискретной математики.

Ответы06050752

33 22 фев 2021, 07:38 33 80605

>>80594
N - петух, уходи.
>>80587
Ты тупой? Ты, дегенерат, всю нить пытаешься мне доказать, что мое определение дискретной математики неправильное, что дискра должна включать в себя то-то и то-то, и в итоге смеешься со словосочетания:" определение дискры " ?

Да ты ж поехавший. Уёбывай.

Ответы0616

34 22 фев 2021, 19:30 34 80616

>>80605
>Ты тупой
>Ты, дегенерат
>ты ж поехавший

других аргументов не будет?
как и ожидалось, впрочем.

если у вас есть собственное определение DM, то занесите его в студию. только со ссылками на авторитетные источники, которые это определение подтверждают, плиз. поскольку пока что приведеные ссылки подтверждают противоположное.

35 22 фев 2021, 19:44 35 80617

Что такое теория моделей и где она применяется? Модели и модули это разные вещи?

Ответы0624

36 22 фев 2021, 23:44 36 80624

>>80617

Модели, монады, модули, магмы, да и множества -- это все одно и то же. Применяется в засеве полей, отливе чугуна, нарезке древесины, дойке коров и других областях народного хозяйства.

Ответы06400694

37 23 фев 2021, 22:38 37 80640

>>80624

Широка страна моя родная. Куда ни глянь — везде проявляется труд математиков. Зацветают монады на склонах декартовых замкнутых категорий. Колосятся сопряжения функторов. Под мудрым руководством теории категорий идёт строительство абстрактных фабрик паттернов. Звонкий смех пионеров раздаётся в рощах изоморфизмов. Сопрягайся, если хочешь быть здоров!

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

Ответы06450694

38 24 фев 2021, 00:39 38 80645

>>80640
https://www.youtube.com/watch?v=-Ahwa7qMUX8

39 25 фев 2021, 06:15 39 80692

Да ладно вам сраться по поводу определения дискретной математики, все ж понимают, что ее содержание определяет линия партии наследников дела новой залупы. Что они скажут, то и дискра.

Ответы06930694

40 25 фев 2021, 07:06 40 80693

>>80692
А эта залупа прогер или математик?

41 25 фев 2021, 07:06 41 80694

>>80692
А куда ты старую дел? Ты что же это - за свержение власти, разбойник?!

>>80549
Ещё вспомнил - почитай
"Справочник по математической логике в четырех частях ".

>>80640
>>80624
Ну смешно, конечно, но вот давайте честно - ладно, я понял, что никакого отношения к матлогу вы не имеете. Но ведь и про категории вы только шутеечки ж делать можете)

ОП

42 25 фев 2021, 09:57 42 80702

>>80522
>Введение в материалистическую эпистемологию математики
>материалистическую эпистемологию
Звучит как что-то плохое.

Ответы0736

43 25 фев 2021, 19:39 43 80736

>>80702
Уже на словах французский философ запахло говном.

Ответы0744

44 25 фев 2021, 22:08 44 80744

>>80736
И это тоже, да.

45 26 фев 2021, 00:16 45 80752

>>80594
Дискретная математика это анализ на конечных множествах

Ответы07560785

46 26 фев 2021, 09:12 46 80756

>>80752
>анализ на конечных множествах
В каком смысле анализ? В смысле матанализа что ли?

47 26 фев 2021, 09:17 47 80758

>>80511 (OP)
Что необходимо и достаточно прочитать и понять по матлогике среднестатистическому студенту-математику?

Ответы0761

48 26 фев 2021, 10:27 48 80761

>>80758
Тред почитай. Я отвечал два раза на этот вопрос.

ОП

Ответы0792

49 26 фев 2021, 16:31 49 80785

>>80752
классно же как!
продифференцируйте, плз, множество из m элементов.
ой, нет, лучше из k элементов.

50 26 фев 2021, 17:05 50 80792

>>80761
>Почитай model theory of Chang, Keisler. и можешь ещё матлогику Ершова, Палютина
>"Справочник по математической логике в четырех частях ".
Это всё?

Ответы0814

51 27 фев 2021, 10:11 51 80814

>>80792
Это книги по полтысячи страниц, а матлог справочник к тому же из четырех частей.

Ты их уже все прочел? Если нет то да, пока что это все.

Ответы08200827

52 27 фев 2021, 12:02 52 80820

>>80814
кому нафиг нужно читать справочник? Лучше взять хороший западный учебник.

Ответы0821

53 27 фев 2021, 12:40 53 80821

>>80820
Ебанный ты тридцатью тремя якорями тролль, уёбывай. уёбывай

Ответы0824

54 27 фев 2021, 13:11 54 80824

>>80821
еще раз, лучше открыть этот гайд и учиться по нему:
https://www.academia.edu/41267813/Teach_Yourself_Logic_2020a_A_Study_Guide_midyear_update_
чем тратить своей время на какие-то справочники и ершовых-ширшовых в стране, где логика умерла уже 30 лет.

Ответы08260838

55 27 фев 2021, 14:30 55 80826

>>80824
>ещё раз
у ё б ы в а й

56 27 фев 2021, 15:29 56 80827

>>80814
Спасибо, ОП.

57 27 фев 2021, 18:37 57 80838

>>80824
>в стране, где логика умерла уже 30 лет.
логичнее было бы говорить, что это страна умерла 30 лет назад, а была ли в ней до этого логика - это тот еще вопрос.

58 2 мар 2021, 15:24 58 80943

Какие ещё существуют кванторы кроме квантора существования и всеобщности?

Ответы094909641029

59 2 мар 2021, 17:41 59 80949

>>80943
Ограниченные кванторы

Оп

60 2 мар 2021, 20:30 60 80964

>>80943
разве равенство - не квантор?

Ответы1048

61 3 мар 2021, 14:25 61 81029

>>80943
Кванторы только мешают математике и логике

Ответы1049

62 4 мар 2021, 05:02 62 81048

>>80964
Это тролинг? Нет, не квантор.

63 4 мар 2021, 05:03 63 81049

>>81029
Это как сказать: "буквы только мешают языку". Ты больной?

Ответы10681070

64 4 мар 2021, 17:24 64 81068

>>81049

Он наверное про то, что использование знаков кванторов вместо слов "все" и "существует" существенно снижает читаемость, и в статьях их никто не пишет, но сами по себе кванторы в текстовой форме конечно необходимы.

Ответы1070

65 4 мар 2021, 18:48 65 81070

>>81068
>>81049
Нужны буквы (переменные) и алгебра Буля, а кванторы это так, филология. Даже тот же предел без кванторов гораздо понятней.

Ответы1074

66 4 мар 2021, 19:40 66 81074

>>81070

А как предел без кванторов выглядит?

Ответы1410

67 14 мар 2021, 11:39 67 81410

>>81074
Просто не все люди могут в кванторы, вот отсюда и такие мысли появляются.

68 20 мар 2021, 17:16 68 81654

Почему континуум-гипотеза не зависит от ZFC? Есть ли мощности между мощностью |N| и |R|?

Ответы16561674

69 20 мар 2021, 19:54 69 81656

>>81654
https://www.amazon.com/Theory-Continuum-Hypothesis-Dover-Mathematics/dp/0486469212?

70 21 мар 2021, 02:33 70 81674

>>81654
Почему она не зависит - интересный вопрос. Априори не усматривается, что аксиом ZFC не хватает. Проблему континуума решили с помощью новой аксиомы - грубо говоря, что любую теоретико-множественную вселенную можно вложить в строго большую вселенную. Это противоречит подходу Кантора, который пытался выстроить теорию самой большой вселенной, содержащей все вообще множества.

71 23 апр 2021, 19:46 71 82777

Где используются мощности больше чем континуум за пределами математической логики?

Ответы27812785

72 23 апр 2021, 22:20 72 82781

>>82777
Поясни, что ты имеешь в виду под "используются".

73 24 апр 2021, 09:29 73 82785

>>82777
Из простого например https://math.stackexchange.com/a/770223

74 26 апр 2021, 02:08 74 82830

>>80567
>Locus Solum
Выглядит как очередной "фреймворк логических фреймворков" унылый до невозможности, с 40 страницами философских опровданий на тему того почему это нужно и важно и с нулевой оглядкой на реальную математическую практику. Воеводский хотя бы основания теории гомотопий переписать по-нормальному хотел (получилось хуёво правда), а этот что? А этот ничего.

75 7 мая 2021, 20:07 75 83176

87 Кб, 769x38863 Кб, 987x653121 Кб, 760x1025

Всем привет. Читаю тут книжку одну(пикча 1). Ну и там натыкаюсь вот на это и не понимаю, как связана комбинаторика с этим и откуда вообще 16 функций беруться. Полез в учебик по дискретке, там буквально то, что на остальных пикчах. Я, канеш, могу все просто на веру принять и не разбираться че к чему, но хотелось бы понять почему так. Почему одна переменная дает 4 варианта, а две 16? Откуда вообще это все берется? А в таблице для трех будут еще какие-то новые функции? Как понять, что они точно будут и какие? Короче в моей голове не складывается причинно-следственная связь, может мне аноны как-то по-другому объяснят, чтобы я понял.

Ответы3189

76 8 мая 2021, 02:00 76 83189

>>83176
Область определения состоит из $2^n$ элементов, тебе нужно выбрать подмножество области определения которое будет отображаться в 1, остальное будет отображаться в 0, это можно сделать $2^{2^n}$ способами.

Ответы3192

77 8 мая 2021, 05:26 77 83192

>>83189
Я не знаю, что значит отображается, если честно. Мне понятно, что область определения состоит из 4ех пар нулей и единиц при n=2, а область значений это 1 и 0. Но тогда я не врубаюсь в то, что на третьем скрине. Как связаны второй и третий столбец? Почему взяты такие иксы именно и почему 0001 это конъюнкция, например? Вообще цифры от 0000 до 1111 это что? Или тип иксы не важны, какие писать, а цифры это просто для нумерации функций написали?

Ответы3193

78 8 мая 2021, 07:50 78 83193

>>83192
>Мне понятно, что область определения состоит из 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

Ответы3223

79 8 мая 2021, 18:04 79 83223

>>83193
>
0 0 1 1 |
0 1 0 1 |<-- 4 пары нулей и единиц

Тут понял, чет я затупил, мне казалось, что пары должны быть написаны горизонтально, лол
>
_____
0 0 0 1 <-- 1 из 16 вариантов выбора для каждой пары 1 или 0

Ну, т.е. это просто номер функции? Связи с третьим столбиком нет никакой? Типа, условно конъюнкция могла бы быть и 0011 по номеру, но решили, что будет 0001?

80 9 мая 2021, 14:41 80 83250

Может кто посоветовать, где понятно и прям для тупых описывается как доказывать выражения в мат логике?

Ответы3290

81 10 мая 2021, 16:55 81 83283

>>80543
что за книга?

Ответы3293

82 10 мая 2021, 20:27 82 83290

>>83250
https://www.math.ucla.edu/~tao/QED/QED.html

83 11 мая 2021, 02:21 83 83293

>>83283
Яблонский Введение в дискретную математику

84 13 мая 2021, 19:22 84 83357

lj.rossia.org/users/tiphareth/2339025.html?thread=148520401

Ответы3384

85 14 мая 2021, 18:16 85 83384

>>83357
Почему Тифарет не станет видеоблогером, может самого Савватеева бы обогнал?

Ответы33853394

86 14 мая 2021, 18:56 86 83385

>>83384
когда-то хотели запилить общетифаретный дискорд, миша приветствовал, но так и не случилось, а потом средний анон отупел, часть ушла, и сейчас вообще похуй на эту идею

87 15 мая 2021, 00:46 87 83394

>>83384
Любой видеоблогер это говно кроме Шамов Дмитрий , думаю, поэтому

Ответы3395

103 Кб, 229x220
88 15 мая 2021, 04:09 88 83395

>>83394
>Шамов Дмитрий
Ну, это не говно, а пудель.

Ответы3397

89 15 мая 2021, 07:47 89 83397

>>83395
Боба, спок

Обновить тред
« /math/В начало тредаВеб-версияНастройки/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion