ABSTRACT
The possibility that our brains have a computer-like aspect suggests various questions which will be discussed.
Does the brain execute algorithms? What is consciousness? What is its function? Does the brain have an operating system?
SPEAKER'S BIOGRAPHY
Martin D. Davis (https://cs.nyu.edu/~davism/)
is emeritus professor at the New York University, is among the world's most eminent logicians. One of his teachers at the City College of New York, Emil L. Post,
exerted a very direct influence on the direction of his subsequent work.His Ph.D. thesis, ``On the theory of recursive unsolvability'', was defended in 1950 at
Princeton University under the direction of Alonzo Church. His many writings on computability helped that subject to acquire the dignity of an independent discipline;
moreover, Martin has been a trailblazer in the field today known as `automated reasoning' and a distinguished scholar of non-standard analysis.
In association with Hilary Putnam and Julia Bowman Robinson, he gave a decisive push to an important 20th century achievement: the (negative)
solution of Hilbert's tenth problem. For many years, Martin has cultivated a keen interest in the history and philosophy of computing.
|