Адрес e-mail:

Лекция Бориса Мороза «Диофантовы уравнения и доказуемость в математике»

На межкафедральном семинаре по дискретной математике состоится выступление доцента кафедры дискретной математики и приват-доцента Боннского университета (Германия) Бориса Мороза

Резюме
«По теореме Ю.В. Матиясевича всякое перечислимое множество является диофантовым, и потому, так как множество теорем любой формальной теории перечислимо, доказательство теорем по существу сводится к изучению целых точек на некоторых гиперповерхностях. Я постараюсь описать одну из таких гиперповерхностей.»
Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

МФТИ в социальных сетях

soc-vk soc-fb soc-tw soc-li soc-li soc-yt
Яндекс.Метрика