Лекция 5. Л.Д. Беклемишев, Т.Л. Яворская. Доказуемость и формальная арифметика
Why it's on BrighterTube
Editorial review · 85% confidenceWhole-channel inclusion: МЦМУ МИАН (title sample: This is the Steklov Mathematical Institute's lecture archive, consisting almost entirely of full-length advanced mathematics lectures and seminars by researchers, a textbook case of genuine educational content.; 2 of 3 sampled transcripts read as real teaching); this title passed a strict title check.
What you'll learn
A 86-minute video from МЦМУ МИАН: “Лекция 5. Л.Д. Беклемишев, Т.Л. Яворская. Доказуемость и формальная арифметика”.
Video by МЦМУ МИАН, played through YouTube's embedded player.