Математика

Ответить в тред Ответить в тред
Check this out!
Математической логики нить. Аноним 20/02/21 Суб 07:43:53 805111
RobertL.Vaught1[...].jpg 1534Кб, 1456x1819
1456x1819
AlfredTarski196[...].jpeg 50Кб, 400x271
400x271
ershovyuriyleon[...].jpg 67Кб, 310x400
310x400
JerzyLosc1955.jpg 29Кб, 476x629
476x629
Почему всё ещё нет нити о дискретной математике? Места, где бы обсуждали суператомные алгебры, полные теории, Σ-определимость? И самое главное - Теорию моделей .
Где все это?

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

P.S. конструктухов и определяльщиков велосипедов вроде N,
из соседней нити, просьба воздержаться от высказываний.
Аноним 20/02/21 Суб 12:45:01 805212
Аноним 20/02/21 Суб 12:48:45 805223
>>80511 (OP)
или например первая бубликация от Алена Бадью (французский философ) была как раз про теорию моделей

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

(перевода статьи на русский вроде нет, но гуглится перевод на украинский)
Аноним 20/02/21 Суб 13:58:07 805244
>>80511 (OP)
Был же давно тред. Да он утонул.
Аноним 20/02/21 Суб 15:21:06 805275
Пишите, кто что доказывал по этой тематике. Может итоги какие имеются. Мб кто над счетными булевыми алгебрами, да над играми Эйренхойта работал - обо всём пишите.

ОП
Аноним 20/02/21 Суб 16:43:43 805316
>>80527
лучше поясните, каким образом "нити о дискретной математике" является одновременно "математической логики нитью"?
Аноним 20/02/21 Суб 16:54:20 805327
>>80531
Он программист просто. У них это в одном курсе.
Аноним 20/02/21 Суб 17:34:28 805338
>>80532
Клоун, по себе не суди.

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

Прошу больше не тролить тупостью, а, при наличии знаний, присоединяться к обсуждению.
Аноним 20/02/21 Суб 17:56:16 805349
>>80533
>под дискрой как раз таки
А графы разве не дискра? А комбинаторика? Хм...
Аноним 20/02/21 Суб 18:25:36 8053510
>>80534
Слушай, мне побоку, что там в википедии написано. Что ты прицепился? По теме есть что сказать?
Аноним 20/02/21 Суб 20:01:12 8053811
>>80535
По теме? Да, есть: лечись.
Аноним 20/02/21 Суб 20:39:11 8053912
Расскажите популярно о достижениях матлогики во второй половине XX века или скажите, где о них почитать.
Аноним 20/02/21 Суб 22:09:21 8054013
>>80539
Жирар, жиРар, жираР: https://en.wikipedia.org/wiki/Ludics
Жан-Ив ушел таки дальше от классической логики, чем пресловутый Воеводский
Аноним 20/02/21 Суб 22:11:49 8054114
>>80533
>сетей петри (ну это не совсем матлог)
вот это совсем не матлог, а типичный computer science, но анон конечно сейчас же уйдет в отрицание
Аноним 20/02/21 Суб 23:53:06 8054315
image.png 127Кб, 543x885
543x885
>>80535
>Слушай, мне побоку, что там в википедии написано.
Так википедия не при чем. Вот скрин содержания книги по дискретной математики.
Аноним 21/02/21 Вск 00:52:35 8054916
Что почитать по математической логики на русском?
Аноним 21/02/21 Вск 05:45:44 8055317
Всё, артисты , утомили меня.

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

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

А теперь проваливайте, либо высказывайтесь по существу.
Аноним 21/02/21 Вск 05:46:37 8055418
Это я писал >>80543, >>80541 и подобным персонажам.
Аноним 21/02/21 Вск 06:08:22 8055519
>>80549
Почитай model theory of Chang, Keisler. и можешь ещё матлогику Ершова, Палютина
Аноним 21/02/21 Вск 06:10:31 8055620
>>80539
Взять хотя бы бы нечеткие логики - сейчас даже стиральные машины, некоторые, работают по ним
Аноним 21/02/21 Вск 10:48:03 8056021
>>80556
Я про нечекую логику в стиральных машинах слышал от старшекуров, когда еще только в шарагу поступил в начале 00х. Прогресс то есть какой-нибудь?
Аноним 21/02/21 Вск 10:50:53 8056122
>>80540
На вики скудно написано, а по запросу "линейная логика" в гугле борщехлебы-хаскелисты вылезают.
Аноним 21/02/21 Вск 12:21:07 8056423
Аноним 21/02/21 Вск 12:44:13 8056724
>>80561
так на вики ссылка есть на (пред)последнюю работу "Locus Solum". типа ведущий логик, все должны познакомиться с его опусом, как алгебраисты с "Урожаями и посевами" Гро.

