BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//The Center for Science & Society at Columbia University - ECPv5.6.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:The Center for Science & Society at Columbia University
X-ORIGINAL-URL:https://blogs.cuit.columbia.edu/scisoc
X-WR-CALDESC:Events for The Center for Science & Society at Columbia University
BEGIN:VTIMEZONE
TZID:America/Halifax
BEGIN:DAYLIGHT
TZOFFSETFROM:-0400
TZOFFSETTO:-0300
TZNAME:ADT
DTSTART:20170312T060000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0400
TZNAME:AST
DTSTART:20171105T050000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Halifax:20170222T180000
DTEND;TZID=America/Halifax:20170222T200000
DTSTAMP:20260604T104902
CREATED:20160715T141148Z
LAST-MODIFIED:20170901T183941Z
UID:4339-1487786400-1487793600@blogs.cuit.columbia.edu
SUMMARY:Stephanie Dick - After Math: Reasoning\, Proving\, and Computing in Postwar United States
DESCRIPTION:Speaker: Stephanie Dick\, Assistant Professor of History\, University of Pennsylvania \n“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 sought 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. They disagreed 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 introduce different visions of the computer as a mathematical agent\, software that was crafted to animate those imaginings\, and the novel practices and materialities of mathematical knowledge-making that emerged in tandem. \nThis event is free and open to the public.\nThis event is part of the New York History of Science Lecture Series. \nSponsoring Organizations:\nNew York University\nGallatin School of Individualized Study\nColumbia University in the City of New York\nCity University of New York\nThe New York Academy of Sciences\nThe New York Academy of Medicine
URL:https://blogs.cuit.columbia.edu/scisoc/cssevent/stephanie-dick-ny-hos-series/
LOCATION:NYU Gallatin\, 1 Washington Place\, Room 801\, New York\, NY\, 10003
CATEGORIES:Center for Science and Society Events,Columbia University Events,HoS Lecture Series,NYC Metro area events
END:VEVENT
END:VCALENDAR