Пень для сов. Стучать здесь
Комменты по умолчанию скрыты, но если в тексте коммента не оговорено обратное, оставляю за собой право его открыть, а спустя какое-то разумное время - удалить.
Памяти Юрий Михалыча
И, для четкости, если кто не так понял, см. сюда
This entry was originally posted at https://vladimir000.dreamwidth.org/288487.html. Please comment there using OpenID.
Технически-телефонное
После нового года отключу ирландскую симку. Кому надо и кто не знает мой английский номер - просьба стучать:)
This entry was originally posted at https://vladimir000.dreamwidth.org/288167.html. Please comment there using OpenID.
This entry was originally posted at https://vladimir000.dreamwidth.org/288167.html. Please comment there using OpenID.
Вах!
Какая красивая отмазка! Купить себе икону в формате мобилы - и плевать на все фотокамеры, ездить с прижатой к уху иконой законами не воспрещается!
В нормальной стране, конечно, после второго раза специально герры полицаи остановят и освидетельствуют и за себя, и за того парня, а в России-то, пожалуй, еще и с ГАИ за оскорбление чувств верующих бабла слупить получится:)
This entry was originally posted at https://vladimir000.dreamwidth.org/287823.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.
Краткое содержание: стластные и ужастные лусские хакеры (причем без дураков, речь о подчистке пресловутой базы данных по допингу) путаются в собственных штанах. Там по ссылке много подробностей (да и сама ссылка красноречивая)
Не удивлюсь, если через несколько лет выяснится что тайна "ракет с непредсказуемой траекторией" в том, что главный разработчик решил, что точка с координатами (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.
Мы, понятное дело, держим в голове ее реализацию в виде 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.
А то, во-первых,хочу вместо этого хорошего красного, а во-вторых, наверное, у Фараджа шансов в моем округе мало - а лично мне от его выигрыша было бы хорошо + Великобритании, полагаю, с этого плохо вплоть до смертельно - что, в общем, чуть более чем приветствуется.
This entry was originally posted at https://vladimir000.dreamwidth.org/287171.html. Please comment there using OpenID.
Английское политиццкое
Борис Джонсон, прозванный за свою жажду власти Николаевичем
This entry was originally posted at https://vladimir000.dreamwidth.org/286968.html. Please comment there using OpenID.
This entry was originally posted at https://vladimir000.dreamwidth.org/286968.html. Please comment there using OpenID.
А вот этого я не знал
The International Space Station is owned by the US, Russia, Europe, Japan and Canada, and the laws of each apply to those on board depending on their nationality.
Думал, юрисдикция идет по сегментам МКС.
Однако, открываются вполне азимовские перспективы "каждый делает тот фрагмент операции, который легален по законам его страны" :)
This entry was originally posted at https://vladimir000.dreamwidth.org/286495.html. Please comment there using OpenID.
Думал, юрисдикция идет по сегментам МКС.
Однако, открываются вполне азимовские перспективы "каждый делает тот фрагмент операции, который легален по законам его страны" :)
This entry was originally posted at https://vladimir000.dreamwidth.org/286495.html. Please comment there using OpenID.
Йа не понял
Янкекс удалил поиск по сайту???
Плачет гитара. Убит Чаушеску...
...Что любопытно - вместе с супругой
Upd Точнее сказать, удаляет. Из расширенного поиска и документации на него следы уже выпилили, но вводить руками site:www.xxx.ru пока еще можно
Интересно, надолго ли? Кому мешало что ребенок спит?
This entry was originally posted at https://vladimir000.dreamwidth.org/286452.html. Please comment there using OpenID.
Плачет гитара. Убит Чаушеску...
...Что любопытно - вместе с супругой
Upd Точнее сказать, удаляет. Из расширенного поиска и документации на него следы уже выпилили, но вводить руками site:www.xxx.ru пока еще можно
Интересно, надолго ли? Кому мешало что ребенок спит?
This entry was originally posted at https://vladimir000.dreamwidth.org/286452.html. Please comment there using OpenID.