с другой стороны, нет ничего более безответственного, чем логик, читающий Losuc Solum, так и знайте.
Аноним 21/02/21 Вск 12:46:51 8056825
Аноним 21/02/21 Вск 12:53:39 8056926
Аноним 21/02/21 Вск 13:15:55 8057227
>>80564
Маня? Тебя так твой ебырь называет?
Я уже сказал тебе: уёбывай
Аноним 21/02/21 Вск 13:18:07 8057328
>>80564
Да, и мне похуй, какое определение дискры тебе на жопе написали.

Здесь тред про матлог. Всё.
Аноним 21/02/21 Вск 15:02:13 8057729
image.png 284Кб, 720x405
720x405
Аноним 21/02/21 Вск 20:54:05 8058730
>>80573
>определение дискры
>про матлог
два галоперидола этому господину!
Аноним 21/02/21 Вск 20:54:52 8058831
>>80577
это бот, реагирующий на ключевое слово?
Аноним 21/02/21 Вск 22:16:03 8059432
Теперь это тред определения N дискретной математики.
Аноним 22/02/21 Пнд 07:38:37 8060533
>>80594
N - петух, уходи.
>>80587
Ты тупой? Ты, дегенерат, всю нить пытаешься мне доказать, что мое определение дискретной математики неправильное, что дискра должна включать в себя то-то и то-то, и в итоге смеешься со словосочетания:" определение дискры " ?

Да ты ж поехавший. Уёбывай.
Аноним 22/02/21 Пнд 19:30:52 8061634
>>80605
>Ты тупой
>Ты, дегенерат
>ты ж поехавший

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

если у вас есть собственное определение DM, то занесите его в студию. только со ссылками на авторитетные источники, которые это определение подтверждают, плиз. поскольку пока что приведеные ссылки подтверждают противоположное.
Аноним 22/02/21 Пнд 19:44:20 8061735
Что такое теория моделей и где она применяется? Модели и модули это разные вещи?
Аноним 22/02/21 Пнд 23:44:33 8062436
>>80617

Модели, монады, модули, магмы, да и множества -- это все одно и то же. Применяется в засеве полей, отливе чугуна, нарезке древесины, дойке коров и других областях народного хозяйства.
Аноним 23/02/21 Втр 22:38:56 8064037
>>80624

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

Не счесть числа приложений теории категорий. Тут тебе и тушение лесных пожаров, и решение транспортной проблемы, и кормление бездомных котят. Теория категорий даст каждому ребёнку по одному лэптопу. Теория категорий накормит голодных, утешит страждущих, разгонит заторможенных, обогреет тех, кто на морозе. Под знаменем копроизведения посвятим свою жизнь теории категорий! Аминь.
Аноним 24/02/21 Срд 00:39:15 8064538
Аноним 25/02/21 Чтв 06:15:57 8069239
Да ладно вам сраться по поводу определения дискретной математики, все ж понимают, что ее содержание определяет линия партии наследников дела новой залупы. Что они скажут, то и дискра.
Аноним 25/02/21 Чтв 07:06:07 8069340
>>80692
А эта залупа прогер или математик?
Аноним 25/02/21 Чтв 07:06:23 8069441
>>80692
А куда ты старую дел? Ты что же это - за свержение власти, разбойник?!

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

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

ОП
Аноним 25/02/21 Чтв 09:57:22 8070242
>>80522
>Введение в материалистическую эпистемологию математики
>материалистическую эпистемологию
Звучит как что-то плохое.
Аноним 25/02/21 Чтв 19:39:04 8073643
>>80702
Уже на словах французский философ запахло говном.
Аноним 25/02/21 Чтв 22:08:49 8074444
Аноним 26/02/21 Птн 00:16:02 8075245
>>80594
Дискретная математика это анализ на конечных множествах
Аноним 26/02/21 Птн 09:12:53 8075646
>>80752
>анализ на конечных множествах
В каком смысле анализ? В смысле матанализа что ли?
Аноним 26/02/21 Птн 09:17:51 8075847
>>80511 (OP)
Что необходимо и достаточно прочитать и понять по матлогике среднестатистическому студенту-математику?
Аноним 26/02/21 Птн 10:27:19 8076148
>>80758
Тред почитай. Я отвечал два раза на этот вопрос.

