| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Workshop on Proof Theory, Modal Logic and Reflection Principles
|
|||
|
|
|||
|
The second incompleteness theorem revisited A. Visser |
|||
|
Аннотация: We discuss a number of examples of theories-cum-axiomatizations where the Löb Conditions fail,but where we still have the Second Incompleteness Theorem. E.g., we provide a Язык доклада: английский |
|||