George Lakoff: Is Mathematics Invented or Discovered?