Editing The Road to Reality Study Notes (section)

=== 1.3 Is Plato's mathematical world "real"? ===
Penrose asks us to consider if the world of mathematics is in any sense ''real''. He claims that objective truths are revealed through mathematics and that it is not a subjective matter of opinion. He uses [https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem Fermat's last theorem] as a point to consider what it would mean for mathematical statements to be subjective. He shows that "the issue is the objectivity of the Fermat assertion itself, not whether anyone’s particular demonstration of it (or of its negation) might happen to be convincing to the mathematical community of any particular time". Penrose introduces a more complicated mathematical notion, the [https://en.wikipedia.org/wiki/Axiom_of_choice axiom of choice], which has been debated amongst mathematicians. He notes that "questions as to whether some particular proposal for a mathematical entity is or is not to be regarded as having objective existence can be delicate and sometimes technical". Finally he discusses the [https://en.wikipedia.org/wiki/Mandelbrot_set Mandelbrot set] and claims that it exists in a place outside of time and space and was only uncovered by Mandelbrot. Any mathematical notion can be thought of as existing in that place. Penrose invites the reader to reconsider their notions of reality beyond the matter and stuff that makes up the physical world. 

For further discussion from Penrose on this topic see [https://youtu.be/ujvS2K06dg4 Is Mathematics Invented or Discovered?]