Microsoft Research334 тыс
Опубликовано 27 июня 2016, 21:03
The advent of modern digital computing in the mid-twentieth century precipitated many transformations in the practices of mathematical knowledge production. However, early computing practitioners throughout the United States subscribed to complicated and conflicting visions of just how much the computer could contribute to mathematics - each suggesting a different division of mathematical labor between humans and computers and a hierarchization of the tasks involved. 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. And computing communities did not simply imagine the potential of the computer differently; they also built those different visions right in to computer programs that enabled new ways of doing mathematics with computers. 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 communities and practices of mathematical knowledge-making that emerged in tandem.
Случайные видео