deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

Метаматематика элементарной математики

весьма простая книжка

Энглер. Метаматематика элементарной математики.
http://lib1.org/_ads/8370AD1CA378478C505BB486403A25B1

Глава I. Континуум 7
§ 1. Что такое вещественные числа? 7
§ 2. Язык как часть математики 12
§ 3. Элементарная теория вещественных чисел 22
§ 4. Нестандартный анализ 37
§ 5. Аксиома выбора и континуум-гипотеза 48
Глава II. Геометрия 55
§ 1. Пространство и математика 55
§ 2. Аксиоматизация посредством координатизации ... 57
§ 3. Вопросы теории науки и методы элементарной
геометрии 68
§ 4. Геометрические построения 80
Глава III. Алгоритмика 91
§ 1. Что такое вычислительное предписание? 91
§ 2. Существование комбинаторных алгебр: комбинаторная
логика 98
§ 3. Конкретные комбинаторные алгебры 105
§ 4. Ламбда-исчисление * НО
§ 5. Вычислимость и комбинаторы 115
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 3 comments