فلسفة الرياضيات: الفرق بين النسختين

يعتبر العديد من علماء الرياضيات واقعيين رياضيين، فهم يعتبرون أنفسهم مكتشفين يتجولون لرؤية روائع هذا العالم الرياضي وليس مخترعين لها. أمثلة هؤلاء كثر : مثل [[باول ايردوس]] و[[كورت غودل]] والفيزيائي الرياضي [[روجر بنروز]]. السبب النفسي وراء هذا الإعتقادالاعتقاد أنه من الصعب القبول أن شخصا ما يشغل نفسه لفترة طويلة من الزمن ما لم يكن مقتنعا فعلا بوجوده. يؤمن غودل بنوع من الواقع الرياضي الموضوعي يمكن إدراكه بطريقة مشابهة لإدراك الحواس. بعض المبادئ يمكن ان تعتبر صحيحة مباشرة لكن بعض الحدسيات conjecture مثل [[فرضية الاستمرار]] continuum hypothesis لا يمكن البت فيها استنادا لهذه المبادئ. لذلك يقترح غودل [[منهجية شبه تجريبية]] quasi-empirical methodology يمكن أن تؤمن تأكيدا كافيا لإفتراضلافتراض هذه [[حدسية|الحدسية]] conjecture.