Большая Советская Энциклопедия (АК) - Большая Советская Энциклопедия "БСЭ". Страница 36
Начало второй стадии в истории А. м. связывают обычно с открытием Н. И. Лобачевским, Я. Больяй и К. Ф. Гауссом возможности построить непротиворечивым образом геометрию, исходя из систем аксиом, отличной от евклидовой. Это открытие разрушило убеждение в абсолютной («очевидной» или «априорной») истинности аксиом и основанных на них научных теорий. Теперь аксиомы стали пониматься просто как исходные положения данной теории, вопрос же об их истинности в том или ином смысле (и выбор в качестве аксиом) выходит за рамки аксиоматической теории как таковой и относится к её взаимоотношению с фактами, лежащими вне её. Появилось много (и притом различных) геометрических, арифметических и алгебраических теорий, которые строились средствами А. м. (работы Р. Дедекинда, Г. Грасмана и др.). Эта стадия развития А. м. завершилась созданием аксиоматических систем арифметики (Дж. Пеано, 1891), геометрии (Д. Гильберт, 1899), исчисления высказываний и предикатов (А. Н. Уайтхед и Б. Рассел, Англия, 1910) и аксиоматической теории множеств (Э. Цермело, 1908).
Гильбертовская аксиоматизация геометрии позволила Ф. Клейну и А. Пуанкаре доказать непротиворечивость геометрии Лобачевского относительно евклидовой геометрии посредством указания интерпретации понятий и предложений неевклидовой геометрии в терминах геометрии Евклида, или, как говорят, построения модели первой средствами второй. Метод моделей (интерпретаций) стал с тех пор важнейшим методом установления относительной непротиворечивости аксиоматических теорий. В то же время со всей отчётливостью выявилось, что, кроме «естественной» интерпретации (т. е. той, ради уточнения и развития которой данная теория строилась), у аксиоматической теории могут быть и др. интерпретации, причём её можно с равным основанием считать «говорящей» о каждой из них.
Последовательное развитие этой идеи и стремление точно описать логические средства вывода теорем из аксиом привели Гильберта к концепции формального А. м., характерной для третьей, современной его стадии. Основная идея Гильберта — полная формализация языка науки, при которой её суждения рассматриваются просто как последовательности знаков (формулы), не имеющие как таковые никакого смысла (который они приобретают лишь при некоторой конкретной интерпретации). Это относится и к аксиомам — как общелогическим, так и специфическим для данной теории. Для вывода теорем из аксиом (и вообще одних формул из других) формулируются специальные правила вывода (например, т. н. правило modus ponens — «правило зачёркивания», позволяющее получить В из А и «А влечёт В»). Доказательство в такой теории (исчислении, или формальной системе) — это просто последовательность формул, каждая из которых либо есть аксиома, либо получается из предыдущих формул последовательности по какому-либо правилу вывода. В отличие от таких формальных доказательств, свойства самой формальной системы в целом обсуждаются — а иногда их удаётся и доказать — содержательными средствами т. н. метатеории, т. е. теории, рассматривающей данную («предметную») теорию как предмет изучения. На языке метатеории (метаязыка) формулируются и правила вывода предметной теории. По замыслу Гильберта, в рамках созданной им теории доказательств, т.е. допуская в метатеории только т. н. финитные способы рассуждения (не использующие ссылки ни на какие объекты, не имеющие конечного построения), можно было бы доказать непротиворечивость и полноту всей классической математики (т. е. доказуемость каждой формулы, истинной при некоторой определённой интерпретации). Несмотря на ряд значительных результатов в этом направлении, гильбертовская программа в целом (её обычно называют формализмом) невыполнима, т. к., согласно важнейшему результату К. Гёделя (1931), всякая достаточно богатая непротиворечивая формальная система непременно неполна (т. н. теорема о неполноте). Теорема Гёделя свидетельствует об ограниченности А. м. (хотя определённые расширения допускаемых метатеоретических средств и позволили немецкому математику Г. Генцену, П. С. Новикову и др. математикам получить доказательство непротиворечивости формализованной арифметики).
А. м. подвержен также критике, исходящей из различных семантических (см. Логическая семантика) критериев. Так, интуиционисты (Л. Э. Я. Брауэр, Г. Вейльи др.) не признают обоснованности в применении к бесконечным множествам принципа исключенного третьего (см. Исключённого третьего принцип) между тем этот принцип не только берётся в качестве логической аксиомы в большинстве формальных теорий, но и используется по существу (хотя и неявно) в основных предпосылках гильбертовской программы, согласно которой непротиворечивость теории — достаточное условие её «истинности». Как и интуиционизм, конструктивное направление в математике (в СССР — А. А. Марков и Н. А. Шанин) считает назначением математики изучение не произвольных моделей непротиворечивых формальных систем, а лишь совокупностей объектов, допускающих в определённом смысле эффективное построение.
Ещё более существенные возражения против А. м. выдвигает ультраинтуиционистская критика, ставящая под сомнение единственность натурального ряда чисел и, тем самым, однозначную определённость понятия теоремы формальной системы. Согласно этой критике, А. м. основан на «принципе локальности для доказательств», предполагающем, что если аксиомы истинны и правила вывода сохраняют истинность, то истинными непременно должны быть и теоремы. Т. о., интуитивное обоснование общеупотребительного принципа математической индукции, согласно ультраинтуиционистской критике, содержит неустранимый порочный круг. Ультраинтуиционизм, не ограничиваясь критикой, предлагает и положительную программу преодоления указанных трудностей.
Лит.: Начала Евклида, пер. с греч., [т. 1 — 3], М. — Л., 1948 — 50; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (библ.); Новиков П. С., Элементы математической логики, М., 1959: Есенин-Вольпин А. С., Об аксиоматическом методе, «Вопросы философии», 1959, № 7; Садовский В. Н., Аксиоматич. метод построения науч. знания, в кн.: Филос. вопросы совр. формальной логики, М., 1962; Hilbert D., Bernays P., Grundlagen der Mathematik, Bd 1 — 2, В., 1934 — 39.
Ю. А. Гастев, А. С. Есенин-Вольпин.
Аксирис
Акси'рис (Axyris), род однолетних трав семейства маревых. Цветки мелкие, невзрачные, однополые; растения однодомные. 7 видов в Европе и Азии; из них в СССР — 5. А. щирицевый (А. amaranthoides) растет по дорогам, мусорным местам, засоряет яровые и озимые посевы в лесостепной и южной части лесной зоны от Тихого океана до Урала. В СССР против распространения А. принимаются карантинные меры.
Аксис
А'ксис (Cervus axis), млекопитающее семейства оленей. Длина тела до 150 см, высота до 100 см, весит до 40 кг. Окраска красновато-рыжая с многочисленными белыми пятнами. У самцов рога длиной до 100 см, на каждом роге не больше трёх отростков; самки безрогие. Встречается в Индии и на Цейлоне. Обитает в светлых лесах и на травянистых полянах, обычно вблизи воды. Численность невелика; местами истреблен. Стадное животное. Ведёт дневной образ жизни. Питается травой, реже листьями и плодами кустарников и деревьев. Самки рождают обычно 1—2 детёнышей, которых вынашивают 7—8 мес.
Илл. к ст. Аксис.
Аксолотль
Аксоло'тль (ацтек.), личинка хвостатого земноводного — тигровой амбистомы, способная к размножению (см. Неотения). А. используется для экспериментальных работ по биологии.