Почему всё ещё нет нити о дискретной математике? Места, где бы обсуждали суператомные алгебры, полные теории, Σ-определимость? И самое главное - Теорию моделей . Где все это?
В общем, нить иди.
P.S. конструктухов и определяльщиков велосипедов вроде N, из соседней нити, просьба воздержаться от высказываний.
Пишите, кто что доказывал по этой тематике. Может итоги какие имеются. Мб кто над счетными булевыми алгебрами, да над играми Эйренхойта работал - обо всём пишите.
А тебе >>80531 невежда, обьясняю: в нормальных местах, а не в пещерах, откуда ты, видимо, выполз , под дискрой как раз таки и подразумевают изучение областей матлога - теории нумераций, определимости, сетей петри (ну это не совсем матлог), разрешимости, доказуемости и прочего.
Прошу больше не тролить тупостью, а, при наличии знаний, присоединяться к обсуждению.
>>80556 Я про нечекую логику в стиральных машинах слышал от старшекуров, когда еще только в шарагу поступил в начале 00х. Прогресс то есть какой-нибудь?
>>80561 так на вики ссылка есть на (пред)последнюю работу "Locus Solum". типа ведущий логик, все должны познакомиться с его опусом, как алгебраисты с "Урожаями и посевами" Гро.
с другой стороны, нет ничего более безответственного, чем логик, читающий Losuc Solum, так и знайте.
>>80594 N - петух, уходи. >>80587 Ты тупой? Ты, дегенерат, всю нить пытаешься мне доказать, что мое определение дискретной математики неправильное, что дискра должна включать в себя то-то и то-то, и в итоге смеешься со словосочетания:" определение дискры " ?
других аргументов не будет? как и ожидалось, впрочем.
если у вас есть собственное определение DM, то занесите его в студию. только со ссылками на авторитетные источники, которые это определение подтверждают, плиз. поскольку пока что приведеные ссылки подтверждают противоположное.
Модели, монады, модули, магмы, да и множества -- это все одно и то же. Применяется в засеве полей, отливе чугуна, нарезке древесины, дойке коров и других областях народного хозяйства.
Широка страна моя родная. Куда ни глянь — везде проявляется труд математиков. Зацветают монады на склонах декартовых замкнутых категорий. Колосятся сопряжения функторов. Под мудрым руководством теории категорий идёт строительство абстрактных фабрик паттернов. Звонкий смех пионеров раздаётся в рощах изоморфизмов. Сопрягайся, если хочешь быть здоров!
Не счесть числа приложений теории категорий. Тут тебе и тушение лесных пожаров, и решение транспортной проблемы, и кормление бездомных котят. Теория категорий даст каждому ребёнку по одному лэптопу. Теория категорий накормит голодных, утешит страждущих, разгонит заторможенных, обогреет тех, кто на морозе. Под знаменем копроизведения посвятим свою жизнь теории категорий! Аминь.
Да ладно вам сраться по поводу определения дискретной математики, все ж понимают, что ее содержание определяет линия партии наследников дела новой залупы. Что они скажут, то и дискра.
>>80692 А куда ты старую дел? Ты что же это - за свержение власти, разбойник?!
>>80549 Ещё вспомнил - почитай "Справочник по математической логике в четырех частях ".
>>80640 >>80624 Ну смешно, конечно, но вот давайте честно - ладно, я понял, что никакого отношения к матлогу вы не имеете. Но ведь и про категории вы только шутеечки ж делать можете)
>>80761 >Почитай model theory of Chang, Keisler. и можешь ещё матлогику Ершова, Палютина >"Справочник по математической логике в четырех частях ". Это всё?
>>80824 >в стране, где логика умерла уже 30 лет. логичнее было бы говорить, что это страна умерла 30 лет назад, а была ли в ней до этого логика - это тот еще вопрос.
Он наверное про то, что использование знаков кванторов вместо слов "все" и "существует" существенно снижает читаемость, и в статьях их никто не пишет, но сами по себе кванторы в текстовой форме конечно необходимы.
>>81654 Почему она не зависит - интересный вопрос. Априори не усматривается, что аксиом ZFC не хватает. Проблему континуума решили с помощью новой аксиомы - грубо говоря, что любую теоретико-множественную вселенную можно вложить в строго большую вселенную. Это противоречит подходу Кантора, который пытался выстроить теорию самой большой вселенной, содержащей все вообще множества.