(теория доказательств) — теория, к-рая занимается изучением различных свойств формальных систем и исчислений (непротиворечивость, полнота и др.). Термин “М.” введен Гильбертом в связи с его концепцией обоснования математики (Формализм). За последние годы в этой области получен ряд важных результатов (теорема Гёделя о неполноте формальной арифметики и о невозможности доказательства непротиворечивости системы с помощью средств, формализуемых в этой системе, и др.).
Если Вы искали другое значение слова/фразы Метаматематика, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Метаматематика ищут определения этих слов:
Материально-техническая База Общества — — совокупность материальных, вещественных условий производства (орудия и средства труда), необходимых для возникновения и развития той или иной общественно-экономической формации. М.-т. б. о. является составным элементом производительных сил и...
Милетская Школа (ионийская) — — древнейшая материалистическая философская школа в Греции; первые ее представители относятся к 6 в. до н. э. Милет был тогда крупным центром торговли, мореплавания, культуры, что обусловило широкий горизонт и научные интересы выдающихся милетцев, к...
Мендель Грегор Иоганн (1822—84) — — чешский естествоиспытатель, один из основоположников совр. генетики. Результаты экспериментов М. изложены в гл. труде его жизни — “Опыты над растительными гибридами” (1866). В процессе качественного, биологического обоснования обнаруженных им...
Менделеев Дмитрий Иванович (1834—1907) — — великий рус. химик, материалист и стихийный диалектик, боролся против спиритизма и энергетизма, отстаивал связь науки с производством. М. открыл (1869) периодический закон и создал на его основе периодическую систему химических элементов. В совр....
Материально-техническая База Общества — — совокупность материальных, вещественных условий производства (орудия и средства труда), необходимых для возникновения и развития той или иной общественно-экономической формации. М.-т. б. о. является составным элементом производительных сил и...
Метаязык И Язык-объект — — понятия совр. логики. Когда предметом исследования является естественный или искусственный язык (напр., логическое исчисление или язык конкретной научной теории), необходимо отличать исследуемый язык, наз. языком-объектом, от языка, на к-ром...
Механицизм — — мировоззрение, объясняющее развитие природы и об-ва законами механической формы движения материи, к-рые рассматриваются как универсальные и распространяются на все виды материального движения. Исторически возникновение и распространение М. было...
Мегарская Школа — — философское направление, существовавшее в Древн. Греции в 4 в. до н.э.; основано другом и учеником Сократа — Евклидом из Мегары (ок. 450—380 до н. э.). После смерти Сократа мегарики пытались синтезировать учение Парменида о вечном и неизменном...
Метаязык И Язык-объект — — понятия совр. логики. Когда предметом исследования является естественный или искусственный язык (напр., логическое исчисление или язык конкретной научной теории), необходимо отличать исследуемый язык, наз. языком-объектом, от языка, на к-ром...
Меритократия — (лат meritus — достойный и греч. kratos — власть) — понятие зап. политологии, к-рым обозначается об-во, управляемое правительством, состоящим из лиц, избранных на основании их личных заслуг и способностей; по утверждениям ряда совр. социологов,...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
