Дедуктивные доказательства скачать в хорошем качестве

Дедуктивные доказательства

RuTube: https://rutube.ru/channel/25720556/ Яндекс Дзен: https://dzen.ru/mathematics_pp VK: https://vk.com/mathematics_pp Дедуктивный метод является наиболее распространенным в математике способом построения доказательств. Поговорим про аксиоматический подход к построению теории, программу Гильберта, теоремы Гёделя, континуум-гипотезу Кантора. Список источников к видео: [1]  В.А. Успенский, Н.К. Верещагин, В.Е. Плиско «Вводный курс математической логики». – М.: Физматлит, 2004. [2] «Начала» Евклида. – Большая российская энциклопедия.https://bigenc.ru/mathematics/text/22... [3] Лобачевского геометрия – Большая российская энциклопедия.https://bigenc.ru/mathematics/text/21... [4] Н.В. Ефимов  «Высшая геометрия». – М.: ФИЗМАТЛИТ, 2003. [5] Метаматематика. – Большая российская энциклопедия. https://bigenc.ru/mathematics/text/22... [6] Д. Гильберт «Основания геометрии». https://archive.org/details/libgen_00... [7] П. Бернайс, Д. Гильберт «Основания математики. Теория доказательств». – М.: «Наука», 1982. [8] Аксиоматический метод. – Большая российская энциклопедия. https://bigenc.ru/mathematics/text/18... [9] П.Дж. Коэн «Теория множеств и континуум-гипотеза». – М.: «Мир», 1969. [10] Канторовское множество:    • T8 Канторовское множество