|
||||||||||||||||||||||||||
Статьи и новости: |
Объявление.Инновационный многопрофильный образовательный комплекс ГБОУ г.Москвы гимназия №1796 «Гольяново» проводит дополнительный набор учащихся 5-11 классов для обучения в предпрофильных и профильных классах следующих направленностей на 2014/15 учебный год:
Ивановоские институты.
|
ВУЗ | Ивановская государственная сельскохозяйственная академия имени академика Д.К. Беляева |
Адрес | 153012, Ивановская область, г. Иваново, ул. Советская, д. 45 |
Телефоны | (4932) 32-81-44, 30-06-03, 32-53-76 |
Город расположения | Иваново |
Регион | Ивановская область |
Организационная форма | |
Государственная аккредитация до | 06 марта 2012 года |
Лицензия до | 27 февраля 2007 года |
Специальности | СПИСОК СПЕЦИАЛЬНОСТЕЙ |
Допольнительная информация | |
WWW | ivgsha.tpi.ru |
ivgsha@tpi.ru |
Из Большой Советской Энциклопедии.
Сколем, Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, — 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным вопросам логики и философии (математики). Наиболее известный результат — т. н. теорема Лёвенхейма — Скулема, согласно которой любая аксиоматическая теория, имеющая бесконечную модель, имеет счётную модель, из чего следует относительность таких понятий, как счётность, несчётность, мощность множества («парадокс С.», см. Парадокс), и возможность построения т. н. нестандартных моделей аксиоматических теорий (см. Моделей теория). Результаты и идеи С. используются в исследованиях по машинному поиску логического вывода.
Соч.: Selected works in logic, Boston, 1970.