Video library: Yu. V. Matiyasevich, $\Pi^0_1$-формулировки некоторых известных проблем

Videolibrary

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
December 24, 2018 12:00–12:35, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor

$\Pi^0_1$-формулировки некоторых известных проблем

Yu. V. Matiyasevich

St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences