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

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

blank
blank
blank
Красота
blank
Heijenoort J. — From Frege to Goedel: A source book in mathematical logic, 1879-1931
Heijenoort J. — From Frege to Goedel: A source book in mathematical logic, 1879-1931



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



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


Название: From Frege to Goedel: A source book in mathematical logic, 1879-1931

Автор: Heijenoort J.

Аннотация:

Gathered together in this book are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege's Begriffsschrift — which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory — begins the volume. The texts that follow depict the emergence of set theory and foundations of mathematics, two new fields on the borders of logic, mathematics, and philosophy. Essays trace the trends that led to Principia mathematica, the appearance of modern paradoxes, and topics including proof theory, the theory of types, axiomatic set theory, and L?wenheim's theorem. The volume concludes with papers by Herbrand and by G?del, including the latter's famous incompleteness paper. "There can be no doubt that the book is a valuable contribution to the logical literature and that it will certainly spread the knowledge of mathematical logic and its history in the nineteenth and twentieth centuries." — Andrzej Mostowski, Synthese "It is difficult to describe this book without praising it...[From Frege to G?del] is, in effect, the record of an important chapter in the history of thought. No serious student of logic or foundations of mathematics will want to be without it." — Review of Metaphysics


Язык: en

Рубрика: Разное/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте