This Thursday Vishal Chakraborty will be speaking on the Church Turing Thesis. Below is an intro. We are in Wellman 201 as usual at 7pm. See you there!
In his classical 1936 paper, Alan Turing introduced the Logical Computational Model and proved the Entscheidungsproblem to be undecidable. In 1935, Alonzo Church had arrived at similar conclusions using the circuitous notion of effective calculability. Each forwarded their own thesis, from which, in 1967 Kleene coined the Church Turing Thesis (CTT). Since then, the CTT has often been misinterpreted as making claims on the computational powers of the human mind. We will defend the CTT from such malapropos readings. Since the early years of the twentieth century, we see an emphasis on the need of “blind calculations”. In this light, Turing’s reference to a man being able to simulate his computing machine alludes to the mechanical nature of these machines. The “computor” needs no insight of numbers or understanding of the machine itself. Instead, the ability to follow simple instructions is sufficient. “Post-workers” further strengthen this claim. We will conclude with a brief chronological survey of the developments of Computation as we know today.
This Thursday Professor Marina Oshana will be presenting. The topic of the talk will be “Incivility in Public Life”. She’s interested in investigating what public civility amounts to, and why it seems to be a threatened commodity. As always we are in Wellman 201 at 7pm. See you there!
Tomorrow (Thursday the third) Professor Adam Sennet will be presenting. We hope to see you there~
This Thursday we will be discussing “Paradoxes of Time Travel,” a short article by David Lewis. Please check it out before the meeting this week if you can! See you Thursday.
Cannibals on Moral Twin Earth