|
|
libcats.org
Математическая логика: Учебные материалыМоисеев В.И.Учебное пособие по математической логике, опирающееся на методологию Дж.Шенфилда, предназначено для достаточно быстрого введения студента в серьезную проблематику современной математической логики. В качестве сферы выражения этой проблематики выбраны две теоремы Гёделя - теорема о полноте и теорема о неполноте, сыгравшие в развитии метаматематики выдающуюся роль и вызвавшие резонанс далеко за пределами математики. Изложение доказательств этих теорем доведено до некоторого промежуточного уровня детализации, позволяющего, с одной стороны, изложить идеологию доказательства и не слишком погрешить против строгости доказательства, с другой стороны. Наконец, в конце приведены два Приложения, содержащие самостоятельные результаты исследований автора по рассматриваемой проблематике и выполненные в рамках все той же методологии Дж.Шенфилда представления математической логики
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Encyclopedia of Portal Technologies and ApplicationsАвтор: Arthur Tatnall, Автор: Arthur Tatnall
Размер книги: 32.99 Mb
Управление информационным процессом, информационная экономикаАвтор: Мюллер М.Категория: Маркетинг реклама PR
Размер книги: 185 Kb
Solid-state physics. An introduction to principles of materials scienceАвтор: Harald Ibach, Автор: Hans Lüth
Размер книги: 12.06 Mb
Т. К. Сироцинская. Озеленение балконовАвтор: Т. К. Сироцинская, Автор: Л. С. Сыроватская, Автор: Т. А. Зыкова
Размер книги: 3.08 Mb
Domb C., Lebowitz J.L. Phase transitions and critical phenomena, vol.11 (AP,1987)(KA)(600dpi)(T)(226s)_PTpt_.djvuАвтор:
Размер книги: 2.24 Mb
Kurzes Lehrbuch der Pharmakologie und ToxikologieАвтор: Gustav Kuschinsky, Автор: Heinz Lüllmann, Автор: Klaus Mohr
Размер книги: 4.54 Mb
|
|
|