Skip directly to content

SFI Colloquium: Algorithms, Equations and Logic

on September 24, 2012 - 8:14am


Martin Davis
Professor Emeritus, Courant-NYU; Visiting Scholar, UC Berkeley

Wednesday, Sept. 26 • 3:30 p.m. • Noyce Conference Room

Abstract: In this talk, meant for a general audience, surprising relationships, will be explored among the three concepts listed in the title, including unsolvable problems and Gödel undecidability.

The discussion will include philosophical considerations.

Note: We are unable to accommodate members of the public for SFI's limited lunch service; you're welcome to bring your own.

SFI Host: Cris Moore

http://www.santafe.edu/gevent/detail/science/827/

The Santa Fe Institute's mission is to foster a transdisciplinary research community that endeavors to expand the boundaries of scientific understanding. Its aim is to discover and comprehend the common fundamental principles in physical, computational, biological, and social systems that underlie many of the most profound problems facing science and society today.


Advertisements