Настольная лампа с абажуром: сочетание стиля и мягкого света 
AMX-10 RC ВСУ 
До тетануса! 
спок 
13-летие Товарищества с Кулинарной Ответственностью. Готовили... by dejur 
День самоуправления #1 в марафоне #ПРОСТОЛЕТО 
Про беседу с венгерскими г-нами о нацистском восстании 1956-го года в Венгрии 
Утреннее 
ВС РФ нанесли удары по военным целям в семи областях На этот раз интервью дал мой первый друг на Лиру Max Joker , самый первый читатель моего блога. Отличный блоггер, который ведёт блог про кино. 1. Привет Максим, ! Рад взять у тебя интервью. Расскажи, пожалуйста, о себе. Привет-привет! А я не менее ...
почти поле
zeit_raffer — 28.08.2016
По поводу ветки (где я общаюсь с 
sassa_nf и pbl) помню, было когда-то обсуждение в
рассылке по Идрису: какому тайпклассу должны соответствовать
встроенные вещественные числа IEEE стандарта? Если делать
по-честному, то это не будет настоящее алгебраическое поле. А что
это? Есть (конечное) множество, операции на нем. Но нет
алгебраической структуры, под которую эти операции подходят.Можно, конечно, постулировать, будто это поле и так жить на фоне самообмана, как обычно живут прикладные математики. Но если у нас формальные методы и все утверждения должно четко отражать манипуляции с битами, то так делать нехорошо. Но каков выход? Теории таких почти-полей нет. Анализа на почти-полях нет, линейной алгебры над почти-полями нет. По крайней мере я таких областей науки не знаю.
Может меня кто-то сейчас просветит? :)
Дополню цитатой из Воеводского: "Прикладная математика, может быть жестко так говорить, но она находится в состоянии жестокого застоя. По сути своей они используют модели, которым по 50 лет, слегка модифицируют, подгоняют под современные задачи."
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Архив записей в блогах:
Пару кадров красивого рассвета, встреченного в аэропорту Саратова, пока ехали по взлётной полосе к месту съёмки Всем хорошего дня! ...
Друзья говорят о том, что мы теперь изгои в западном обществе, что никто не захочет воспринимать нас как нормальных людей, что мы теперь - примерно как северные корейцы. «Не место нам в приличном обществе» (и тем более - смотря на гигантскую поддержку, оправдания войны в России
Ночью ошиблась номером. Не ошиблась, а ткнула не туда, и вместо Тани набрала Толю. Услышав хлиплое Толяново «алло» вместо звонкого Танюхиного голоса, трубку я бросила. Толя сто лет назад встречался с Танькой, и с момента их расставания мы не ...
Думал, с чего бы начать декабрьский дневник. Особенно тогда, когда на улице -24С и выходить туда совсем не хочется. Решил, что покажу вам фотографии, которые в марте этого года сделал на Антигуа, когда уже второй раз поехал на Карибскую парусную ...
