| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Межкафедральный семинар МФТИ по дискретной математике
|
|||
|
|
|||
|
Диофантовы уравнения и доказуемость в математике Б. З. Мороз |
|||
|
Аннотация: По теореме Ю.В. Матиясевича всякое перечислимое множество является диофантовым, и потому, так как множество теорем любой формальной теории перечислимо, доказательство теорем по существу сводится к изучению целых точек на некоторых гиперповерхностях. Я постараюсь описать одну из таких гиперповерхностей. |
|||