недоказуем

См. также в других словарях:

• закон дунса скота — закон логики классической, характеризующий логическое противоречие и импликацию материальную. Закон можно передать так: ложное высказывание влечет (имплицирует) любое высказывание. Напр.: Если дважды два не равно четырем, то, если дважды два… …   Словарь терминов логики

• МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… …   Энциклопедия Кольера

• ДЮЭМА — КУАЙНА ТЕЗИС — тезис о невозможности сепаратной экспериментальной проверки гипотез, являющихся элементом сложноорганизованной теоретической системы. Первоначальный (слабый) вариант этого тезиса был сформулирован Л. Дюэмом: «Физик никогда не может подвергнуть… …   Философская энциклопедия

• МИНИМАЛЬНАЯ ЛОГИКА —         логич. система, являющаяся ослаблением конструктивной логики и интуиционистской логики за счёт исключения из числа постулатов принципа «из противоречия следует любое предложение». Этот принцип, как и более сильный «закон двойного… …   Философская энциклопедия

• ФИНИТИЗМ —         (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа …   Философская энциклопедия

• Недоказуемые утверждения — в какой либо теории  утверждения, которые нельзя ни доказать, ни опровергнуть в рамках этой теории. Теорема Гёделя о неполноте говорит, что в каждой достаточно сложной непротиворечивой теории имеется недоказуемое [и неопровергаемое в ней]… …   Википедия

• Бойяи, Янош — Янош Бойяи венг. Bolyai János …   Википедия

• Бойяи Я. — Предполагаемый портрет Яноша Бойяи Янош Бойяи (венг. Bolyai János; 15 декабря 1802 27 января 1860) венгерский математик, один из первооткрывателей неевклидовой геометрии (называемой теперь геометрией Лобачевского). В русских источниках… …   Википедия

• Бойяи Янош — Предполагаемый портрет Яноша Бойяи Янош Бойяи (венг. Bolyai János; 15 декабря 1802 27 января 1860) венгерский математик, один из первооткрывателей неевклидовой геометрии (называемой теперь геометрией Лобачевского). В русских источниках… …   Википедия

• Больяи, Янош — Предполагаемый портрет Яноша Бойяи Янош Бойяи (венг. Bolyai János; 15 декабря 1802 27 января 1860) венгерский математик, один из первооткрывателей неевклидовой геометрии (называемой теперь геометрией Лобачевского). В русских источниках… …   Википедия

• Больяи Я. — Предполагаемый портрет Яноша Бойяи Янош Бойяи (венг. Bolyai János; 15 декабря 1802 27 января 1860) венгерский математик, один из первооткрывателей неевклидовой геометрии (называемой теперь геометрией Лобачевского). В русских источниках… …   Википедия