|
|
Межкафедральный семинар МФТИ по дискретной математике
27 сентября 2017 г. 18:30, г. Долгопрудный, МФТИ, Корпус Прикладной Математики, 115
|
 |
|
 |
|
|
|
Диофантовы уравнения и доказуемость в математике
Б. З. Мороз |
|
Аннотация:
По теореме Ю.В. Матиясевича всякое перечислимое множество является диофантовым, и потому, так как множество теорем любой формальной теории перечислимо, доказательство теорем по существу сводится к изучению целых точек на некоторых гиперповерхностях. Я постараюсь описать одну из таких гиперповерхностей.
|
|
Обратная связь: