финитизм

  • 21Метаматематика —         теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… …

    Большая советская энциклопедия

  • 22НОМИНАЛИЗМ — (от лат. nomen имя, название) филос. учение, отрицающее онтологическое значение универсалий (общих понятий), т.е. утверждающее, что универсалии существуют не в действительности, а только в мышлении. В Средние века Н. был одним из течений… …

    Философская энциклопедия

  • 23ГИЛЬБЕРТ — (Hubert) Давид (род. 23 янв. 1862, Кенигсберг – ум. 14 февр. 1943, Гёттинген) – нем. математик и логик, профессор в Гёттингене с 1895 по 1936. Создал основополагающие работы по аксиоматике геометрии, арифметики и физики, в которых пытался… …

    Философская энциклопедия

  • 24МНОЖЕСТВ ТЕОРИЯ —         математик, теория, изучающая точными средствами проблему бесконечности. Предмет М. т. свойства множеств (совокупностей, классов, ансамблей), гл. обр. бесконечных. Осн. содержание классич. М. т. было разработано нем. математиком Г.… …

    Философская энциклопедия

  • 25КОНСТРУКТИВНАЯ ЛОГИКА —         1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается …

    Философская энциклопедия

  • 26КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ —         в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… …

    Философская энциклопедия

  • 27ТАТАРКЕВИЧ — (Tatarkiewicz), Владислав (р. 3 апр. 1886) – польский философ. Д р философии, Марбург (1910). Член Польской АН. С 1915 – профессор ун та в Варшаве, преподавал в Вильно (1919–21) и Познани (1921–23). В 1923–48 – редактор журн. Przeglad… …

    Философская энциклопедия

  • 28ТЕОРЕТИКО-МНОЖЕСТВЕННАЯ ЛОГИКА — (теоретико множественная логика п р е д и к а т о в) – логика, трактуемая с т. зр. теории множеств. К Т. м. л. в широком с м ы с л е можно отнести любые интерпретации логич. исчислений, в основу к рых положено объемное, экстенсиональное понимание …

    Философская энциклопедия

  • 29ФОРМАЛИЗМ в математике — одно из осн. направлений в основаниях математики (и логики), к рое в качестве гл. задачи в области обоснования математики считает доказательство непротиворечивости отд. математич. теорий и – в идеале – всей математики в целом. Задача эта… …

    Философская энциклопедия

  • 30ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …

    Математическая энциклопедия

  • 31КУСОЧНО ЛИНЕЙНАЯ ТОПОЛОГИЯ — раздел топологии, изучающий полиэдры. Под полиэдром понимается прежде всего подмножество топологического векторного пространства, представимоо конечным или локально конечным объединением выпуклых многогранников ограниченной размерности, а также… …

    Математическая энциклопедия

  • 32ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… …

    Математическая энциклопедия

  • 33Секунда — У этого термина существуют и другие значения, см. Секунда (значения). Мигание серого сигнала происходит приблизительно раз в секунду. Секунда (русское обозначение: с; международное …

    Википедия

  • 34Хронология — (от греч. χρόνος  время; λόγος  учение): вспомогательная историческая дисциплина, устанавливающая даты исторических событий и документов; последовательность исторических событий во времени; перечень каких либо событий в их временной… …

    Википедия

  • 35Неделя — Неделя  единица времени, большая, чем день, и меньшая месяца. Семидневное устройство недели подчёркивается русским словом седмица (семь дней), хотя число семь в отношении дней недели не является константой: так, ритуальная неделя в Китае… …

    Википедия

  • 36Месяц — У этого термина существуют и другие значения, см. Месяц (значения). Месяц (лат. mēnsis, греч. μήνας)  единица измерения времени, связанная с обращением Луны вокруг Земли. Лунные месяцы являются основой многих календарей. В результате… …

    Википедия

  • 37Свободное время — Стиль этой статьи неэнциклопедичен или нарушает нормы русского языка. Статью следует исправить согласно стилистическим правилам Википедии. Свободное время общественно историческое явление, часть социального свободного времени, не занятая делами… …

    Википедия

  • 38Сутки — У этого термина существуют и другие значения, см. Сутки (значения). Солнце и Луна (Хартман Шедель Нюрнбергская хроника, 1493 год) …

    Википедия

  • 39Календарь — У этого термина существуют и другие значения, см. Календарь (значения). Календарь Данные о календаре Тип календаря Солнечный, лунный, лунно солнечный Календарная эра Вставка високосов …

    Википедия

  • 40Год — Год  единица измерения времени, в большинстве случаев приблизительно равная периоду обращения Земли вокруг Солнца. Содержание 1 Этимология 2 Астроно …

    Википедия