Панов М.И. — Методические проблемы интуиционистской математики :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Панов М.И. — Методические проблемы интуиционистской математики

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Методические проблемы интуиционистской математики

Автор: Панов М.И.

Аннотация:

В монографии исследуются причины возникновения интуиционизма как одного из направлений в современной математике. На основе анализа работ основоположника интуиционизма и других исследователей раскрыта сущность интуиционистской математики, ее отличие от классической и конструктивной математики. Значительное внимание уделено рассмотрению эволюции философских взглядов Брауэра, а также критике метафизических и идеалистических концепций в области оснований математики.

Язык:

Рубрика: Математика/

Серия: Сделано в холле

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1984

Количество страниц: 222

Добавлена в каталог: 04.03.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Лоренцен, П.      161 162 168
Лосский, Н.О.      137
Лузин, Н.Н.      131
Лукасевич, Я.      53 75 78 80
Лукьянец, В.С.      6
Майбурова, Д.Я.      6
Майхилл, Д.Р.      7 8 22 48 182 183
Маккол, Х.      108
Максвелл, Д.К.      39
Манин, Ю.И.      6 142
Маннури, Г.      16 17 24
Марков, А.А.      6 22 32 35 45 47 64 67 145 161 168—173 177
Маркова, Л.А.      96
Маркс, К.      28 59 78—80 165 166
Марксизм      78
Мартин-Лёф, П.      7 167
Математизация      27 31 193
Математизация знания      27 185
Математизация наук      27
Математика      3 4 6 8 10—13 15—17 19 21 24—33 37 38 40 42 47—50 52—54 58 62 65 67 68 73 74 80 91 92 97 99 101 102 104 107—109 111 114 115 117 119—122 124 125 127 129 130 133 136 140 145—147 154 156 163 173 179 180 187 193
Математика античная      69 71—73
Математика бесконечных множеств      61
Математика греческая      98
Математика догреческая      3
Математика интуитивная      125
Математика интуиционистская      6—8 22 23 30—36 39 43—48 52 63 64 67 73 81 85 89 90 92 110 126 132 134 135 161 169 173 174 178 180 183—189
Математика как практически ориентированное знание      3
Математика как целостное образование      3
Математика классическая (теоретико-множественная)      5 6 11 25 30-34 36 39 43-49 55 85 88-90 93 126 132 141 161 164 174 175 179 182 183 184 186
Математика конструктивная      22 35 44 48 94 134 161 162 163 164 167—168 171—173 179 180 183—186
Математика конструктивная с общими индуктивными определениями      168
Математика конструктивная традиционная      168
Математика неклассическая      5 32 134 161
Математика современная      35 46 56 123 125 145 166 184 192
Математика узкоконструктивная      168
Математика чистая      32 101 107 108 121 123 125
Математика «критическая»      162
Математика «нетрадиционная»      162
Материализм      8 27 42 43 109 119
Материализм диалектический      26
Материализм «стыдливый»      43
Материя      27 59 137 158
Махизм      118
Махисты      43
Машина вычислительная Тьюринга      170
Медведев, Ф.А.      187
Мейерсон, Э.      118
Менойкей      79
Метаматематика      68
Метафизика      28 41 138
Метод      9
Метод аксиоматический      45 135
Метод верхних и нижних интегральных сумм      71
Метод косвенного доказательства      72 73
Метод материалистической диалектики      27 43
Метод универсальный (в учении Лейбница)      102 103
Методологические аспекты      12
Методологические основы логицизма      108
Методологические проблемы интуиционистской математики      5—7 11 16 29 188
Методологические трудности      9
Методологические установки      33 110
Методологические установки Лейбница      103
Методологические установки логицизма      107
Методологический конфликт стоиков и эпикурейцев      79
Методология      7 9
Методология античной математики      71
Методология идеалистическая      40
Методология интуиционизма      36 51 99
Методология марксистско-ленинская      159
Методология математики      16 75
Методология научная      160
Методы      44
Методы интуиционистские      90
Методы исследования      44
Методы конструктивные      133
Методы мощные      45
Методы элейской философии      73
Механика      15
Милитаризм      24
Минио, Р.      7
Мир внешний (действительный, реальный)      11 13 14 27 31 32 34 37 40 49 59 117 119 135 169 170 186
Мир внутренний      142
Мир идей      163
Мир ощущений      37 38
Мир субъекта внешний      38
Мир субъекта внутренний      38
Мир «третий» (в учении Поппера)      148 150 151 159 160 190
Мировоззрение      9 43
Миросозерцание      9
Михайлов, Б.В.      123
Михайлов, Н.И.      173 174
Множество      26
Множество бесконечное      4 33 35 44 61—66 73 77 85
Множество всех действительных чисел      132
Множество конечное      61—63 77
Множество натуральных чисел      63
Множество незакономерное      132
Множество нечётко очерченное      56
Множество отрицательных чисел      132
Множество положительных чисел      132
Множество пустое      87
Множество суждений      87
Множество трансцендентных чисел      163
Множество, его определение, данное Кантором      25
Моисеев, Н.Н.      140
Молодший, В.Н.      6
Монизм логический      68
Морозов, К.Е.      6 127
Мостепаненко, А.М.      23
Моэм, С.      178
Музыка      17 18
Мысль      32 52—54
Мысль ее искажение при передаче      57
Мысль живая      54
Мысль математическая      55 170
Мысль математическая конструктивная      169
Мысль неоформленная в словах      53
Мышление      11 14 15 39 40 53 54 59 60 61 107 137
Мышление Брауэра      38 149
Мышление дискурсивное      120 153 160
Мышление и язык      11 14 39 51 53 54 57 59 60 61 190 191
Мышление интуитивное      153
Мышление математическое      8 37 39 50—53 58 60 117 125 153 164 190
Мышление научное      38 123 136
Мышление обыденное      15 61
Мышление «в объективном и субъективном смысле» (в учении Поппера)      149
Мышление «здравого смысла»      61
Мышление, его активная конструктивная деятельность      123
Наглядность      59 99
Наглядность геометрическая      23 115
Нарский, И.С.      118
Наторп, П.      91 109
Наука      3 6 9 13 19 27 43 46 47 52 53 80 91 95 103 124 144 180 185
Наука античная      69 70 71 73
Наука дедуктивная      54 55 60 72 73
Наука ее объективность      119
Наука ее принципиальное достижение      106
Наука математическая      28 37 46 106 119 183
Наука о мыслительных структурах      54
Наука о пространстве      106
Наука послепарменидовская      72
Наука советская      21
Наука современная      43 55 71 96 183
Наука стоиков      78
Наука экспериментальная      71
Невозможность      31
Необходимость      36 75 78 79 89
Неоднозначность      41 58
Неоинтуитивизм      139
Неоинтуиционизм      139

