Besonderhede van voorbeeld: 8224858344254431246

English

Following up on Wigner, Richard Hamming (1980) wrote about applications of mathematics as a central theme to this topic and suggested that successful use can sometimes trump proof, in the following sense: where a theorem has evident veracity through applicability, later evidence that shows the theorem's proof to be problematic would result more in trying to firm up the theorem rather than in trying to redo the applications or to deny results obtained to date.

Spanish

Siguiendo a Wigner, Richard Hamming sugirió que las aplicaciones de las matemáticas son un tema central en este tópico y agregó que el uso exitoso puede ser superior, a veces, a una demostración, en el siguiente sentido: cuando un teorema obtiene veracidad evidente a través de su aplicabilidad, el resultado de evidencia posterior que muestre la demostración del teorema como problemática podría más bien llevar a tentativas de fortificar el teorema que a tentativas de rehacer las aplicaciones o negar los resultados obtenidos hasta la fecha.