|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Панов М.И. — Методические проблемы интуиционистской математики |
|
|
|
| Предметный указатель |
Лоренцен, П. 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
|
|
|
| Реклама |
|
|
|
|
|
О проекте