Курс Жана-Мишеля Вапперо: «Интуиционизм и формализм»

Онлайн-курс «Интуиционизм и формализм».

Логика для математики (логика математики). Математика логики: к теории доказательств и теории моделей XIX века, затем XX, а теперь XXI века.

Здесь структурный факт «метаязыка нет» действует в полной мере. Лакан.

По субботам: 3 и 10 декабря 2022 года; 7, 14, 21 и 28 января 2023 года, с 10:30 до 12:30 по аргентинскому времени.

Начало — в субботу, 3 декабря 2022 года.

Информация и регистрация: teebuenosaires@gmail.com, pbhochman@gmail.com.