Roger Penrose – Is Mathematics Invented or Discovered? [video]

Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by tartoran on Friday April 17, 2020 @03:43AM (#22897026)

From the wikipedia source: In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality.

And Im wodering why Im not looking more into the philosophy of math, i find this interesting because I am mainly an intuition driven person. Any ideas for courses online?

[ Parent | on HN ]

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.

[ Parent | on HN ]