Видеотека: Ю. В. Матиясевич, $\Pi^0_1$-формулировки некоторых известных проблем

ВИДЕОТЕКА


Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика» 24 декабря 2018 г. 12:00, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж

$\Pi^0_1$-формулировки некоторых известных проблем Ю. В. Матиясевич Санкт-Петербургское отделение Математического института им. В. А. Стеклова Российской академии наук
Аннотация: В выступлении будут обсуждаться предложенные как докладчиком, так и другими авторами $\Pi^0_1$ формулировки таких математических проблем как гипотеза Гольдбаха, гипотеза о четырёх красках, и гипотеза Римана.