недоказуем
1закон дунса скота — закон логики классической, характеризующий логическое противоречие и импликацию материальную. Закон можно передать так: ложное высказывание влечет (имплицирует) любое высказывание. Напр.: Если дважды два не равно четырем, то, если дважды два… …
2МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… …
3ДЮЭМА — КУАЙНА ТЕЗИС — тезис о невозможности сепаратной экспериментальной проверки гипотез, являющихся элементом сложноорганизованной теоретической системы. Первоначальный (слабый) вариант этого тезиса был сформулирован Л. Дюэмом: «Физик никогда не может подвергнуть… …
4МИНИМАЛЬНАЯ ЛОГИКА — логич. система, являющаяся ослаблением конструктивной логики и интуиционистской логики за счёт исключения из числа постулатов принципа «из противоречия следует любое предложение». Этот принцип, как и более сильный «закон двойного… …
5ФИНИТИЗМ — (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа …
6Недоказуемые утверждения — в какой либо теории  утверждения, которые нельзя ни доказать, ни опровергнуть в рамках этой теории. Теорема Гёделя о неполноте говорит, что в каждой достаточно сложной непротиворечивой теории имеется недоказуемое [и неопровергаемое в ней]… …
7Бойяи, Янош — Янош Бойяи венг. Bolyai János …
8Бойяи Я. — Предполагаемый портрет Яноша Бойяи Янош Бойяи (венг. Bolyai János; 15 декабря 1802 27 января 1860) венгерский математик, один из первооткрывателей неевклидовой геометрии (называемой теперь геометрией Лобачевского). В русских источниках… …
9Бойяи Янош — Предполагаемый портрет Яноша Бойяи Янош Бойяи (венг. Bolyai János; 15 декабря 1802 27 января 1860) венгерский математик, один из первооткрывателей неевклидовой геометрии (называемой теперь геометрией Лобачевского). В русских источниках… …
10Больяи, Янош — Предполагаемый портрет Яноша Бойяи Янош Бойяи (венг. Bolyai János; 15 декабря 1802 27 января 1860) венгерский математик, один из первооткрывателей неевклидовой геометрии (называемой теперь геометрией Лобачевского). В русских источниках… …
