ماشینی‌کردن ریاضیات؛ "معنا" زمین بازی را به هم ریخت

آیا اگر پای معنا، و درنتیجه ناتمامیت، به اعمال ریاضی باز شود، آیا باز هم می‌توان از مکانیکی‌بودن آن‌ها حرف زد؟…