Основания математики, Tом 2, Уайтхед А., Рассел Б., 2006

Основания математики, Tом 2, Уайтхед А., Рассел Б., 2006.

Трехтомная монография А. Уайтхеда и Б. Рассела ”Principia Mathematica” занимает уникальное место в мировой математической литературе. Ее первое английское издание увидело свет в 1910-1913 гг. в трех томах, составлявших вместе почти 2000 страниц. ”Principia Mathematical’ по праву считается одним из самых ярких сочинений по основаниям математики и, в широком смысле,— выдающимся вкладом в интеллектуальную сферу прошедшего столетия. Не будет преувеличением сказать, что по прошествии почти целого столетия с момента первого издания этой монографии интерес к ней не ослабевает и ”Principia Mathematics до сих пор продолжает оказывать весьма существенное влияние на развитие математики и логики. Первый том этой монографии выходит в свет в рамках перспективного проекта, реализуемого Самарским государственным университетом, по полному переводу на русский язык и комментированию указанного сочинения с целью приобщения всего научного сообщества к этому выдающемуся образцу творческой мысли. Предполагается, что современный перевод на русский язык ”Principia Mathematics восполнит также существующий пробел в литературе по математической логике и основаниям математики, а также будет способствовать развитию формальной математики в духе ее основоположников.

Основания математики, Tом II, Уайтхед А., Рассел Б., 2006


ПРЕДВАРИТЕЛЬНЫЕ ФОРМАЛЬНЫЕ СОГЛАШЕНИЯ.
Целью следующих ниже замечаний является сведение воедино в одном осуждении различных объяснений, которые требуются для применения теории типов к арифметике кардинальных чисел. Удобно объединить эти замечания, так как в противном случае их разбросанность по различным параграфам части III сделает затруднительной оценку их общего влияния. Но. несмотря на то, что мы разместили данные замечания в начале книги, их лучше читать одновременно с текстом части III, по крайней мере, с той его частью, которая содержит объяснения определений. Начальная часть дальнейшего изложения представляет собой не более чем резюме предыдущих разъяснений; и только в следующих частях дается применение к арифметике кардинальных чисел.

Общие замечания о типах. Три различных вида типовой неопределенности встречаются в наших предложениях, касаясь
(1) функциональной иерархии,
(2) пропозициональной иерархии,
(3) экстенсиональной иерархии.

Релевантность этого должна быть рассмотрена отдельно. Мы часто говорим так, как будто бы тип, представленный строчными латинскими буквами, не составлялся из функций. Это, однако, совместимо со всем тем, о чем мы должны сказать как о составленном из функций.



Бесплатно скачать электронную книгу в удобном формате и читать:

Скачать книгу Основания математики, Tом 2, Уайтхед А., Рассел Б., 2006 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать




Скачать - djvu - Яндекс.Диск.
Дата публикации:





Теги: :: :: ::


Следующие учебники и книги:
Предыдущие статьи:


 


 

Книги, учебники, обучение по разделам




Не нашёл? Найди:





2018-04-21 22:58:40