возвращаясь к прошлогодней дискуссии

А что, в лямбда калкулюсе теоремы ведь не базируются на теории множеств? В смысле, все утверждения достаточно твердо стоят на свойствах лямбды как теории, так? Я не специалист, то и спрашиваю. Год назад в одной интересной дискуссии codedot, вроде бы очень грамотный специалист, нес всякую фигню насчет функций и лямбд и теории множеств; но его мнение - это его мнение. А я хотел бы понять насчет доказательств.

Идея-то такая, что привлекать теорию множеств в какой-либо теории - значит выходить за рамки этой теории (если это не теория множеств). Взять теорему Гудстейна. Это не теорема в аксиоматике Пеано. Это дополнительная аксиома, которая становится теоремой в определенной теоретико-множественной модели теории Пеано.

Все это должно быть ужасно очевидно.

21 век

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

Что странно. 

напомнили

Watch on YouTube

 

как узнать, что два отрезка пересекаются

Не надо искать их точку пересечения.
Просто надо проверить, что а) концы первого отрезка находятся по разные стороны от прямой, образованной вторым отрезком, и б) симметрично.

А как это проверить? а надо сдвинуть координаты, и взять два скалярных произведения (начала отрезка и конца отрезка с прямой, ортогональной нашей); если у них разные знаки, то да, по разные стороны. 

Я не знаю, это чо, неизвестная науке наука, или это тривиально? На интернетах что-то не нашел. Но это ж элементарно (Ватсон).

дыбр

 Ну что. Проснулся, пошел отжиматься, чота не пошло, 45 всего; залег снова, позвонил подруге, как она там по Авиньону рассекает.
Часик посмотрел кино. Встал, таки отжался как следует. Надо же упражняться, чо.

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

Вообще планировал прокатиться на велике. Но вот не тянет, ну. Поехал... сначала в Калинку, купил хлеба да кусочек сала; потом в Костко, купил там творога; потом в Лоуз, купил кран и таймер для системы добавления воды в пруд, а также медную трубку; это потом разъясню. Затем в аптеку, взял себе лекарств, по плану. Затем в Сейфвей, у меня кокосовые хлопья для мюзлей кончились.

И домой приехал, было уже почти три. Причем что, была идея зайти в Чайна Дилайт пообедать, но передумал; мне и дома хорошо. Опять ел помидоры, да хлеб с салом. Куриные котлетки? Одну на обед, одну на ужин. У меня много еды.

Присобачил новый таймер для пруда. Кран я тоже хотел поменять, а он не отвинчивается! Причем, воду во всем доме пришлось отключать. Отвинтить можно было, но для этого надо развинчивать всю систему. Фигня, просто ту часть, где ручка, свинтил, замотал фумкой, завинтил обратно. Все работает.

Попробовал светильник этот, led, на потолок который собираюсь вешать. Классно; температуру там можно регулировать, но я решил уже регулятор не выносить, а потом поставим сколько надо. Все хорошо.

Хотел заплатить за лабораторию (ну это где анализы крови), но оказалось, что я неправильно прочитал, и мой долг 0 долларов, а не семь. Ладно.

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

Французский тоже днем сделал. Подруга вела репортаж из Авиньона. Музеи, улицы, река, мост... у нее квартира с патио на крыше... красота.

И уже десятый час, и не пойти ли мне спать. Ну в смысле кино посмотреть еще. Геометрия что-то не вполне работает, как на рациональные координаты перекатился.