| Аннотацiя: |
Проаналізовано Діофантові множини і показано, що всі рекурсивно перелічені множини є Діофантовими. На основі класичних результатів з теорії рекурсивних функцій наведено простий варіант теореми про неповноту арифметики: існує поліном, який не має цілих додатних розв’язків і для якого не можна довести відсутність додатних коренів. |
