گوتفریت ویلهلم لایبنیتس (آلمانی: Gottfried Wilhelm Leibniz؛ ‏ آلمانی: [ˈɡɔtfʁiːt ˈvɪlhɛlm ˈlaɪbnɪts] (شنیدن)؛ ‏۱ ژوئیه ۱۶۴۶ [O.S. ۲۱ ژوئن] – ۱۴ نوامبر...

در سال ۱۹۸۱، این نظریه گسترش فلسفه ریاضیات بود. انتزاعی و انضمامی گوتفریت لایبنیتس نه‌گرایی منطق‌گرایی Zalta, Edward N. (2004). "The Theory of Abstract...

۱۶۹۲، کریستین هویگنس سه ماشین طراحی کشانده را توصیف کرد. در سال ۱۶۹۳ گوتفریت لایبنیتس یک «ماشین کششی جهانی» ابداع کرد که از نظر تئوری می‌توانست هر معادله...