ЛОФЕР
(ан глагол loafer, от немецкое laufen - бегать, бежать). Некогда нищий-бродяга; теперь, в больших северо-американских городах: тунеядец.
ЛОФЕР
ан глагол loafer, от немецкое laufen, бегать, бежать. Сперва нищий бродяга, теперь в больших североамериканских городах: тунеядец.

... теории Историческая перспектива Категорическая логика берет свое начало вработах Уильяма Ловера « Функториальная .семантика алгебраических теорий »; и «Элементарная теория категории множеств »;.Ловер распознал ... ... валгебраическую топологию какобобщенное .пространство , какобобщение категории множеств ( Квантификаторы ипучки Затем Ловер совместно сМайлзом Тирни разработал понятие элементарного топоса ., темсамым стабилизировав плодотворную ... (Логика)
... исключенного третьего . Он определяет разрыв между интуиционистскими континуумами , такими как континуумы Брауэра . и Ловера , и классическими континуумами , такими как континуумы Стевина и.Робинсона Белл выделяет две различные ... ... реализована .в гиперреальной теории Робинсона континуум , тогда как у Нивентийдта в гладком инфинитезимальном анализе Ловера . , характеризуемого наличием нильквадратных бесконечно малых : «Можно сказать , что Лейбниц признал .необходимость ... (Философия)
... этой логики была развита вуниверсальную алгебру Биркгофом . , Гретцером иКоном Позднее Ловером онабыла преобразована враздел теории категорий («алгебраические .теории »;) Термины эквациональной логики ... (Логика)
Комментарии
Оставить комментарий