Today’s debate about safety and reliability of data and algorithms is very similar to the logical-mathematical debate on foundations in the early 20th century — today, however, with grave consequences for technology and economy. The key to the solution of these problems is to be found in the logical foundations of mathematics and computer science themselves, the current development of which leads to new joint research methods and perspectives in mathematics and computer science.

Preface

Schuster, Peter;SCHWICHTENBERG, Helmut Artur
2018-01-01

Abstract

Today’s debate about safety and reliability of data and algorithms is very similar to the logical-mathematical debate on foundations in the early 20th century — today, however, with grave consequences for technology and economy. The key to the solution of these problems is to be found in the logical foundations of mathematics and computer science themselves, the current development of which leads to new joint research methods and perspectives in mathematics and computer science.
2018
978-981-327-093-0
Digitization
Proof
Computation
Mathematics
Computer Science
Philosophy
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/991688
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact