>>1249484
Хорошо известна двоичная алгебра логики. В ней 0 интерпретируется как ложь, 1 как истина. Есть сложение - логическое или. Есть умножение - логическое и. Справедливо правило раскрытия скобок. Ещё есть порядок, 0 < 1. Алгебры с похожими свойствами называются булевыми алгебрами. В алгебре логики всего два элемента, 0 и 1. В других булевых алгебрах может быть больше элементов. В любой булевой алгебре есть порядок - элементы можно сравнивать. Есть наибольший элемент (абсолютная истина) и наименьший элемент (абсолютная ложь). Чем ближе элемент к абсолютной истине, тем более истинным он считается.

Допустим, есть какой-то универсум множеств. Можно рассмотреть совокупность формул, выражающих какие-то утверждения о множествах этого универсума. Каждая формула либо истинна, либо ложна. Иными словами, есть интерпретация формул в алгебре логики. Можно заменить в этой интерпретации алгебру логики на какую-нибудь булеву алгебру с большим количеством элементов. Тогда некоторые формулы окажутся абсолютно истинными, некоторые формулы - абсолютно ложными, а некоторые формулы займут промежуточное значение между абсолютными истиной и ложью. Аксиомы универсума должны быть истинными. Алгебраическое значение, приписанное формуле f, можно назвать оценкой этой формулы и обозначать |f|. Если формула p выводима из формул f1, f2, f2, ... , fn, то оценка формулы p не меньше произведения оценок формул f1, ... , fn. Иными словами, |f1|^|f2|^|f3|^...^|fn| <= |p|, где значком ^ обозначено умножение в алгебре.

Можно выбрать какую-нибудь гипотезу о множествах универсума и назначить её интерпретацией абсолютную ложь. А потом посмотреть, получится ли найти такую булеву алгебру, чтобы получилось непротиворечивым образом назначить оценки всем остальным формулам. Если получится - то можно считать, что это означает существование универсума, в котором гипотеза ложна, а все аксиомы исходного универсума верны. Иными словами, что отрицание гипотезы не противоречит аксиомам. Далее можно назначить интерпретацией гипотезы абсолютную истину и опять поискать какую-нибудь булеву алгебру, в которой можно было бы проинтерпретировать формулы с учётом условия, что гипотеза истинна. Если получится, то есть универсум, в котором гипотеза верна. Таким образом можно доказать недоказуемость и неопровержимость гипотезы в данной аксиоматике.

Этот метод называется методом булевозначных моделей. Метод форсинга ему логически эквивалентен и причем несколько более удобен в реальной работе.

Собственно метод форсинга заключается в расширении теоретико-множественного универсума до какого-то большего универсума. Берётся универсум и берётся некое множество G с хорошей структурой, которое не входит в универсум (существование такого множества нужно гарантировать специальной аксиомой форсинга). Затем в универсум добавляются все множества, которые появляются из-за появления G. Например, (n,G) для каждого натурального числа n, всякие там {G} и 2^G, прочее. Ещё, конечно, нужно добавить все элементы множества G и всё то, что появится из-за них. Процедура напоминает расширение поля R мнимой единицей i - нужно добавить не только саму i, но и все числа вида 1+i, i^2, (100500i)^(1/2) и т.п. Технические детали метода форсинга не буду рассказывать, раз ты не знаешь про ординалы. И не буду рассказывать, почему форсинг называется форсингом.

Есть много разных форсингов, опирающихся на разные аксиомы форсинга. Первым метод форсинга изобрёл и начал использовать Коэн. Современные форсинги более мощные, чем оригинальный коэновский. Метод форсинга - один из самых главных методов теоретико-множественных исследований, начиная с шестидесятых. Любой учебник теории множеств, где отсутствует метод форсинга, - устаревший. Хотя это не означает, что учебник плохой и не заслуживает изучения; это означает, что не вся важная информация в нём написана. Аналогично для лекционных курсов.

