13 билет

1 view

Skip to first unread message

unread,

Jun 1, 2011, 11:26:50 AM6/1/11

to Экзамен ЕНС 2 июня 2011 года

Какова финитно доказуемая формулировка первой теоремы Гёделя о
неполноте, отличающаяся от теоремы Гёделя-Россера?

unread,

Jun 2, 2011, 12:24:12 AM6/2/11

to ens2ju...@googlegroups.com

если арифметика непротиворечива, то построенная формула недоказуема

1 июня 2011 г. 19:26 пользователь Fedor Pakhomov <pak...@gmail.com> написал:

Reply all

Reply to author

Forward

0 new messages