What is an experiment in mathematical practice? New evidence from mining the Mathematical Reviews.

From a purely formalist viewpoint on the philosophy of mathematics, experiments cannot (and should not) play a role in warranting mathematical statements but must be confined to heuristics. Yet, due to the incorporation of new mathematical methods such as computer-assisted experimentation in mathema...

Descripción completa

Detalles Bibliográficos
Publicado en:Synthese Vol. 203; no. 2; pp. 1 - 22
Autores principales: Sørensen, Henrik Kragh, Mathiasen, Sophie Kjeldbjerg, Johansen, Mikkel Willum
Formato: Artículo
Publicado: Springer Nature Feb2024
Acceso en línea:Ver este registro en EBSCOhost