Неокантианцы      109
Неопозитивизм      118
Непрерывность      73 80 129 130
Непротиворечивость      14 84 85 86
Непротиворечивость как абсурдность абсурдности      86
Непротиворечивость как абсурдность противоречивости      82 88
Непротиворечивость мысли      77
Непротиворечивость принципа исключенного третьего      65
Непротиворечивость суждения      14
Несоизмеримость отрезков      27
Нестрогость      41
Неточность естественного языка      55
Неточность «изначальная»      37 55
Неэквивалентность как абсурдность эквивалентности      84
Никифоров, А.Л.      148
Новиков, П.С.      6 64 164
Нысанбаев, А.Н.      6
Ньюмен, М.Н.А.      12 18 20 39 93 94 141 181
Ньютон, И.      103
Область бесконечного      50 63 73 87
Область законности принципа взаимности дополнительности      87
Область законности принципа исключенного третьего      14 87
Область законности принципа проверочной возможности      87
Область исследования аристотелевской силлогистики      74
Обобщение приемов ораторского искусства      74
Обоснование      49 50
Обоснование логическое      93
Обоснование математики      90
Обоснование философское      51
Обоснованность      36
Образ      120
Образ геометрический      103
Образ геометрических фигур      104
Образ наглядный      104
Общество буржуазное      39
Общество Лондонское королевское      18
Общество Московское математическое      18 21
Общество Немецкое математиков      18
Общество сигнифики      24
Объект      29 31 38 48
Объект исследования      5
Объект конструктивный      36 50 64 65 89 161 163 166 169 178 179 188
Объект математический      4 5 8 26 28—30 33 39—41 44 50 65 75 80 85 86 89 123 125 136 154 160 164 166
Объект неконструктивный      36 163 184
Объект определенный      81
Объект реальный      34
Объективность      43
Объем понятия      22 26
Ограничения гносеологические      55
Ограниченность      48
Однозначность выражений      57
Окончательный      31
Омельяновский, М.Э.      39
Операции евклидовы      116
Операции проекционные      116
Операции топологические      116
Операция логическая      32 93
Операция отражающая процесс построения      81
Операция с бесконечными множествами      44 62 63 67 81 191
Операция с конечными множествами      62
Описание вербальное      51
Описание лингвистическое      56 58
Опыт      11 40 140 144
Опыт сознания      143 144
Опыт эмпирический      77
Органон      139
Основа (основы) интуитивная      39
Основа (основы) классической математики      34
Основа (основы) методологическая      60
Основа (основы) «наивной» канторовской теории множеств      41
Основание (основания)      32 33 36
Основание (основания) интуиционизма      16
Основание (основания) интуиционистской математики      48
Основание (основания) исследования конечных множеств      77
Основание (основания) классической математики      48
Основание (основания) конструктивной математики      48
Основание (основания) математики      4 5 10 15 20 21 36 47 49 51 91 93 107 108
Основание (основания) неизменное      49
Основание (основания) теории множеств      34
Основоположники марксизма      78
Осуществимость потенциальная      64 65
Осуществимый принципиально      31
Отклонение атомов      79 80
Открытие      21 28 104 106 136 140
Открытие автоморфных функций      111
Открытие в логике      101
Открытие в математике      13 101
Открытие Гёделя      94
Открытие косвенного доказательства      72
Открытие математическое      71 114
Открытие научное      113
Открытие теории множеств      104
Открытие, его контекст      141
Отношения евклидовы      116
Отношения проекционные      116
Отношения пространственные и временные      100
Отношения топологические      116
Отображение      33
Отождествление мышления и языка      39 60
Отражение      31 32 33 39 62
Отражение опосредованное      59
Отрицание      75 85 145 148
Отрицание в интуиционизме      81
Отрицание в интуиционистской логике      81
Отрицание в интуиционистской математике      81
Отрицание в классической теории      81
Отрицание в конструктивной логике      81
Отрицание двойное      83 86
Отрицание классической математики      44
Отрицание математическое      81 82
Отрицание неограниченного применения принципа исключенного третьего      63
Отрицание принципа исключенного третьего      84
Отрицание произвольного утверждения      83
Отрицание утверждения, обратного данному      72
Отрицание фактическое      81 82
Отрицание хорошо разработанных разделов математики      45
Отрицание, его связь с противоречием (абсурдом, ложью)      82
Ошибки      61
Ошибки в доказательствах      56
Ошибки в трудах логицистов      117
Ошибки математические      55
Ощущение      37 38
Ощущение данное, имеющееся      37
Ощущение настоящее      38
Ощущение предыдущее      37
Ощущение прошлое      37 38
Падоа, А.      108
Панин, А.В.      148
Панфилов, В.З.      159
Пара «близнецов»      29 30
Парадигма      20 110 180
Парадокс (парадоксы)      25 26 28 48 50 62 63
Парадокс (парадоксы) Бурали — Форти      24
Парадокс (парадоксы) Греллинга      25
Парадокс (парадоксы) Рассела      25 26
Парадокс (парадоксы) Ришара      25
Парадокс (парадоксы) теории множеств      24 26 66 67 124
Парменид      42 69 71 72 76
Парсонс, Ч.      7
Пеано, Д.      12 51 104 108 117 124
Перебор элементов множества      63 65
Передача воли      57
Передача мыслей      53
Пересечение      22
Перестройка классической математики      31
Перминов, В.Я.      6
Петров, Б.Н.      195
Петров, Ю.А.      49
Пиаже, Ж.      97 113 116 121 123
Пиери, М.      108

1 2 3 4 5 6

О проекте