Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Аксиоматические теории



Рассматривается аксиоматический метод построения математических теорий. Обсуждаются свойства непротиворечивости и полноты аксиоматических теорий.

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

Ганс Фрейденталь. Математика в науке и вокруг нас

Одной из замечательных особенностей математических исследований двадцатого столетия является чрезвычайно широкое использование аксиоматического метода. Можно сказать, что математическая наука достигает совершенства лишь тогда, когда она принимает характер аксиоматической теории.

В данной лекции рассматривается аксиоматический или дедуктивный метод построения математических теорий. Материал излагается на неформальном (содержательном) уровне примерно в том объеме, в каком он используется в повседневном математическом обиходе.





Дата публикования: 2015-03-26; Прочитано: 230 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.007 с)...