Где все это?
В общем, нить иди.
P.S. конструктухов и определяльщиков велосипедов вроде N,
из соседней нити, просьба воздержаться от высказываний.
комбинаторика подойдет?
лекции курса Jacob Lurie "Combinatorics (Math 155)"
https://www.math.ias.edu/~lurie/155.html
с задачами
или например первая бубликация от Алена Бадью (французский философ) была как раз про теорию моделей
Бадью, А. Понятие модели. Введение в материалистическую эпистемологию математики. (1969)
https://biblioclub.ru/index.php?page=author_red&id=130905
(перевода статьи на русский вроде нет, но гуглится перевод на украинский)
Был же давно тред. Да он утонул.
ОП
Клоун, по себе не суди.
А тебе >>80531 невежда, обьясняю: в нормальных местах, а не в пещерах, откуда ты, видимо, выполз , под дискрой как раз таки и подразумевают изучение областей матлога - теории нумераций, определимости, сетей петри (ну это не совсем матлог), разрешимости, доказуемости и прочего.
Прошу больше не тролить тупостью, а, при наличии знаний, присоединяться к обсуждению.
Жирар, жиРар, жираР: https://en.wikipedia.org/wiki/Ludics
Жан-Ив ушел таки дальше от классической логики, чем пресловутый Воеводский
Тематика треда - матлог(хотя в тематике треда и НЕТ других слов).
Видимо, это всё что вы умеете - докапываться до малоиспользуемых в обычной мат. Жизни определений.
А теперь проваливайте, либо высказывайтесь по существу.
>Всё, артисты , утомили меня.
сходи подмойся, маня, да побыстрее.
обрати внимание, в каких разделах твои топики:
https://arxiv.org/list/math.LO/recent
https://arxiv.org/list/cs.DM/recent
человеческими же буквами написано: там MATH, там CS.
не доходит?
так на вики ссылка есть на (пред)последнюю работу "Locus Solum". типа ведущий логик, все должны познакомиться с его опусом, как алгебраисты с "Урожаями и посевами" Гро.
с другой стороны, нет ничего более безответственного, чем логик, читающий Losuc Solum, так и знайте.
>(пред)последнюю
потому что последняя "Logic 2.0"
https://girard.perso.math.cnrs.fr/KEIO2018.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
>Ты тупой
>Ты, дегенерат
>ты ж поехавший
других аргументов не будет?
как и ожидалось, впрочем.
если у вас есть собственное определение DM, то занесите его в студию. только со ссылками на авторитетные источники, которые это определение подтверждают, плиз. поскольку пока что приведеные ссылки подтверждают противоположное.
Широка страна моя родная. Куда ни глянь — везде проявляется труд математиков. Зацветают монады на склонах декартовых замкнутых категорий. Колосятся сопряжения функторов. Под мудрым руководством теории категорий идёт строительство абстрактных фабрик паттернов. Звонкий смех пионеров раздаётся в рощах изоморфизмов. Сопрягайся, если хочешь быть здоров!
Не счесть числа приложений теории категорий. Тут тебе и тушение лесных пожаров, и решение транспортной проблемы, и кормление бездомных котят. Теория категорий даст каждому ребёнку по одному лэптопу. Теория категорий накормит голодных, утешит страждущих, разгонит заторможенных, обогреет тех, кто на морозе. Под знаменем копроизведения посвятим свою жизнь теории категорий! Аминь.
А куда ты старую дел? Ты что же это - за свержение власти, разбойник?!
>>80549
Ещё вспомнил - почитай
"Справочник по математической логике в четырех частях ".
>>80640
>>80624
Ну смешно, конечно, но вот давайте честно - ладно, я понял, что никакого отношения к матлогу вы не имеете. Но ведь и про категории вы только шутеечки ж делать можете)
ОП
Что необходимо и достаточно прочитать и понять по матлогике среднестатистическому студенту-математику?
еще раз, лучше открыть этот гайд и учиться по нему:
https://www.academia.edu/41267813/Teach_Yourself_Logic_2020a_A_Study_Guide_midyear_update_
чем тратить своей время на какие-то справочники и ершовых-ширшовых в стране, где логика умерла уже 30 лет.
Почему она не зависит - интересный вопрос. Априори не усматривается, что аксиом ZFC не хватает. Проблему континуума решили с помощью новой аксиомы - грубо говоря, что любую теоретико-множественную вселенную можно вложить в строго большую вселенную. Это противоречит подходу Кантора, который пытался выстроить теорию самой большой вселенной, содержащей все вообще множества.