03-28-2014, 04:39 PM
"Mathematics is a presuppositionless science. To found it I do not need God, as does Kronecker, or the assumption of a special faculty of our understanding attuned to the principle of mathematical induction, as does Poincaré, or the primal intuition of Brouwer, or, finally, as do Russell and Whitehead, axioms of infinity, reducibility, or completeness, which in fact are actual, contentual assumptions that cannot be compensated for by consistency proofs." David Hilbert, Die Grundlagen der Mathematik, Hilbert's program, 22C:096, University of Iowa.
مزدائیک یک دانش اَپیشانگارش است.
برای یافت آن من به خدا نیاز ندارم, چنانکه Kronecker دارد, یا به انگاشتِ هستیِ یک ابزار ویژهیِ کوک شده برای دریافت
مِهاد درهازش مزدائیک نمینیازم, چنانکه Poincaré مینیازد, یا به بینادلیِ نخستینی Brouwer یا سرانجام
به آنچه Russell و Whithead مینیازند, به بنداشتهایِ بیکرانی, فروکاهشپذیری یا فرزامی, که در فرهود
همگی انگاشتهایی نوشتاریک و رُخکردین هستند از آنچه که برهانهایِ سازگاری نمیتوانند پوشش بدهند.
— دیوید هیلبرت
پارسیگر
.Unexpected places give you unexpected returns