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