ریاضیات: تفاوت میان نسخه‌ها

[[استدلال‌های منطقی|استدلال‌های استوار]] ابتدا در ریاضیات [[یونان باستان]] ظاهر شدند؛ به‌خصوص در اثر ''عناصر'' [[اقلیدس]]. از زمان کارهای تحقیقاتی [[جوزپه پئانو]] (۱۸۵۸–۱۹۳۲)، [[دیوید هیلبرت]] (۱۸۶۲–۱۹۴۳) و دیگران بر روی دستگاه اصول موضوعه‌ای در پایان سده نوزدهم میلادی، روش تحقیقاتی ریاضیدانان به این شکل درآمده که آن‌ها حقایق را با [[استدلال ریاضی]] از مجموعهٔ منتخبی از اصول موضوعی و تعاریف به دست می‌آورند. روند پیشرفت ریاضیات تا زمان [[رنسانس]] سرعت نسبتاً آرامی داشت، تا زمانی که نوآوری‌های ریاضیاتی با کشفیات علمی برهم‌کنش کرده و منجر به افزایش سریع نرخ اکتشافات ریاضی گشت و تا به امروز نیز ادامه دارد.<ref>Eves, p. 306</ref>

 

 

== تاریخچه ==