The over-all topic of the present volume,Mathematics for Computa-tion(M4C), is mathematics taking crucially into account the aspectof computation, investigating the interaction of mathematics withcomputation, bridging the gap between mathematics and computa-tion wherever desirable and possible, and otherwise explaining whynot. M4C has become necessary by the conceptual turn of mathemat-ics around 1900 and the resulting foundational crisis, but has gainedmore and more interest since the advent of the computer, later alsoby its use to produce and verify proofs.
Preface
Benini, Marco;Beyersdorff, Olaf;Rathjen, Michael;Schuster, Peter
2023-01-01
Abstract
The over-all topic of the present volume,Mathematics for Computa-tion(M4C), is mathematics taking crucially into account the aspectof computation, investigating the interaction of mathematics withcomputation, bridging the gap between mathematics and computa-tion wherever desirable and possible, and otherwise explaining whynot. M4C has become necessary by the conceptual turn of mathemat-ics around 1900 and the resulting foundational crisis, but has gainedmore and more interest since the advent of the computer, later alsoby its use to produce and verify proofs.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
