Формальные системы
Dec. 14th, 2009 04:46 pmТут, кстати,
fregimus совершенно замечательно рассказывает про формальные системы, Гёделя и прочие вкусности. Вот первые два поста из цикла:
http://fregimus.livejournal.com/80970.html
http://fregimus.livejournal.com/81395.html
http://fregimus.livejournal.com/80970.html
http://fregimus.livejournal.com/81395.html
no subject
Date: 2009-12-14 04:36 pm (UTC)no subject
Date: 2009-12-14 07:27 pm (UTC)