На самом деле, причина, по которой я использую убунту, одна - я тупой. Я просто тупой, слишком тупой для более умных дистрибутивов, типа генту. Это тяжело признать, но это правда. Я понимаю, что я тупой. Даже если я сменю дистрибутив, я останусь тупым. Если бы вопрос стоял бы лишь об уровне красноглазия и доступности пакетов, я бы поставил дебиан, но нет, я поставил убунту. Это клеймо врожденное. Невыносимое понимание своей тупизны убивает меня ежедневно, в моменты когда мне не удаётся держать мысли о своей тупизне на, хм...я даже не знаю, как выразить на русском языке фразу keep at bay, настолько я тупой. Я постоянно, в течении последних двух лет, думаю о том, что я вообще не заслуживаю иметь личный тред, поэтому я не отвечал в прошлый тред долгое время, сомневаясь, что я заслуживаю внимания анонимуса. Не стану скрывать, что я, пожалуй, большую часть своей сознателельной жизни, как и все ничтожества, бредил манией величия. Но какое мне, простолюдину, величие. Моцарт проводил концерты в 7 лет. Я в 28 не могу осилить вкат в работу для кодомакак. Я не умный, потому что умные люди интересуются умными вещами, ежедневно, это для них не является вымученной привычкой, а естественным поведением, наличием природного вкуса к получаемой информации. У меня ничего этого нет. Всё, что я делаю каждый день, это тщетно участвую в бессмысленной и заведомо проигрышной гонке за тем, что все уже давно прошли. Постоянное ощущение что "there must be more to life", при осознании что наверное это всё, что есть и что будет со мной, как с индивидом - жизнь, состоящая из последовательности хаотично сбитых друг с другом событий, и полное отсутствие какой-либо власти над ней. Я не напишу второй линукс, равно как и не расщеплю атом. Я даже не знаю, почему я вообще решил быть программистом. Разве что в детстве я мечтал быть программистом, потому что хотел программировать игры для сеги. Должно быть, я поступил сначала на среднее, а затем и на вышку по технарской специальности просто потому что всерьёз считал что я "умный", умнее чем окружающее быдло, а умные становятся программистами, конечно же, и вопросов о будущей специальности не возникало. Когда-то, в 2013 году, я мечтал быть стилистом. Это, должно быть, можно даже найти в тредах тех лет. За прошедшие годы я очень разочаровался в стилистах, осознав что, в среднем, это днищеработа, равно как и разочаровался в своих мечтах и самом себе, поэтому эта мечта отвалилась сама собой. Единственная мечта исполнилась - нашелся кто-то, кто меня любит. Я уже думал, что умру одиноким, уверенный в том, что никто не полюбит такой, бесполезный во всех смыслах, человеческий мусор. Моя жизнь это просто очередной человеческий экспириенс, уникальный для меня, но не замечаемый никем кроме, я просто перхоть на теле человечества, и это можно сказать, в целом, про каждого человека, для этого термин даже есть - sonder, осознание уникальности всякого человеческого жизненного опыта, но у меня сейчас анти-sonder, осознание неуникальности уникальности собственнного жизненного опыта, осознание что я посредственность, и осознание того меня очень гнетёт.

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

>>1249528
Не было такой причины последние несколько лет. Даже во время учебы высыпался до обеда. Хорошо быть бездарным бездельником.

Написал заявление на увольнение. Через две недели уезжаю.

>>1249722
Надо бросать орать. От этого сложно уснуть ночью в итоге, Гипнос не накладывает своих чар. Вставать утром хорошо, день дольше проходит. Лишь бы не на работу. Ну, с этим у меня проблем не будет - судя по вчерашнему быстрому сканированию Linkedin, Яндекс.Работа и hh, шансов устроиться джуном у меня сейчас примерно как у скулшутера заняться сексом в день расплаты над Чадами.

>>1249774
В том-то и дело, что, образно, мотоциклы это сексуальный фетиш, романтический стальной конь. Функционально, это способ осуществить революцию (см. приложенный mp4). Принято машины называть гробами на колёсах, но это не так, машина - это консерва на колёсах, в которой шансы выжить при столкновении с чем-либо гораздо выше шансов сделать то же самое на разгоняемом бревне под задницей. Я в целом не одобряю вещи, которые в перспективе являются способом убить себя. Например, я очень не люблю прыгунов с парашютом. Прыгунство с парашютом это игра в статистику, где ты гарантированно умрёшь, вопрос лишь в количестве прыжков.

> Но ведь шанс умереть от прыжка с парашютом меньше шанса умереть в аварии и составляет 0.006% согласно (((U.S. Parachute Association))), которые totally not biased adrenaline junkies at all, нееееееееееееееет, прыжки с парашютом безопасны!!!!

