3 ms·

Are you uniting "intuitionism" and common "intuition"? I'm not personally sure I disagree here at all, but I'm certain many would!

• ganzuul 11y ago
  Strictly no... Then We would have to debate what common intuition is and that is untenable. What I am trying to say is that math is a discipline of philosophy, that the integers are divine, and that the straightedge and compass ought to be enough for anybody. ;) I often rely on my intuition for abstract thought, and repeatedly find that others have reached the same conclusions that I do. Therefore (my own) intuition is repeatable, and therefore intuition is scientific. Juxtapose formalism, which seems to say that math is solely the practice of inventing rules and following them to the end. - I understand why this idea has its own beauty, haughty as it might seem, but at the same time it is a very strange and in my opinion frightening kind of beauty because it intends to remain unknowable. Turing, who I have apparently proclaimed a saint, seems to observe that both of these paradigms are needed for some kind of universal, and altogether anthropomorphic, program. I would be hard pressed to dismiss any idea which appears beautiful...