اصل موضوع و تعریف در ریاضیات

نویسندگان

1 دانشگاه شهید بهشتی، دانشکدۀ علوم ریاضی

doi
10.30504/mct.2024.1440.2012
چکیده

در اواخر قرن نوزدهم و نیمۀ اول قرن بیستم میلادی، بحث‌هایی در زمینۀ ماهیّت اصول و تعریف‌ها در ریاضیات درگرفت که مفهوم امروزیِ مورد استفادۀ ریاضی‌دانان از دستگاه‌ اصل‌موضوعی را شکل داد. این مسیر، چندان هموار نبود و حاصل تلاش‌ها و تنازعِ آرایی بود که در خلال تلاش ریاضی‌دانان برای مستحکم کردن مبانی ریاضیات پدید آمد. حاصلِ ‌کار، شکل‌گیریِ رویکرد استاندۀ امروزی به اصول و نحوۀ بررسی استقلال و سازگاری آنها و همچنین در نظر گرفتنِ تعریف به‌عنوان خلاصه‌نویسیِ زبانی بود. این مقاله اختصاص به بررسی روند یادشده و همچنین تشریح رویکرد امروزی به اصول و تعریف‌های ریاضی دارد.