آنالیز غیراستاندارد
نویسندگان
1 دانشگاه صنعتی اصفهان، دانشکده علوم ریاضی
doi
چکیده
از ابتدای پیدایش حساب دیفرانسیل و انتگرال تاکنون، ایده بی نهایت کوچکها ابزار شهودی مناسبی برای یافتن نتایج جدید در آنالیز بوده است. لایب نیتز می گفت «من به آنها ایمان دارم هرچند توجیه کافی برای آنها ندارم». حدود چهل سال پیش، آبراهام رابینسون با ارائه مدلی هم ارز با مدل مقدماتی ولی غیریکریخت با هیات اعداد حقیقی در زبان هیات، نشان داد که بی نهایت کوچک ها همراه بی نهایت بزرگ ها از مشروعیت برخوردارند.
