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