From 8b458cc35c4c8343285e7f16f19316dc41a927ab Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=90=D0=BB=D0=B5=D0=BA=D1=81=D0=B5=D0=B9=20=D0=A2=D1=83?= =?UTF-8?q?=D1=80=D0=BE=D0=B2?= <74823624+Le0ks@users.noreply.github.com> Date: Wed, 11 Mar 2026 21:06:41 +0300 Subject: [PATCH] Update lection-01.tex --- lection-01.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 формализация всей математики;