1. метод, применяемый в математической логике для замены рассуждений о выражениях какого-либо логико-математического языка рассуждениями о натуральных числах
Источник: Викисловарь
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: наотдыхаться — это что-то нейтральное, положительное или отрицательное?
Арифметизация математики по своей сути – процесс редукции предмета математики к числу, что является в корне ошибочным.
Геделевская примитивно – рекурсивная арифметизация синтаксиса позволяет отобразить исследование синтаксических манипуляций в саму арифметику, и установить их внутри формальной системы арифметики.