В такие моменты, когда заявляется что на 100 000 прыжков умирает лишь незначительный процент, (((подразумевая))), что на эти 100 000 прыжков каждый человек прыгнул лишь один раз, мне доставляет смотреть на списки типа https://en.wikipedia.org/wiki/List_of_fatalities_due_to_wingsuit_flying , где каждый второй труп это профессиональный прыгун с овер 500 прыжков, которому ВНЕЗАПНО не подфартило, неожиданность-то какая, ай-яй-яй, СУДЬБА-ЗЛОДЕЙКА такую жизнь загубила, планеты так сложились, НИКТО не мог даже ПРЕДПОЛОЖИТЬ такой исход! Прыгунство это эротический футджоб от Смерти - хоть и не напрямую, но есть возможность поелозить потусторонний клитор, почувствовать оргазм от мммм ах, вот я вроде живой, но намеренно прыгаю с большой высоты, я могу умереть, но на деле не умру, это так возбуждает, ррррмяу (стреляет сигнальным пистолетом, символизирующим член, себе в парашют https://youtu.be/uAsodIZiUAY ). Скайдайверы, любители голышом понырять в море со скал, употребляющие алкоголь, курящие, наркоманы, мотоциклисты, энсьерро-бегуны. Всё это сексуализированная, романтическая, истекающая смегмой от желания демонстративно растянуть свою боiпусси перед Танатосом, деятельность. Не как что-то плохое, впрочем. Просто нужно учитывать что делается это сугубо чтобы передёрнуть внутренний стояк. Функционально от всего этого мало толку.

>>1250249

> пик

Тобиас Форге очень изменился после прививки от ковида.

Так-с, чувачки... Мне завтра или послезавтра утром надо уже ложиться в дурку, а я до сих пор не сплю. И не очень то хочу.. Наверное, не стану вообще, все равно от стресса не будет сильно хотеться. Ну, и там на сон. часе чуть-чуть посплю, если что.
Напишу лучше сейчас, т.к. после выписки могу забыть ощущения перед дуркой: Очень странные, на самом деле... Не так, как я себе представлял раньше, в августе-сентябре. Волнуюсь, как перед отправкой в лагерь. Мандраж присутствует. Уже как-то чувствую тоску по дому и одиночество что ли, что не будет хватать общения, интернета и в целом, уже какой-то дискомфорт. Не скажу, что волнение прям сильное, но достаточно. Мысли о депрессии и гневе ушли. Видимо стресс начинает их перекрывать по-тихоньку. А представлял я себя прямо таким альфачом: как захожу в палату, косо осматриваю всех, стараюсь казаться очень загадочным, который всех на хую вертеть хотел. Или представлял себя каким-то реально психом как из той же Песнь Сайи, что я атмосферно сижу на кровати, в эпичной позе. Эхх, на деле всегда всё по-другому происходит. Тян говорила, там 5 человек в палатах, но иногда может не хватить места, и у неё в отделении в коридоре лежали некоторые пациенты. Надеюсь со мной такого не будет. Ещё бы помыться по-хорошему, но не знаю успею ли. Сейчас ночь ведь.
Взял с собой немного вещей: два полотенца, для ног и тела, шампунь, трое пар носков и трусов, толканку, зуб. щётку, я хоть и чухан, но там возможно буду иногда чистить зубы зарядку для телефона, наушники, чтобы разговаривать, когда выдают его, т.к. там шумно и обычный звонок будет плохо слышен, тетрадку, чтобы там что-то писать\рисовать, ручки, какую-то книжку о психологии, другой нормальной не было, лол, ну и ещё утром куплю зуб. пасту и мыло. В общем, как-то так. Может тут кто-то лежал, скажите что ещё можно взять?
>>1250195
Хватит нести чушь, чувак. Таких фотографий необычных не так много. Да и вообще, мне нравятся всякие такие фотографии как из этих каналов https://aeaeaeaeaeaeaeaeaeaeae.tumblr.com/ https://clownmeat242.tumblr.com/ там фотографий и картинок людей не очень много, в основном просто атмосферность и всякие дрим и вейрд коры.

> Или бабы с хуем?

Та фотография это не просто баба с хуем, сам посмотри.

Последний теплый день осени. По осеннему теплый, тобишь с ветром, тучами, и редким дождем. Клево. Часов 8 шлялся, так, не особо спеша, просто поболтаться охото было на этом воздухе. Дошел до конечной точки своего маршрута, как раз к тому времени как ветер стал штормовым. Самый лучший час за весь 2020 год. Ветер свистел так, что заглушал музыку в наушниках - снял, захотелось просто звуки ветра послушать. Деревья шелестят, что-то там на стройке гремит, флагштоки трясутся. И как ни удивительно, там вообще ни души не было, один я, пустые здания с погасшим внутри светом, шквалистый ветер и все. Вот эта природа, которую я люблю, та что сотворена человеком но в которой людей нет. Нравилось в школе по заброшкам лазить. Но это ни чета тому что здесь, как будто бы по вымершему городу идешь, и при этом все дома новые и нигде мусора нет. О-х-у-е-н-н-о.
Хорошо проветрило, в общем, даже навязчивых мыслей о бессмысленности прогулки самой по себе не было. Странно, но я это принял. Хотя бы на часок перестать ненавидеть свою жизнь - приятно. Теперь до марта или апреля из дома больше можно не выходить, на прогулки по крайней мере уж точно.

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

