Presentations in Math-Net.Ru
What can the languages of mathematical logic express V. A. Uspenskii
Summer School "Contemporary Mathematics", 2012 July 20, 2012 09:30
Alexei Andreevich Lyapunov — outbreaks of memory V. A. Uspenskii
Conference devoted to the 100th anniversary of Alexei Andreevich Lyapunov November 10, 2011 12:20
Gödel's theorem — syntactic version V. A. Uspenskii
Summer School "Contemporary Mathematics", 2010 July 19, 2010 09:30
Initial concept of the descriptive algorithm theory V. A. Uspenskii
Summer School "Contemporary Mathematics", 2009 July 20, 2009 15:30
Computable real numbers and their enumerations V. A. Uspenskii
Summer School "Contemporary Mathematics", 2008 July 19, 2008 17:00
Four ways to the Gödel Incompletness Theorem. Part 3 V. A. Uspenskii
Summer School "Contemporary Mathematics", 2007 July 22, 2007 11:30
Four ways to the Gödel Incompletness Theorem. Part 2 V. A. Uspenskii
Summer School "Contemporary Mathematics", 2007 July 21, 2007 09:30
Four ways to the Gödel Incompletness Theorem. Part 1 V. A. Uspenskii
Summer School "Contemporary Mathematics", 2007 July 20, 2007 09:40
Algorithms and random sequences V. A. Uspenskii
Summer School "Contemporary Mathematics", 2005 July 23, 2005
Lyudmila Vsevolodovna Keldysh. Memories V. A. Uspenskii
International conference "Geometric Topology, Discrete Geometry and Set Theory" dedicated to the centennial of Ljudmila Vsevolodovna Keldysh August 27, 2004 17:45
© , 2024