деля
71делиться — делиться, делюсь, делимся, делишься, делитесь, делится, делятся, делясь, делился, делилась, делилось, делились, делись, делитесь, делящийся, делящаяся, делящееся, делящиеся, делящегося, делящейся, делящегося, делящихся, делящемуся, делящейся,… …
72МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И …
73Гёдель, Курт — Курт Гёдель нем. Kurt Friedrich Gödel …
74НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …
75Вторая теорема Геделя — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте …
76Неполнота математики — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте …
77Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… …
78ГЁДЕЛЬ — (Godel) Курт (1906 1978) австр. логик и математик. Участвовал в работе Венского кружка. В 1933 1939 приват доцент Венского ун та, в 1940 эмигрировал в США, с 1953 проф. Ин та высших исследований в Принстоне. Г. принадлежат ряд важнейших… …
79Гёдель — Гёдель, Курт Курт Гёдель нем. Kurt Friedrich Gödel 200px Курт Гёдель Дата рождения: 28 апреля 1906(1906 04 28) Место рождения …
80Гёдель К. — Курт Гёдель Курт Гёдель Дата рождения: 28 апреля 1906(19060428) Место рождения: Брно Австро Венгрия Д …
