[Sci-tech-public] MIT STS Special Seminar: TODAY

[Randyn A. Miller]

MIT 
PROGRAM IN SCIENCE, TECHNOLOGY, AND SOCIETY 


SPECIAL SEMINAR

Aftermath: Following Mathematics into the Digital



STEPHANIE DICK

HARVARD UNIVERSITY


ABSTRACT
 
Computers ought to produce in the long run some fundamental change in the nature of all mathematical activity.” These words, penned in 1958, capture the motivation behind an early field of computing research called Automated Theorem-Proving. Practitioners of this field aimed to program computers to prove mathematical theorems or to assist human users in doing so. Everyone working in the field agreed that computers had the potential to make novel contributions to the production of mathematical knowledge. There was disagreement about almost everything else. Automated theorem-proving practitioners subscribed to complicated and conflicting visions of what ought to count and not count as a mathematical proof. There was also disagreement about the character of human mathematical faculties - like intuition, understanding, and reasoning - and how much the computer could be made to possess them, if at all. Different practitioners also subscribed to quite different imaginations of the computer itself, its limitations and possibilities. Some imagined computers as mere plodding “slaves” who would take over tedious and mechanical elements of mathematical research. Others imagined them more generously as “mentors” or “collaborators” that could offer novel insight and direction to human mathematicians. Still others believed that computers would eventually become autonomous agents of mathematical research. Automated Theorem-Proving practitioners took their visions of mathematicians, minds, computers, and proof, and built them right in to the architecture of their theorem-proving programs. Their efforts did indeed precipitate transformations in the character of mathematical activity but in varied and often surprising ways.  With a focus on communities based in the United States in the second half of the twentieth century, this talk will explore different visions of the computer as a mathematical agent, the software that was crafted to animate those imaginings, and the novel practices and materialities of mathematical knowledge-making that emerged in tandem. 


4 PM
TODAY
10 FEBRUARY 2014
E51-095
MIT CAMPUS | 2 AMHERST STREET


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/sci-tech-public/attachments/20140210/89aed4f0/attachment.htm
-------------- next part --------------
A non-text attachment was scrubbed...
Name: STS Logo_BlueRed copy 2.jpg
Type: image/jpg
Size: 5989 bytes
Desc: not available
Url : http://mailman.mit.edu/pipermail/sci-tech-public/attachments/20140210/89aed4f0/attachment.jpg
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 1843 bytes
Desc: not available
Url : http://mailman.mit.edu/pipermail/sci-tech-public/attachments/20140210/89aed4f0/attachment.bin