libcats.org
Главная

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Обложка книги On Formally Undecidable Propositions of Principia Mathematica and Related Systems

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.
Популярные книги за неделю:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

Автор:
Размер книги: 3.94 Mb

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Технология солода и пива

Автор:
Категория: Tech
Размер книги: 113.31 Mb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Как обставить квартиру

Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb
Только что пользователи скачали эти книги:

The Night Blitz 1940-1941

Автор:
Категория: ВОЕННАЯ ИСТОРИЯ
Размер книги: 96.40 Mb

The Economic Analysis of Public Policy

Автор:
Категория: Экономика
Размер книги: 5.86 Mb

The Transmission of Affect

Автор:
Размер книги: 4.85 Mb

Organic Chemistry: Structure and Function, 6th Edition

Автор: , Автор:
Размер книги: 57.68 Mb

Touchy Subjects

Автор:
Категория: fiction
Размер книги: 147 Kb

Chris Wooding - 03 Ascendancy Veil

Автор:
Категория: Science Fiction
Размер книги: 387 Kb