Математика никĕслевĕсем

Математика никĕслевĕсемматематика пĕлĕвĕсене лайăх палăртнă тата йышлах та мар аксиомăсенчен логика йĕркевĕсемпе кăларас тĕллевпе ăсталанă тытăм (математикăлла система), — çавна май математика пĕлĕвĕсен шанчăклăхĕ гарантиленет[1]. Математика никĕслевĕсем виçĕ компонентран тăраççĕ[2]:

  1. Урăх объектсем урлă палăртман чи никĕсле математикăлла объектсем пурри.
  2. Чи никĕсле объектсем тĕлĕшпе аксиомăсем пурри.
  3. Чăнлăхлă каланăлăхсенчен чăнлăхлă урăх каланăлăхсем тумалли логикăлла çирĕп йĕркевсем пурри.

Тимлĕхшĕн: "математика никĕслевĕсем" тенине кулленхи пурнăçра час-часах тĕл пулакан "математика никĕсĕсем" текен "ахаль" ăнлавпа пăтраштарма юрамасть!

Вуламалли

тӳрлет
  • Начала Евклида / Перевод с греческого и комментарии Д. Д. Мордухай-Болтовского при редакционном участии М. Я. Выгодского и И. Н. Веселовского. — М.—Л.: ГТТИ, 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 с.

Асăрхавсем

тӳрлет
  1. ^ Яровой Г., Радаев Ю. Предисловие // Уайтхед А., Рассел Б. Основания математики: В 3 т. — Самара: Самарский университет, 2005—2006. — ISBN 5-86465-359-4.—. Том 1, стр. 10
  2. ^ Эдельман С. Л. Математическая логика. Учеб. пособие для ин-тов, М.Высшая школа 1975 С.176

Каçăсем

тӳрлет