Формальные системы
Dec. 14th, 2009 04:46 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
darth_vasyaТут, кстати, ![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
fregimus совершенно замечательно рассказывает про формальные системы, Гёделя и прочие вкусности. Вот первые два поста из цикла:
http://fregimus.livejournal.com/80970.html
http://fregimus.livejournal.com/81395.html
fregimus совершенно замечательно рассказывает про формальные системы, Гёделя и прочие вкусности. Вот первые два поста из цикла:http://fregimus.livejournal.com/80970.html
http://fregimus.livejournal.com/81395.html
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2009-12-14 04:36 pm (UTC)no subject
Date: 2009-12-14 07:27 pm (UTC)