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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

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

ed2k: ed2k stats

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

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

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

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