Godel’s Theorems

Peter Smith has posted the complete draft of his book on Godel’s Theorems online (forthcoming from CUP).  Among other things, the book contains some interesting and provocative remarks about the Church-Turing thesis, including an argument that it is provable.  Smith invites everyone to check out his book and send him comments and corrections.His …

News

Philosophers’ Carnival #33 here.Augenblick reports on various interesting things, including the following:The “brain box,” a new computer that attempts to mimick the fault-tolerant characteristics of the brain, is being built by scientists at the University of Manchester.The first neurons to develop in the brain have been identified by researchers at …

Back to Top