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

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

blank
blank
blank
Красота
blank
Chwistek L. — The theory of constructive types
Chwistek L. — The theory of constructive types



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



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


Название: The theory of constructive types

Автор: Chwistek L.

Аннотация:

The purpose of the present paper is to show how we can build up a system of Logic and Mathematics, assuming no other primitive ideas and propositions than those of the Logical Calculus. It is to be remarked that, for foundation of Mathematics, there is hardly any other method to be found. Suppose we assume any system of mathematical axioms: we then must prove, that this system contains no contradiction. To prove anything, we must have some primitive ideas and propositions. These in their turn must contain the primitive ideas and propositions of the Logical Calculus. There is no means of building up a system of Mathematics, without assuming the primitive ideas and propositions of the Logical Calculus, or their equivalents. Therefore any system of Mathematics mus contain the primitive ideas and propositions of the Logical Calculus.


Язык: en

Рубрика: Математика/

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

ed2k: ed2k stats

Издание: Cracow

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

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

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

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