|
ВИДЕОТЕКА |
Международная школа-семинар "Синтаксис и семантика логических систем"
|
|||
|
Об аксиомах бесконечности и полноте теорий второго порядка Д. М. Смелянский Московский центр непрерывного математического образования |
|||
Аннотация: Доклад посвящен определению понятия аксиом бесконечности для формально-логических систем и постановке вопроса о существовании полных теорий второго порядка с аксиомами бесконечности, в дополнение к чему показано, что основные примеры полных эффективных теорий первого порядка не являются таковыми при расширении их логикой второго порядка. |