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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

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

ed2k: ed2k stats

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

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

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

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

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

Суждение выражающее математическое отрицание      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

1 2 3 4 5 6

О проекте