Ви можете думати, що математика буває тільки звичайна (калькулятор) і вища (незрозумілий матаналіз), але буває також нижча — або, краще сказати, глибша математика.
В лекції «Побудовний Усесвіт» я зводжу вас на нижні поверхи цієї вежі — можливо, технічні, але від того не менш цікаві. Ми побачимо, як ось уже сто років уся розвідана нами математика ґрунтується на одній відносно простій формальній системі — теорії множин Цермело—Френкеля.
В першій частині лекції ми розглянемо всі дев’ять аксіом цієї системи, а в другій — збудуємо її засобами відомі нам числові простори: натуральні, цілі, раціональні, дійсні числа, і також зачепимо тему комплексних і трансфінітних чисел. І все це — виключно за допомогою логіки першого порядку, тобто без ґьодель-нумерації теорем (яку ви можете знати з курсу «Ґьодель, Ешер, Бах»)!
Лектор: Андрій Горбунов, прикладний математик, автор youtube-каналу “Лакуна”.
Організатор: pre post