diff --git a/lection-01.tex b/lection-01.tex index 0e2507b..366e307 100644 --- a/lection-01.tex +++ b/lection-01.tex @@ -85,7 +85,7 @@ \begin{frame}{Программа Гильберта} \begin{itemize} \item Программа Гильберта: полностью формализовать математику, доказать непротиворечивость: -Neubegründung der Mathematik: Erste Mitteilung”, Abhandlungen aus dem Seminar der Hamburgischen Universität, 1: 157–177. Series of talks given at the University of Hamburg, July 25–27, 1921 +”Neubegründung der Mathematik: Erste Mitteilung”, Abhandlungen aus dem Seminar der Hamburgischen Universität, 1: 157–177. Series of talks given at the University of Hamburg, July 25–27, 1921 \begin{itemize} \item формализация всей математики;