|
Mathematical Education, 2017, Issue 4(84), Pages 28–44
(Mi mo624)
|
|
|
|
Students and teachers of mathematical specialties
Axiomatic method in a higher education course of mathematical logics: from Euclid to Gödel
I. V. Suchan, O. V. Ivanisova, G. G. Kravchenko Kuban State University, Krasnodar
Abstract:
A short history and theory of axiomatic method up to Gödel theorems is presented.
Keywords:
axiomatic method, informal axiomatic theory, formal axiomatic theory.
Citation:
I. V. Suchan, O. V. Ivanisova, G. G. Kravchenko, “Axiomatic method in a higher education course of mathematical logics: from Euclid to Gödel”, Math. Ed., 2017, no. 4(84), 28–44
Linking options:
https://www.mathnet.ru/eng/mo624 https://www.mathnet.ru/eng/mo/y2017/i4/p28
|
Statistics & downloads: |
Abstract page: | 292 | Full-text PDF : | 893 | References: | 35 |
|