Viewpoint: Time to reinspect the foundations?

Jack Copeland, Eli Dresner, Diane Proudfoot, Oron Shagrir

Research output: Contribution to journalReview articlepeer-review

Abstract

The theoretical and philosophical work that they carried out in the 1930s laid the foundations for the computer revolution, and this revolution in turn fueled the fantastic expansion of scientific knowledge in the late 20th and early 21st centuries. Ideas devised at that time have become cornerstones of current science and technology. Much work has been devoted in recent years to analysis of the foundations and theoretical bounds of computing. However, the results of this diverse work, carried out by computer scientists, mathematicians, and philosophers, do not so far form a unified and coherent picture. It is time for the reexamination of the logico mathematical foundations of computing to move center stage.

Original languageEnglish
Pages (from-to)34-36
Number of pages3
JournalCommunications of the ACM
Volume59
Issue number11
DOIs
StatePublished - Nov 2016

Cite this