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