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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
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
Десятичное разложение числа $\pi$      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
1 2 3 4 5 6
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте