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