ОП
Аноним 26/02/21 Птн 16:31:57 8078549
>>80752
классно же как!
продифференцируйте, плз, множество из m элементов.
ой, нет, лучше из k элементов.
Аноним 26/02/21 Птн 17:05:11 8079250
>>80761
>Почитай model theory of Chang, Keisler. и можешь ещё матлогику Ершова, Палютина
>"Справочник по математической логике в четырех частях ".
Это всё?
Аноним 27/02/21 Суб 10:11:31 8081451
>>80792
Это книги по полтысячи страниц, а матлог справочник к тому же из четырех частей.

Ты их уже все прочел? Если нет то да, пока что это все.
Аноним 27/02/21 Суб 12:02:15 8082052
>>80814
кому нафиг нужно читать справочник? Лучше взять хороший западный учебник.
Аноним 27/02/21 Суб 12:40:31 8082153
>>80820
Ебанный ты тридцатью тремя якорями тролль, уёбывай. уёбывай
Аноним 27/02/21 Суб 13:11:08 8082454
Аноним 27/02/21 Суб 14:30:44 8082655
>>80824
>ещё раз
у ё б ы в а й
Аноним 27/02/21 Суб 15:29:34 8082756
Аноним 27/02/21 Суб 18:37:16 8083857
>>80824
>в стране, где логика умерла уже 30 лет.
логичнее было бы говорить, что это страна умерла 30 лет назад, а была ли в ней до этого логика - это тот еще вопрос.
Аноним 02/03/21 Втр 15:24:23 8094358
Какие ещё существуют кванторы кроме квантора существования и всеобщности?
Аноним 02/03/21 Втр 17:41:46 8094959
>>80943
Ограниченные кванторы

Оп
Аноним 02/03/21 Втр 20:30:08 8096460
>>80943
разве равенство - не квантор?
Аноним 03/03/21 Срд 14:25:08 8102961
>>80943
Кванторы только мешают математике и логике
Аноним 04/03/21 Чтв 05:02:36 8104862
>>80964
Это тролинг? Нет, не квантор.
Аноним 04/03/21 Чтв 05:03:21 8104963
>>81029
Это как сказать: "буквы только мешают языку". Ты больной?
Аноним 04/03/21 Чтв 17:24:55 8106864
>>81049

Он наверное про то, что использование знаков кванторов вместо слов "все" и "существует" существенно снижает читаемость, и в статьях их никто не пишет, но сами по себе кванторы в текстовой форме конечно необходимы.
Аноним 04/03/21 Чтв 18:48:32 8107065
>>81068
>>81049
Нужны буквы (переменные) и алгебра Буля, а кванторы это так, филология. Даже тот же предел без кванторов гораздо понятней.
Аноним 04/03/21 Чтв 19:40:46 8107466
>>81070

А как предел без кванторов выглядит?
Аноним 14/03/21 Вск 11:39:18 8141067
>>81074
Просто не все люди могут в кванторы, вот отсюда и такие мысли появляются.
Аноним 20/03/21 Суб 17:16:07 8165468
Почему континуум-гипотеза не зависит от ZFC? Есть ли мощности между мощностью |N| и |R|?
Аноним 20/03/21 Суб 19:54:16 8165669
Аноним 21/03/21 Вск 02:33:42 8167470
>>81654
Почему она не зависит - интересный вопрос. Априори не усматривается, что аксиом ZFC не хватает. Проблему континуума решили с помощью новой аксиомы - грубо говоря, что любую теоретико-множественную вселенную можно вложить в строго большую вселенную. Это противоречит подходу Кантора, который пытался выстроить теорию самой большой вселенной, содержащей все вообще множества.
Настройки X
Ответить в тред X
15000
Макс объем: 40Mб, макс кол-во файлов: 4
Кликни/брось файл/ctrl-v
Стикеры X
Избранное / Топ тредов