abs8192: (Default)
abs8192 ([personal profile] abs8192) wrote2016-11-12 01:47 pm

Успенский В.А. Теорема Гёделя о неполноте

В трёх частях.








Bonus: Четыре алгоритмических лица случайности


Bonus: Выразительные возможности языков математической логики


http://www.vixri.com/d/Uspenskij%20V.A.%20%20_Teorema%20Gedelja%20o%20nepolnote.pdf
http://www.vixri.com/d/Uspenskij%20V.%20A.%20_Vvodnyj%20kurs%20matematicheskoj%20logiki.pdf
http://www.mi.ras.ru/~bekl/Papers/goedel-uspehi.pdf

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting