Пес Ебленский - Булево-Значные Модели и Форсинг [entries|archive|friends|userinfo]
rex_weblen

[ website | Наши рисуночки ]
[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Links
[Links:| update journal edit friends fif tiphareth recent comments ]

Булево-Значные Модели и Форсинг [May. 12th, 2024|09:58 am]
Previous Entry Add to Memories Tell A Friend Next Entry
[Tags|, , , , , , , , , ]
[Current Mood | anxious]




Я уже писал про эту книгу раньше примерно полгода назад. вот: https://lj.rossia.org/users/rex_weblen/195479.html


Как изменились мои планы в ее отношении за это время? Я решил почти все выкинуть из рассмотрения, кроме начал форсинга и булево-значного анализа. Причем, серьезно, "с ручкой в руках" я разбирал только эти начала форсинга, потому что про булево-значный анализ у самого Белла написано весьма неформально. Я все же хочу прочитать про форсинг тут, чтобы понять классическую идею форсинга перед тем как знакомиться с ней в контексте категорной логики. А форсинг — это вообще часть цепи того, что заставило обратить меня внимание на логику. Но особой любви к аксиоматическим основаниям математики и доказательствам независимости аксиом у меня нет. Поэтому много времени на это я решил не тратить.

Булево-значные модели это модели ZFC, которые конструируются таким стандартным образом: берется какая-то готовая модель теории множеств V и полная булева алгебра B из V, и рекрсвно cобираем части булево-значной модели. Начинаем с пустого множества. Потом берем все функции из того, что было на прошлых этапах в B и добавляем их в модель. В итоге получаем, что все множества новой модели устроены как B-значные функции от B-значных функций. И если некий элемент лежит в области определения такой функции, то принадлежность этой функции-множеству, это просто значения этой функции. Развивая эту идею, мы получаем операцию вычисления утверждений на языке теории множеств со значением B. Это похоже в некоторой степени на нечеткую логику c B-значной истинностью. Но это скорее создатели аксиоматической нечеткой логики украли тут эту идею у нормальных математиков.

При этом в новую булево-значную модель можно вложить старую. При этом там также будут смеси всех объектов с весами из B. То есть, можно взять математические объекты совершенно разной природы, например число 4 и топологическое пространство тор, и построить новый объект, который на половину будет числом 4, а на половину тором. После определенной работы получается доказать, что новая модель действительно модель теории множеств ZFC.

Форсинг начинается с того, что берется базиc P алгебры B, то есть плотное подмножество. Про P можно думать, что это кусочки информации, которые что-то сообщают нам о нашем мире. Так как такая информация не может быть противоречива в P нет 0. Можно представить себе, что каждый элемент p дает нам информацию о множестве возможных миров. И два элемента P называются несовместными, если не бывает третьего элемента информации который объединял две предыдущих элемента информации. Пример, который возникает у Белла P — это конечные бинарные последовательности, а B — это алгебра регулярных открытых множеств декартова произедения множеств {0,1}. То есть мы представляем, что мир является бесконечной бинарной последовательностью а мы получаем информацию о конечном значении нулей и единиц. А про B можно думать как про алгебру множеств возможных миров. То есть получается, что булево-значная модель — это такой мультиверсум множеств.

Я не знаю как правильно перевести форсинг на русский язык, потому буду говорить, что информация p форсит факт, если этот факт имеет место в любом мире, который допускает информация p. Коэн придумал форсинг, что доказать независимость континуум гипотезы. И я решил разобрать это доказательство, не потому что мне очень интересен сам этот результат, а то, как в доказательстве используется форсинг. Само доказательство строятся на том, что строятся две булево-значные модели типа тех, что описаны выше, но одна из них счетная, а другая нет. И в первой гипотеза континуума выполняется, а во второй нет. И форсинг обычно используется так, что когда требуется доказать, что какой-то факт никогда не выполняется, то предполагается обратное, то есть, что этот факт иногда выполняется. Тогда существует информация p, которая форсит этот факт. И эту информацию можно дополнить так, чтобы прийти к противоречию.

Меня теперь интересует вопрос насколько форсинг связан с семантикой возможных миров Саула Крипке. Но чтобы найти на него ответ следует проводить дальнейшее исследования.

Намного в большей степени чем доказательства независимости в теории множеств мое воображение взволновал булево-значный анализ. Идея в том, что действительные числа в булево-значных моделях, например, определенные как сечение Дедикинда, могут соответствовать каким-то "большим" коммутативным алгебрам над действительными числами. Например, если взять алгебру меру, то действительные числа будут эквиваленты измеримым функциям факторизованными по отношению "равно почти наверное". Можно узнать тут случайные величины. И идею булево-значного анализа в том, что все теоремы доказанные для действительных чисел можно перенести на алгебру случайных величин, конечно с некоторыми механическими модификациями. В это, собственно ничего удивительного нет, так как случайные величнины — это величины.

А вот другой пример более интересный. В (комплексном) гильбертовом пространстве можно рассмотреть алгебру замкнутых линейных подпространств. Это будет ортомодулярная решетка. Каждому подпространство соответствует единственный проектор, и алгебра порождаемая коммутирующими проекторами будет полной булевой. И соответствующая булева алгебра в качества действительных чисел будет иметь какую-то алгебру коммутирующий самосопряженных операторов. Интересно тут то, что такие операторы соотваетствуют измерениям в квантовой механике. А то, что они коммутируют означает, что измерения могут быть произведены совместно. Это достаточно логично, потому что измерения — это числа. Давис использует эту теорию для того, чтобы разрешить парадоксы Эйнштейна-Подольского-Розена и паражокс эксперемента с двумя шелями. Например ситуация с одно и двумя открытыми щелями соответствует разным булево-значным моделям, поэтому парадокса тут нет. Вот такое вот приложение логики к физике.

Не знаю исчерпан ли ныне потенциал булево-значного анализа. Более подробно про это есть две книжки авторов Кусраев и Кутуладзе.
LinkLeave a comment

Comments:
From:(Anonymous)
Date:May 13th, 2024 - 07:21 pm
(Link)
ты тупой и эти книги тебе никак не помогут
From:(Anonymous)
Date:May 13th, 2024 - 07:51 pm
(Link)
Пожалуйства, аргументируйте своё мнение или извинитесь.
From:(Anonymous)
Date:May 13th, 2024 - 07:50 pm
(Link)
Друзяшки, предлагаю провести акцию реального нонконформизма, направленного на подрыв самых базовых общественных установок. Предлагаю в посте Вебленского не писать "ты пидорас, говно, убей себя", а писать только положительные отзывы, пожелания успеха, общаться вежливо. Как вам идея?
From:(Anonymous)
Date:May 13th, 2024 - 09:20 pm
(Link)
друзяшек по телевизору увидишь
From:[info]jogen
Date:May 13th, 2024 - 10:20 pm
(Link)
Брысь!
From:(Anonymous)
Date:May 14th, 2024 - 03:44 am
(Link)
Вениамин, залогиньтесь.
From:[info]jogen
Date:May 14th, 2024 - 05:59 pm
(Link)
Ты аноним, скотина местная!
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 14th, 2024 - 01:02 pm
(Link)
Тебе нравится Лиза Кудров?
From:(Anonymous)
Date:May 14th, 2024 - 01:20 pm
(Link)
кто это?
[User Picture]
From:[info]rex_weblen
Date:May 14th, 2024 - 01:24 pm
(Link)
Да как Лиза Кудров может не нравиться?
From:(Anonymous)
Date:May 13th, 2024 - 08:13 pm
(Link)
опять ИИ высрался
From:(Anonymous)
Date:May 13th, 2024 - 08:37 pm
(Link)
Пожалуйства, аргументируйте своё мнение или извинитесь.
From:(Anonymous)
Date:May 13th, 2024 - 10:24 pm
(Link)
свинер пидорас
From:(Anonymous)
Date:May 14th, 2024 - 10:24 pm
(Link)
У вас ряд неочевидных моментов.
1) стоит начать с определения цивилизации, критериев, чтобы можно было проверить на практике. Наверное, можно придумать определение, чтобы получалась только одна цивилизация - европейская. Вы каким определением пользуетесь?

2) в дополнение к предыдущему: из чего следует, что цивлизация возможно только при одном, "правильном" виде науки? Согласно общепринятому представлению цивилизиции существовали и задолго до греков, например, Древняя Месопотамия, Шумеры и .т.д

3) у вас древние греки учат европейцев, да еще и в современном понимании. При этом мы знаем, что огромный пласт научного наследия попал в Европу через арабов, персов и т.д. Европейская наука была долгое время подчинена христианской картине мира, с соответствующими ограничениями. Тут я плохо представляю, на самом деле прослеживается непрерывная история от Элейской школы через темные века до наших дней?
From:(Anonymous)
Date:May 15th, 2024 - 02:57 am
(Link)
От замены одного неопределенного термина на другой смысла не добавилось. Ни одно из известных мне определений культуры не требует наличия какой-то "правильной" науки, и одновременно может существовать много разных культур.

>Arab golden age, стал возможен исключительно благодаря тому, что арабам хватило ума перенять науку, а позднее они потеряли всё, как только решили деколонизироваться.
>Именно по этой причине Европа долгое время имела соразмерное влияние в мире, однако в определённый момент ей удалось подчинить весь этот мир.

Если я правильно понял вашу концепцию, у вас в каждый момент времени выделяется одна самая сильная, самая влиятельная цивилизация/культура, а всё остальное объявляется варварством? Типа сначала была у греков, потом у римлян, потом европейцы все проебали и цивилизация досталась арабам, потом арабы проебал и вернулась к европейцам? Соответственно, в 20 веке цивилизаця была советская, туда входила часть Европы. В 90-е все проебали и цивилизация вернулась в европу плюс США. А в скором будущем, соответственно, достанется китайцам?

