Математика никĕслевĕсем
Курӑнакан калӑплав
Математика никĕслевĕсем — математика пĕлĕвĕсене лайăх палăртнă тата йышлах та мар аксиомăсенчен логика йĕркевĕсемпе кăларас тĕллевпе ăсталанă тытăм (математикăлла система), — çавна май математика пĕлĕвĕсен шанчăклăхĕ гарантиленет[1]. Математика никĕслевĕсем виçĕ компонентран тăраççĕ[2]:
- Урăх объектсем урлă палăртман чи никĕсле математикăлла объектсем пурри.
- Чи никĕсле объектсем тĕлĕшпе аксиомăсем пурри.
- Чăнлăхлă каланăлăхсенчен чăнлăхлă урăх каланăлăхсем тумалли логикăлла çирĕп йĕркевсем пурри.
Тимлĕхшĕн: "математика никĕслевĕсем" тенине кулленхи пурнăçра час-часах тĕл пулакан "математика никĕсĕсем" текен "ахаль" ăнлавпа пăтраштарма юрамасть!
Вуламалли
[тӳрлет | кодне тӳрлет]- Начала Евклида / Перевод с греческого и комментарии Д. Д. Мордухай-Болтовского при редакционном участии М. Я. Выгодского и И. Н. Веселовского. — М.—Л.: ГТТИ, 1949—1951. — (Классики естествознания).
- Уайтхед А., Рассел Б. Основания математики: В 3 т / Под ред. Г. П. Ярового, Ю. Н. Радаева. — Самара: Самарский университет, 2005—2006. — ISBN 5-86465-359-4.
- Гильберт Д., Бернайс П. Основания математики. М.: Наука.
- Том I. Логические исчисления и формализация арифметики. 1979, 560 c.
- Том II. Теория доказательств. 1982, 656 с.
- Brouwer, Luitzen Egbertus Jan. Over de grondslagen der wiskunde. Academisch proefschrift, Maas & van Suchtelen, Amsterdam 1907 im Internet-Archiv, dito). Диссертация Брауэра «Об основаниях математики» (нид.).
- Английский перевод: Brouwer L. E. J. Collected Works. Vol. 1: Philosophy and Foundations of Mathematics. — Amsterdam—Oxford, 1975. — 734 p. — ISBN 9781483257549.
- Клини С. К. Введение в метаматематику. — М.: Изд-во иностранной литературы, 1957. — 526 с.
- Френкель А. А., Бар-Хиллел И. Основания теории множеств. — М.: Мир, 1966. — 555 с.
Асăрхавсем
[тӳрлет | кодне тӳрлет]- ^ Яровой Г., Радаев Ю. Предисловие // Уайтхед А., Рассел Б. Основания математики: В 3 т. — Самара: Самарский университет, 2005—2006. — ISBN 5-86465-359-4.—. Том 1, стр. 10
- ^ Эдельман С. Л. Математическая логика. Учеб. пособие для ин-тов, М.Высшая школа 1975 С.176
Каçăсем
[тӳрлет | кодне тӳрлет]Ку математикăпа вĕçлемен статья. Эсир статьяна тӳрлетсе тата хушса проекта пулăшма пултаратăр. |
Математика уйрăмĕсем |
||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
«Ăслăх» портал | ||||||||||||||
| ||||||||||||||
«Математика» порталĕ • Категори «Математика» |