Insight is essential even if it is fallible OpposingArgument1 #1142 Just because insight is sometimes unreliable, we should not conclude that it plays no essential role in mathematics. |

- Doubts about consistency in mathematics only arise when mathematicians use systems that go beyond ordinary mathematics
- When we do become assured of the consistency of the mathematical system, it is always because of insight.
Roger Penrose (1990). |