[логика] Th Геделя о неполноте, неразреш форм ариф, ...

V-man

Посоветуйте материалы для 7го вопроса по специальности для каф матлогики (1-я теор Геделя о неполноте форм ариф. Неразреш ФА. Теор Тарского о невыраз в ФА. Теор Черча о неразреш логики)
Мб есть у кого лекции по этой теме?

zuzaka

Я бы посоветовал Бурбаков. К сожалению, нужный том я отдал кому-то на руки

V-man

а что за том, я либе возьму

Rumata

Мне нравится книжка Булос Дж., Джеффри Р. "Вычислимость и логика", М.:Мир, 1994. Только у меня ее сейчас нет.

zuzaka

что-то про алгебру. Я точно не помню, я не математик и Бурбаки для меня далеко не настольная книга. По видимому, первый том, т.к. начинается с формализации математической нотации. А также множества, теория предикатов и пр.

Rumata

В электронном виде много книг по логике есть на странице http://www.imath.kiev.ua/~young/_djvu_index.htmla>

electricbird

>Я бы посоветовал Бурбаков
да уж
Оставить комментарий
Имя или ник:
Комментарий: