Пень для сов. Стучать здесь

Комменты по умолчанию скрыты, но если в тексте коммента не оговорено обратное, оставляю за собой право его открыть, а спустя какое-то разумное время - удалить.

(no subject)

Нам теперь 50 лет или 75 ждать, пока от нас с копирайтами отвяжутся?

Да, никакого уважения к человеку, сделавшему это своей профессией у меня нет, в отличии от, например, Беладонны Тук.

Думаю, что мне было бы лучше, если бы он умер 3 сентября 1973-ого.

Upd половина ленты почему-то благодарна человеку, который открывал ящики письменного стола по однму вместо того чтобы взломать все сразу. Причем явно для того чтобы извлечь максимальную выгоду.

При этом - не помешал выпуску убогих фильмов. Так что -

Я слышал сказанья о славных боях,
Я верил в великих героев
Но ныне воочью увидел я
Чего эти сказки стоят.

This entry was originally posted at https://vladimir000.dreamwidth.org/289143.html. Please comment there using OpenID.

Идиоты

Информационное

1. Как обычно, предпоездочное:
Буду в Москве в апреле, доступен с 6 по 10, но точнее не знаю - есть обязательная программа, непонятно когда и сколько времени займет. Надеюсь, что немного.

2. Ирландский телефон скоро отключу, кому нужен английский - стучитесь. Московский будет работать без изменений.

This entry was originally posted at https://vladimir000.dreamwidth.org/288533.html. Please comment there using OpenID.

Вах!

Какая красивая отмазка! Купить себе икону в формате мобилы - и плевать на все фотокамеры, ездить с прижатой к уху иконой законами не воспрещается!

В нормальной стране, конечно, после второго раза специально герры полицаи остановят и освидетельствуют и за себя, и за того парня, а в России-то, пожалуй, еще и с ГАИ за оскорбление чувств верующих бабла слупить получится:)

This entry was originally posted at https://vladimir000.dreamwidth.org/287823.html. Please comment there using OpenID.

Молодцы, чо

A mistake discovered was that when reversing a backdating command on 8 January 2019, Mochalov used the US date format (01/08/2019). This resulted in the entire system being dated as 1 August 2019, i.e. into the future, until it reset itself shortly to 8 January 2019 afterwards.

Краткое содержание: стластные и ужастные лусские хакеры (причем без дураков, речь о подчистке пресловутой базы данных по допингу) путаются в собственных штанах. Там по ссылке много подробностей (да и сама ссылка красноречивая)

Не удивлюсь, если через несколько лет выяснится что тайна "ракет с непредсказуемой траекторией" в том, что главный разработчик решил, что точка с координатами (0, 0) - Северный Полюс:)

This entry was originally posted at https://vladimir000.dreamwidth.org/287516.html. Please comment there using OpenID.

Математическое

Возьмем обычную планиметрию, скажем в Гильбертовой аксиоматике (она первая под руку попалась в виде законченного списка, если в другой системе мой вопрос решается проще - покажите ее)

Мы, понятное дело, держим в голове ее реализацию в виде R2. Точно так же понятно, что реализовать ее на базе Q2 не получится: берем отрезок (0,0) - (1,1) и просим отложить конгруэнтный на прямой проходящей через точки (0,0), (1,0).

Но почему не получится реализовать планиметрию на базе множества Q+sqrt(Q)? Или, чтобы не обсуждать можно ли построить 2^0.25 (я в курсе что нельзя, но не помню доказательства), на базе множества алгебраических чисел F2?

То есть, где у нас требуется полнота, что всякая предельная точка множества "всех точек планиметрии" принадлежит этому множеству "всех точек планиметрии"?

20-ая аксиома "«Полнота линии». Добавление хотя бы одной дополнительной точки в прямую линию вызовет противоречие с одной из аксиом принадлежности, порядка, первыми двумя аксиомами конгруэнтности или аксиомой Архимеда" должна была бы быть об этом, но в формулировке из Вики совершенно не годится - по ней речь идет о добавлении в прямую точки уже существующего пространства, а не привлечении новых сущностей в множество "все точки планиметрии".

Аксиома Паша: "Пусть A, B, C — три не лежащие на одной прямой точки и a — прямая в плоскости (ABC), не проходящая ни через одну из точек A, B, C; если при этом прямая a проходит через точку отрезка AB, то она непременно проходит через точку отрезка AC или точку отрезка BC" явно удовлетворяется во всех случаях - координаты точки пересечения прямых задаются линейными комбинациями координат исходных точек, т.е. принадлежат нашим множествам.

Да, я не люблю геомерию и считаю что надо вместо нее ввести аксиомы Пеано, плавно расширить до "полного упорядоченного архимедова поля" и потом сказать что в прикладных задачах бывает полезно рассмотреть свойства R2 и R3, теперь, дети, вы знаете как решать такие задачи - вводим систему координат и подробности письмом:)

Upd У Александрова прописано четко:

"Если имеется бесконечная последовательность вложенных отрезков, т. е. если {\displaystyle a_{1}\supset a_{2}\supset \dots }a_{1}\supset a_{2}\supset \dots то существует точка, общая всем этим отрезкам."

У Тарского, правда, опять проклятая неопределенность;)

Так что, наверное, надо предположить шаловливые ручки попу-лизаторов, упростивших "для лучшего понимания". Нэнавижу!

This entry was originally posted at https://vladimir000.dreamwidth.org/287273.html. Please comment there using OpenID.

А вот интересно

Явлется ли криминалом в Британии продавать свой голос на выборах за бутылку водки?

А то, во-первых,хочу вместо этого хорошего красного, а во-вторых, наверное, у Фараджа шансов в моем округе мало - а лично мне от его выигрыша было бы хорошо + Великобритании, полагаю, с этого плохо вплоть до смертельно - что, в общем, чуть более чем приветствуется.

This entry was originally posted at https://vladimir000.dreamwidth.org/287171.html. Please comment there using OpenID.