Работа, представленная на фестиваль

Доказательство независимости аксиом в различных аксиоматических системах

Раздел: Математика

Учебный год: 2007 / 2008

Автор: Буравлёв Степан

Руководитель: Косурина Светлана Валентиновна

Материалы работы: 565264.zip * (304 кБ)

Описание работы:

В работе рассматривается вопрос о независимости аксиом в различных аксиоматических системах. Производится доказательство независимости аксиом путем построения контрпримера к данной аксиоматической системе так, чтобы в нем выполнялись все аксиомы, кроме ровно одной. В качестве модельных задач рассмотрены аксиоматика линейного пространства, аксиоматика натуральных чисел Пеано, аксиоматика метрического и топологического пространств, а также евклидовой геометрии Вейля и Гильберта.

Технические требования:

стандартные

Порядок знакомства:

Сначала открыть файл "Доказательство независимости аксиом.doc", потом открыть файл "Доказательство независимости аксиом.ppt".

Контактная информация:

• Эл. почта: bloodthrist@list.ru