дыбр

 Вкрации.

Утром успели погулять, потом я работал опять, а подруга сметала листья, т.к. дождь будет. Но дождь прямо начал накрапывать, так я переоделся побежал тоже помогать, чтоб мы скорее доубрали. Ну убрали на заднем дворе, и пруд почистил. Кошка, то ли к дождю то ли что, жрет как не в себя. Месяц, считай, голодала. Любопытно. Я думал, ей еда не нравится. Ну или то, что теперь в миске бумажка, а еда уже на бумажке, типа ей на салфетке подают.

Перед самым закрытием рынка пошел посмотреть, что там с airbnb - и не стал покупать. Пусть еще пополощется; зато за 9 секунд до закрытия продал кое-что по мелочи. Не то чтобы это критично, а просто, 20 старушек - рубль.

И вечером ходили гулять; дождя уже нет, но облачно.

Французский поделал, на работе початился, сейчас дальше батутами займусь.

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

Так что перегнал все в простой код, object и main. Все фигня.

Сижу вот в офисе на втором этаже кропаю код, а подруга на кухне хлеб замешивает. В скайлайт над головой стучит дождик. Зима!

 P.S. Это только я тут описал благолепие, как по крыше, под дождем, стали носиться еноты; и там у меня мастерок лежал, я им битум намазывал вокруг скайлайта - вот эти еноты этим мастерком что-то делают. Да блин. Шуму столько.

теорема существования

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

А если поставить задачу попроще. Доказать, что я есть. Аз есмь, как говорили предки. Ну т.е. себя уговаривать не надо; мозг дырочку найдет, в смысле отмазку, почему мои рассуждения несомненно верны и очевидны. А вот доказать так, чтобы это было объективно верно для любого, желающего проверить. 

Я вот что-то затрудняюсь.

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

UPD: "therefore I exist"

советский союз

Тот факт, что СССР существовал, и просуществовал примерно 70 лет, кажется сейчас абсурдом. Совершенно же невозможное явление, да?

Мы чего-то не понимаем. Ну или я чего-то не понимаю.