Работа Рассела «Математическая логика, основанная на теории типов» впервые дает развернутое решение логических парадоксов, основанное на разработанной им теории типов. Содержание статьи в существенных чертах совпадает с первым томом опубликованного в 1910-1913 гг. монументального трехтомного труда Principia Mathematica, написанного Б. Расселом в соавторстве с А. Н. Уайтхедом.
В ином жанре написана книга «Введение в математическую философию» (1920). Ее задача — популяризировать идеи Principia Mathematica, особо акцентируя внимание на философской значимости достигнутых результатов. В этой книги также нашли отражение взгляды Рассела на природу математики в рамках логицистского тезиса сведения математики к логике. Цель нижеследующего текста — ввести идеи Рассела в контекст программы логицизма, в русле которого развивались его взгляды на природу математики.
Просмотров:
1101
Дата размещения:
2013-08-25 15:12:14 UTC
Скачать
В ином жанре написана книга «Введение в математическую философию» (1920). Ее задача — популяризировать идеи Principia Mathematica, особо акцентируя внимание на философской значимости достигнутых результатов. В этой книги также нашли отражение взгляды Рассела на природу математики в рамках логицистского тезиса сведения математики к логике. Цель нижеследующего текста — ввести идеи Рассела в контекст программы логицизма, в русле которого развивались его взгляды на природу математики.