Горло что-то опять болит. Наверное вчера все же продуло немного, но все равно того стоило. У меня все равно ещё должны были антитела в загашнике лежать с позапрошлой недели, так что наверное одной болью в горле обойдусь. И кашлем. Постоянно кашляю. Надо наверное перестать пить энергетики. Те что с сахаром я бросил из-за лишних калорий, а те что без оказывается провоцируют какую-то аллергическую реакцию. Допью остаток, а дальше снова перейду на зерошную пепси и коку. После двух или трех недель перерыва энергетики действительно стали давать бодрость какую-то, кстати. Интересно, я думал на меня эти микродозы кофеина уже не действуют.
Покачался заодно, пока силы есть. Теперь бы ещё проспаться хорошенько. Завтра ещё надо какие-то нестандартные activities выполнить, связанные с социальными интеракциями формализованного типа. Это самые простые интеракции, но я их тоже фейлю зачастую, принимая неправильные решения.
Кстати о социальных решениях. Вот вам ещё немного аутизма, который занимал мою голову сегодня несколько часов.
Вот например написано в письме "до среды сюда заходить". С одной стороны, очевидно что не хватает частички не, и заходить до среды туда не следует. С другой, это можно так же воспринять как ошибку в структуре предложения, и она значит именно то, что значит. Как поступить? Какой вариант выбрать? Что имеет ввиду незримый собеседник который это написал? Делаю заключение, что несмотря на то, что кажется наиболее вероятным пропуск частицы не, следует читать это предложение как утвердительное, и что нужно туда зайти до среды, по причине того, что частица отрицания обладает большей смысловой нагрузкой нежели чем поломанная структура предложения, а следовательно и имеет больший вес. Это раз. А во-вторых, если меня спросят, почему ты пришел сюда после среды - я не найдусь что ответить, потому что моим оправданием будет догадка, и мне в лицо ткнут предложение, которое пусть и имеет ломанную структуру, но имеет вполне четкое значение, и придумать я там себе мог что угодно. А вот если спросят почему до - этим письмом буду размахивать уже я, и даже если меня осудят за несообразительность, в связи с которой я якобы проигнорировал неправильную структуру предложения, уже я могу сослаться на то, что догадаться можно до чего угодно, но написано именно так, а не иначе.
Есть ещё альтернативный вариант, компромиссный, когда прийти стоит ровно в 00.00 среды, тем самым очутившись между двумя заданными периодами. Понятное дело, что 00.00 это все же уже среда, но всегда можно сослаться на то что на минуту опоздал задержавшись в транспорте, или на минуту пришел раньше, потому что торопился. Но в связи с тем, что по ночам условленное место не работает - этот вариант отбрасывается.
Таким образом, тщательно обдумав это странное предложение, я пришел к однозначному выводу, построив его на некоторых своих умозаключениях, тем самым уменьшив давление сомнений о правильности решения. Тем не менее, разумеется, все мои домыслы о том, что частица отрицания имеет более высокое лексическое значение, чем структура предложения - могут быть всего лишь моими домыслами, и таким образом мои выводы ошибочны. Но по крайней мере я построил какой-то фундамент чтобы избавиться от давления сомнений хотя бы на некоторое время.
Разночтение этой фразы по типу "до среды" является включающим среду или не включающим, я не рассматриваю, в связи с тем что это прояснено по тексту письма, и я это опустил здесь просто для упрощения примера.
И все эти терзания, моделирование поведения социального контакта, перебирание всех возможных и невозможных вариантов, неоднократно измененная точка зрения, сомнения, и все все все это - из-за того что кто-то не пропечатал два сраных символа на клавиатуре.
Но самое худшее то, что даже если бы они их напечатали, любые фразы можно растолковать по-разному. Чем больше ты перечитываешь и задумываешься над предложением, тем больше видишь вариантов значений, вплоть до диаметрально противоположных. Я, блядь, ненавижу человеческие языки.