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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

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

ed2k: ed2k stats

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

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

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

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