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