News for hackers. Stuff that matters.
Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by dnautics on Friday April 17, 2020 @04:06AM (#22897118)
The mathematical definition of intuition is not the colloquial definition. For example, in intuitionistic mathematics, you can't proof by contradiction, which means that some things that are "intuitively true" in the colloquial sense, are inaccessible.

There are no comments on this comment yet.