What are the theories/views on the discovery method in teaching mathematics?