57. Был ли Дедекинд логицистом? (5 мая 2016)
Докладчик: О. А. Антонова
Аннотация: Теория Дедекинда оказала огромное влияние на развитие математики в 20 веке. Согласно Дедекинду арифметика основывается на законах мышления. Основание математики и арифметики составляют следующие понятия: 1. объект (Ding); 2. множество (System); 3. функция (Abbildung). Дедекинд рассматривает арифметику как часть логики. Можем ли мы утверждать, что теория Дедекинда относится к традиционному логицизму? Можем ли мы утверждать, что Дедекинд был логицистом, а его теория схожа с теориями Фреге и Рассела? Цель моего доклада заключается в том, чтобы ответить на эти вопросы.
Смотреть видео