|
|
|
| 1. Роль практики в истории возникновения «чистой» математики | 5
|
| 2. Диалектическая логика в теории математического доказательства | 39
|
| 3. О различных взглядах на современную математическую логику | 66
|
| 4. Борьба материализма и идеализма в математике | 79
|
| 5. Кибернетика и философия | 86
|
| 6. Математика и язык | 89
|
| 7. О законе исключенного третьего в современной математической логике. Тезисы | 95
|
| 8. О математической логике и философии | 110
|
| 9. О математической логике | 118
|
| 10. О философских вопросах современной формальной логики | 127
|
| 11. Философские вопросы математической логики | 138
|
| 12. Формальная логика и материалистическая диалектика в математике | 161
|
| Программа экзамена по математической логике | 172
|
| Список тем курсовых и дипломных работ по математической логике | 175
|
| Приложение | 176
|
| Логика классов | 176
|
| Комбинаторная логика | 182
|
| Исчисление | 185
|
| Предметный указатель | 195
|
| Именной указатель | 198
|
 Яновская Софья Александровна Известный советский математик, логик, философ, доктор физико-математических наук. Преподавала математику в Институте красной профессуры, а также логику, историю и философию математики в Московском государственном университете имени М. В. Ломоносова; читала лекции, руководила семинарами, много времени и сил отдавала своим ученикам. С. А. Яновская внесла большой вклад в развитие математической логики в нашей стране: составляла оригинальные курсы лекций, делала доклады, проводила большую организационную работу, участвовала в подготовке энциклопедических изданий, заботясь о том, чтобы в них была достойно представлена математическая логика. Основные ее труды посвящены проблемам истории, методологии и философии математики.
|
|
|
|
