К интерпретации теорем Гёделя о неполноте арифметики
В рамках гёделева подхода доказательство теоремы о неполноте, по которой неразрешимыми оказываются самые обычные в (мета) арифметике суждения, из чего следует неправомерность переноса полученных в таком представлении выводов на содержательное знание.
| Рубрика | Математика |
| Предмет | Математика |
| Вид | статья |
| Язык | русский |
| Прислал(а) | А.В. Бессонов |
| Дата добавления | 24.11.2018 |
| Размер файла | 29,0 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Доказательство теоремы Ферма методами теоремы арифметики, элементарной алгебры с использованием методов решения параметрических уравнений для четных и нечетных показателей степени. Теорема о разложении на простые множители целых составных чисел.
научная работа [22,6 K], добавлен 12.06.2009Доказательство великой теоремы Ферма методами теоремы арифметики, элементарной алгебры с использованием методов решения параметрических уравнений и методов замены переменных. Теорема о единственности разложения на простые множители целых составных чисел.
статья [29,4 K], добавлен 21.05.2009Жизненный путь Пифагора, его путешествия и загадочная смерть. Заслуги Пифагора в арифметике, геометрии, музыке и астрономии. Древняя и современная формулировки теоремы Пифагора. Тригонометрическое доказательство и некоторые применения этой теоремы.
презентация [571,0 K], добавлен 13.12.2011Теорема о представлении дзета-функции Дедекинда произведением L-рядов Дирихле, ее доказательство в виде произведения L-функций в разветвленном и неразветвленном случаях. Приложение теоремы: выведение функционального уравнения дзета-функции Дедекинда.
курсовая работа [65,6 K], добавлен 15.06.2011Курт Гедель как крупнейший специалист по математической логике, краткий очерк его жизни и личностного становления, достижения в сфере профессиональной деятельности. История и основные этапы создания теоремы о неполноте, первой и второй, дискуссии вокруг н
реферат [21,5 K], добавлен 03.05.2011Рациональность решения задач с помощью теорем Чевы и Менелая, чем их решение другими способами, например векторным. Доказательство теорем, дополнительное построение. Трудности, связанные с освоением этих теорем, оправданные применением при решении задач.
контрольная работа [388,3 K], добавлен 05.05.2019Основные понятия и результаты, связанные с теорией диофантовых уравнений, теорией эллиптических кривых и abc-гипотезой. Метод бесконечного спуска и доказательство теоремы Ферма для n=4. Анализ выводов К. Рибета Великой теоремы Ферма из гипотезы Таниямы.
дипломная работа [351,4 K], добавлен 26.05.2012Великая (большая и последняя) теорема Ферма, ее доказательство для простых показателей. Целочисленные решение уравнения Пифагора в "Арифметике" Диофанта. Формулы для решения уравнения Пифагора в виде взаимно простых чисел. Преобразование уравнения Ферма.
реферат [29,1 K], добавлен 19.11.2010Выполнение доказательства теорем Пифагора, Ферма и гипотезы Биля методом параметрических уравнений в сочетании с методом замены переменных. Уравнение теоремы Ферма как частный вариант уравнения гипотезы Биля, а уравнение теоремы Ферма – теоремы Пифагора.
творческая работа [64,8 K], добавлен 20.05.2009Формулирование и доказательство великой теоремы Ферма методами элементарной алгебры с использованием метода замены переменных для показателя степени n=4. Необходимые условия решения уравнения. Отсутствие решения теоремы в целых положительных числах.
творческая работа [27,7 K], добавлен 17.10.2009
