直観主義の「明白な構成」という用語の定義は曖昧であり、批判を浴びた。この欠陥を補うためチューリングマシーンや計算可能関数といった概念を用いることが試みられ、有限なアルゴリズムのふるまいに関する問題だけが有意味であり、数学的研究の対象であるべきであるといった主張がなされた。アラン・チューリングによって提案された計算可能数の研究も行われた。従って、直観主義のアプローチがしばしばコンピュータサイエンスの理論と結びついているのも不思議なことではない。構成主義.直観主義と同様、構成主義もまた、一定の意味で明白に構成することのできる数学的なものだけが数学的言説において認められるべきであるという規制原理を主張する。この考え方によれば、数学とは人間の直観の営みであって、有意味な記号を用いたゲームなどではない。そうではなく、数学とは、われわれが心的活動を通じて直接作り出せるものに関係している。また、構成主義の支持者たちの中には、非構成的証明(背理法など)を拒否する者もいる。この説明によれば、数学だけに特有の形而上学的または認識論的な問題は存在しない。残された問題は、非数学的物理学についての一般的な問題と、フィクション一般についての問題だけなのである。フィールドのアプローチは非常に影響力があったが、今日では広く拒絶されている。これは、一つには、フィールドの還元を行うために二階の論理の強い断片()が必要とされるからであり、また彼の保守的な理論の言明は抽象的なモデルや演繹に対して量化を必要とするように思えるからである。他の異議としては、量子論や周期表のようないくつかの科学の成果を、数学なしでどのように得ることができるのかはっきりしない、というものがある。もし、ある元素を他の元素と区別するものが電子や中性子、陽子の数に他ならないならば、どのようにして数の概念なしに元素を区別すればよいのだろうか?身体化理論.身体化理論()によれば、数学的思考は我々の物理的世界に存する認知器官の自然な派生物である。例えば、数という抽象的な概念は、離散的な対象を数えるという経験に源を持つ。数学は普遍的ではないし、いかなる本当の意味でも人間の脳の中以外には存在するわけではない、とする。数学は、人間によって発見されたのではなく、人間によって構築されたのである。