|
molokowoz |
Аксиома Гёделя-Лёба  01.10.2011, 19:30 |
|
23/08/11
12
|
|
Подскажите пожалуйста ссылку (или напишите здесь) вывод []p=>[][]p (транзитивность) из аксиомы Гёделя-Лёба []([]p=>p)=>[]p
|
|
|
|
 |
|
molokowoz |
Re: Аксиома Гёделя-Лёба 02.10.2011, 07:11 |
|
23/08/11
12
|
|
Говорят он встречается в журнале Journal of Symbolic Logic...у меня нет доступа туда. Может есть у кого? Посмотрите статью timothy smiley 1963г. Там говориться об этой аксиоме - может и формальный вывод там...
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 2 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
