Всё ли доказуемо? Теорема Гёделя о неполноте формальной арифметики

Теорема Гёделя о (не)полнотеПодробнее

ИТМО КТ, Матлог 2023 (осень), лекция 9Подробнее

Вторая теорема ГёделяПодробнее

Лекция 5. Л.Д. Беклемишев. Первая теорема Гёделя о неполнотеПодробнее

Слабое место математики: можно ли доказать всё, что истинно? [Veritasium]Подробнее

40. Доказательство первой теоремы Гёделя о неполнотеПодробнее