Взгляд немного непривычный, но допустим. Но как и зачем мы сюда добавляем науку, вроде очевидно, что с таким определением - самая сильная - цивилизации/культуры были и до греков, что принципиально поменялось?
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 15th, 2024 - 05:25 am
(Link)
>Я написал про финикийцев, египтян, китайцев и прочих, но у них не было никакой науки, была протонаука.

вот здесь ошибка. у греков никакой науки не было, у них тоже была лишь протонаука. наука появляется только в Новое время. да, Запад всех опередил, но утверждения типа "только аристотелевская логика ведёт к науке", как минимум, крайне нетривиальны. при всём уважении, вы несколько перепутали понятия.
From:[info]jogen
Date:May 15th, 2024 - 10:05 am
(Link)
> у греков никакой науки не было

У них была античная наука (построение целостных теорий, рациональный характер знания, а также светскость).

> "только аристотелевская логика ведёт к науке"

Это не моё утверждение. Из моего комментария следует, что только рационализм сделал науку возможной.


(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 15th, 2024 - 03:30 am
(Link)
https://en.wikipedia.org/wiki/Nyaya
а вот это, например, что такое?
From:[info]jogen
Date:May 15th, 2024 - 10:34 am
(Link)
Совершенно неуместная тут ссылка на статью из Википедии.
From:(Anonymous)
Date:May 15th, 2024 - 11:09 am
(Link)
ну а что. у греков логика, и здесь логика. и что вас не устраивает? что индусов "сделали" моголы, а потом бритиши? я тоже считаю, что это довольно трагичный исход событий. может, это просто исторический курьёз.
From:[info]jogen
Date:May 15th, 2024 - 11:13 am
(Link)
Reading comprehension is not your strong suit huh?
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
[User Picture]
From:[info]rex_weblen
Date:May 15th, 2024 - 07:11 am
(Link)
Мне кажется, что само понятие цивилизации довольно искусственно и нужно в основном музейным работникам, чтобы можно было легко сказать, что тут у нас мол египетский зал, тут греческий, тут арабский и так далее. То есть о цивилизациях очень хорошо рассуждать в ретроспективе, но на практике это довольно бесполезное понятие. Рассуждение о цивилизациях в контексте современности — это все политическое пустословие. Поэтому, что Вы предлагаете, это просто оставить в музее один только европейский зал, то я не вижу в этом особой пользы.

С другой стороны можно рассматривать академические дисциплины, и говорить, что у них есть разные не европейские аналоги. Типа что есть не только европейская, но особая китайская, индийская математика и математика индейцев Мая. И нам нужно заменить старую евро-центричную математику, на некую общую справедливую, декалонизированную математику, где вклад всех "цивилизаций" будет учтен в равной степени. И так и в отношении других наук, в том числе и гуманитарных. Я с таки подходом не согласен. Потому что академическая дисциплина — это всегда конкретные цепочки вопросов и ответов. И наши цепочки начинаются, как правило в Древней Греции. Например, физика началась с Аристотеля.

Разделения всех на цивилизацию и варваров, это опять же что-то субъективное.

From:(Anonymous)
Date:May 15th, 2024 - 07:26 am
(Link)
нет, ебленский, физика началась с Галилея и Ньютона.
[User Picture]
From:[info]rex_weblen
Date:May 15th, 2024 - 07:43 am
(Link)
Потому что так на паре сказали?
From:(Anonymous)
Date:May 15th, 2024 - 07:49 am
(Link)
потому что прочитай комментарий ниже.
(no subject) - (Anonymous)
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 15th, 2024 - 08:18 am
(Link)
обдристотель пидарас
From:(Anonymous)
Date:May 15th, 2024 - 02:51 pm
(Link)
Аристотель пидарас. Успехи науки надо оценивать по архитектуре и мореплаванию, металлургии и артиллерии. А пиздеть все греки гаразды.
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 15th, 2024 - 03:38 pm
(Link)
Напоминаю, что (безотносительно к истинности твоих собственных тезисов) ты "общаешься" с "читай книжки"-коммидебилом, т.е. дискуссия a priori идет in bad faith. Под соусом рационального цивилизованного обсуждения со ссылками на источники твой оппонент легитимизирует разрушение fabric of society и, в частности, искоренение практики рациональных цивилизованных обсуждений.
From:(Anonymous)
Date:May 15th, 2024 - 07:49 am
(Link)
>академическая дисциплина — это всегда конкретные цепочки вопросов и ответов.

>Например, физика началась с Аристотеля.

а я тогда скажу, что без инъекции в аристотелевскую "физику" семитской арабской мысли в виде требования, чтобы вселенная подчинялась универсальным законам, никакой физики не получилось бы. Аристотель скован индоевропейскими предствлениями о мире как о потоке "элементов", и поэтому прямолинейной цепочки вопросов и ответов от него к современной физике быть не может. как ты будешь мне отвечать?
типа, современная химия - прямой потомок аристотелевской "Метеорологики", ага.
[User Picture]
From:[info]rex_weblen
Date:May 15th, 2024 - 10:37 pm
(Link)
Ну и что это меняет в принципе?

Добавим в цепь науке арабо-исламский этап с условным Авиценной.

Но Авиценна тоже наследует Аристотелю.

И у нас отдельной исламской и христианской физики и химии, которыми нужно жонглировать, а есть единые науки, которые преподают во всех Вузах.

From:(Anonymous)
Date:May 16th, 2024 - 05:07 am
(Link)
то, что нет цепочки "вопрос-ответ". исламская цивилизация сама задавала вопросы, на которые отвечала. греко-римляне до такого запросто могли не додуматься в принципе, просто не смогли бы задать правильный вопрос.
(no subject) - (Anonymous)
From:[info]jogen
Date:May 15th, 2024 - 10:13 am
(Link)
> предлагаете, это просто оставить в музее один только европейский зал

С чего вы вообще это взяли?

> Разделения всех на цивилизацию и варваров, это опять же что-то субъективное.

Отказ от такого разделения является проявлением релятивизма, это очень политкорректно, но вообще довольно бессмысленно.
[User Picture]
From:[info]rex_weblen
Date:May 15th, 2024 - 10:41 pm
(Link)
>С чего вы вообще это взяли?
Это получается если подставить мое определение цивилизации в Ваш вопрос.

>Отказ от такого разделения является проявлением релятивизма, это очень политкорректно, но вообще довольно бессмысленно.

Cамо-собой, мы живем в век победившей теории относительностей.
From:[info]jogen
Date:May 15th, 2024 - 11:23 pm
(Link)
> Cамо-собой, мы живем в век победившей теории относительностей.

В социальной науке релятивизм был отброшен в середине 1980-х.
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 15th, 2024 - 01:25 pm
(Link)
>И нам нужно заменить старую евро-центричную математику, на некую общую справедливую, декалонизированную математику, где вклад всех "цивилизаций" будет учтен в равной степени.

Это плохо работает даже на уровне бытовых вещей. Вот есть у нас григорианский календарь, это модифицированный юлианский, который в свою очередь был импортирован из Египта. Римляне свой календарь выкинули и взяли египетские наработки. Какие у нас сейчас альтернативы григорианскому календарю?

Ну или арабские цифры, опять же европейцы их импортировали, тут об аналогах говорить можно, вроде и римские еще живы, но ими пользоваться неудобно.
[User Picture]
From:[info]rex_weblen
Date:May 15th, 2024 - 10:44 pm
(Link)
потому что прочитай комментарий выше.
From:(Anonymous)
Date:May 15th, 2024 - 12:04 pm
(Link)
У Парменида разве алетейя это не часть божественного откровения, которая ему подарила богиня Алетейя?
То есть истину не постичь без сверхрационального, мистического влияния, а "путь мнений" может включать в себя и всю науку, и основания математики, логические парадоксы.
From:[info]jogen
Date:May 15th, 2024 - 12:10 pm
(Link)
Неужели вы не понимаете, что история с «богиней» это просто определенная художественная форма?
Парменид пародирует Гомера и всю эту традицию
From:(Anonymous)
Date:May 15th, 2024 - 12:23 pm
(Link)
это неочевидно.
и, например, у Аристотеля практически прямо говорится, что Платон и его ученики за закрытими дверями использовали трансоподобные состояния как метод познания. Сократ вообще из этих состояний не выходил, это широко известный факт.
Аристотель также характеризует диалоги Платона как учение для "демоса".
From:[info]jogen
Date:May 15th, 2024 - 12:35 pm
(Link)
> это неочевидно.

Нет, это очевидно для любого человека, знакомого с произведениями Гомера и Гесиода.

> Платон и его ученики за закрытими дверями использовали трансоподобные состояния как метод познания

Это звучит скорее как анекдот.


(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 15th, 2024 - 12:25 pm
(Link)
и Ксенофан ваш, кстати, обычный скептик, не более. скептиков полно в любой цивилизации.
From:[info]jogen
Date:May 15th, 2024 - 12:34 pm
(Link)
Вы занимаетесь крайне патетичным газлайтингом, stop it.
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 15th, 2024 - 12:09 pm
(Link)
Тут скорее вопрос сколько существует наук, математик и логик, и являются ли они порождением разума как такого, без привязки к конкретной культуре, то есть разум это чисто биологическая категория, наиболее быстро эволюционирующие strains of humanity начинают в абстрактное мышление и приходят ко всяким цивилизационным ништякам, и используют knowledge as power для покорения менее развитых народов (ну или для экспансии технолоигического прогресс на более примитивные общества).
В принципе, даже в политическом разрезе, либерализм, республиканизм это всё порождения Европы (античности и христианства) и в этом плане они не универсальны.
From:[info]jogen
Date:May 15th, 2024 - 12:39 pm
(Link)
Наука может являться порождением европейской цивилизации.
From:(Anonymous)
Date:May 15th, 2024 - 02:46 pm
(Link)
А цивилизация может не являться порождением науки.
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 15th, 2024 - 11:56 am
(Link)
Как ты думаешь - к какой богине обращён данный гимн? Мне кажется, что какой-то психоделической фее.

https://www.youtube.com/watch?v=7jDZ3oIMpv4

She lives, no fear
Doubtless in everything she knows.
Through time unchecked,
The sureness of her flows.
She leaves herself inside you when she goes.
She lives in a time of her own.
You have always heard her speaking,
She's always been in your ear.
Her voice sounds a tone within you,
Listen to the words you hear.
Her time has no past or future,
She lives everything she sees.
Her time doesn't spin outside here,
It's in every breath she breaths.
She lives in a time of her own.
Her love whips hard like wind and stands in eager pain.
She wins your thoughts and drives your inner planes.
She clears and shares a love that never strains.
She lives in a time of her own.
You have always heard her speaking,
She's always been in your ear.
Her voice sounds a tone within you,
Listen to the words you hear.
Her time has no past or future,
She lives everything she sees.
Her time doesn't spin outside here,
It's in every breath she breaths.
She lives in a time of her own.
Her eyes like light reflect the aura of her hair.
She sends, attends, behind an alpha stare.
She seeks the stars and spirals up their stairs.
She lives in a time of her own.
She lives in a time of her own.
She lives in a time of her own.
She lives in a time of her own.
From:(Anonymous)
Date:May 15th, 2024 - 12:59 pm
(Link)
Привет, у меня вопрос по топологии:
Есть шарик S1, он находится внутри шарика S2. Убираем шарик S1 и получается шарик S2 с полостью в форме шара внутри. Как будет называться такой шарик S2 и чему он будет эквивалентен в топологическом смысле.
И тот же самый вопрос, если вместо шарика S1 будет бублик B1, двойной бублик, тройной и тд до нного бублика.
Типо шарики S2 с различным полым пространством в форме бубликов с разным кол-вом дырок будут друг друг эквалентны и можно их будет в друг друга продеформировать?
From:(Anonymous)
Date:May 15th, 2024 - 02:39 pm
(Link)
Перельман пидорас. Турстон пидорас. Яу пидорас.
From:(Anonymous)
Date:May 15th, 2024 - 02:44 pm
(Link)
не называй так шарики больше никогда. топологоим подумают,что ты из двумерного шара вынимаешь одномерный
From:(Anonymous)
Date:May 15th, 2024 - 02:47 pm
(Link)
я имел ввиду шарик как футбольный мяч.
From:(Anonymous)
Date:May 15th, 2024 - 02:56 pm
(Link)
нет, не имел. мяч двумерный. ты имел в виду шарик как голова вербяшки.
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
[User Picture]
From:[info]rex_weblen
Date:May 15th, 2024 - 10:50 pm
(Link)
Хуй знает как называется, но кажется что гомеоморфными эти штуки быть не должны.

можно было бы жту тему назвать что-то там-shaped voids.
From:(Anonymous)
Date:May 15th, 2024 - 11:38 pm
(Link)
Swiss 3-manifolds. Cavitated bulk. Wormworks.
From:(Anonymous)
Date:May 15th, 2024 - 11:39 pm
(Link)
Это уже похоже на theory-fiction Лэнда и Ниггерестани.
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 15th, 2024 - 08:01 pm
(Link)
Я в детстве это читал
http : //timothychow.net/mathstuff/forcingdum.txt
сейчас все забыл.

Question for the logicians: are there nice applications of forcing where P is a complete Boolean algebra and no embedding is involved?
[User Picture]
From:[info]rex_weblen
Date:May 15th, 2024 - 10:48 pm
(Link)
Спасибо за ссылку.

Я как-раз решил идти путем булево-значных моделей.

Мне кажется с т. з. булево-значных моделей брать всю алгебру в качеств множества P для форсинга довольно бессмысленно.

Это примерно то же самое, что просто пользоваться булево-значными моделями без форсинга.

Но я точно не уверен.
From:(Anonymous)
Date:May 15th, 2024 - 11:22 pm
(Link)
Вот интересно - Аристотель был пидарасом в буквальном в смысле, в греческом скажем?
Ведь все выдающиеся деятели древней Греции были пидорами, культура к этому располагала, это же считалось почетным, достойным истинного мужа Эллады.
Поэтому не вижу никакого негатива в инсинуациях анонов в сторону Аристотеля по этому поводу!
From:(Anonymous)
Date:May 15th, 2024 - 11:24 pm
(Link)
Правильно, пидор - это приговор только в диких странах типо Рашки, потому что страна говно и недостойна пидоров, науки, искусств.
From:(Anonymous)
Date:May 15th, 2024 - 11:27 pm
(Link)
Где пидорасы - там цивилизация, свет, высокая мода, высокие нравы и такие же прекрасно низкие извращения из которых проистекает мёд великой поэзии, высоты человеческого духа.
А что гетеросексуальные люди подарили миру, кроме бесконечного насилия, ментов, законов, церковно-приходской школы?
From:(Anonymous)
Date:May 15th, 2024 - 11:30 pm
(Link)
Булева алгебра и теория топосов была бы невозможна, неосуществима без огня однополой любви, гомологии двух мужских душ сливающихся в единый поток экстаза и жаркой пульсации аполлонических мускул и жил.
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 15th, 2024 - 11:28 pm
(Link)
Это из Парменида «О природе» цитата?
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 16th, 2024 - 01:25 pm
(Link)
jogen оказался крутым чуваком, троллит мишу правильно - продолжая его же логику
миша выступает в своём обычном стиле и выглядит грустно
https://lj.rossia.org/users/tiphareth/2619524.html?thread=212555140#t212555140
From:(Anonymous)
Date:May 16th, 2024 - 04:49 pm
(Link)
(Охуенно, спасибо.)

ЙОХЕН! ты молодец!

(надо тут получше йохена дрочить, а потом выпускать на вербяшку.)

э, йохен, аристотель оказался крутым чуваком, почти как зюскинд!
(no subject) - (Anonymous)
(no subject) - (Anonymous)
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 15th, 2024 - 11:41 pm
(Link)
Ебал твою жаркую сраку!
Аристотель пидорас в плохом смысле, а не в буквальном.
^Это негатив; видь его.^
From:(Anonymous)
Date:May 15th, 2024 - 11:58 pm
(Link)
І Ковачєвіча твого теж їбав.
(no subject) - (Anonymous)
From:(Anonymous)
Date:May 16th, 2024 - 12:52 am
(Link)
Не даром говорят аноним хуже аристотеля.
From:(Anonymous)
Date:May 16th, 2024 - 02:21 am
(Link)
Важное для анонимов, которые не любят читать

Что такое инбридинг и инцест и как они отражаются на популяции вида? В каких случаях при близкородственных связях могут проявиться негативные генетические мутации? Насколько опасен может быть инцест? Когда предки начали избегать инцеста и как у них это получилось? В новом выпуске «Дробышевский. Человек разумный» Станислав Дробышевский рассказал об инцесте и инбридинге в эволюции.
https://www.youtube.com/watch?v=1oIfNCC2EOY
From:(Anonymous)
Date:May 16th, 2024 - 04:04 am
(Link)
Ебал твои жалобы солнышко
From:(Anonymous)
Date:May 16th, 2024 - 05:23 pm
(Link)
Успокойся малышка нас никто не разлучит