30,426 research outputs found
Technology assessment of advanced automation for space missions
Six general classes of technology requirements derived during the mission definition phase of the study were identified as having maximum importance and urgency, including autonomous world model based information systems, learning and hypothesis formation, natural language and other man-machine communication, space manufacturing, teleoperators and robot systems, and computer science and technology
Mathematical practice, crowdsourcing, and social machines
The highest level of mathematics has traditionally been seen as a solitary
endeavour, to produce a proof for review and acceptance by research peers.
Mathematics is now at a remarkable inflexion point, with new technology
radically extending the power and limits of individuals. Crowdsourcing pulls
together diverse experts to solve problems; symbolic computation tackles huge
routine calculations; and computers check proofs too long and complicated for
humans to comprehend.
Mathematical practice is an emerging interdisciplinary field which draws on
philosophy and social science to understand how mathematics is produced. Online
mathematical activity provides a novel and rich source of data for empirical
investigation of mathematical practice - for example the community question
answering system {\it mathoverflow} contains around 40,000 mathematical
conversations, and {\it polymath} collaborations provide transcripts of the
process of discovering proofs. Our preliminary investigations have demonstrated
the importance of "soft" aspects such as analogy and creativity, alongside
deduction and proof, in the production of mathematics, and have given us new
ways to think about the roles of people and machines in creating new
mathematical knowledge. We discuss further investigation of these resources and
what it might reveal.
Crowdsourced mathematical activity is an example of a "social machine", a new
paradigm, identified by Berners-Lee, for viewing a combination of people and
computers as a single problem-solving entity, and the subject of major
international research endeavours. We outline a future research agenda for
mathematics social machines, a combination of people, computers, and
mathematical archives to create and apply mathematics, with the potential to
change the way people do mathematics, and to transform the reach, pace, and
impact of mathematics research.Comment: To appear, Springer LNCS, Proceedings of Conferences on Intelligent
Computer Mathematics, CICM 2013, July 2013 Bath, U
Anthropocene, Capitalocene, Machinocene: Illusions of instrumental reason
In their seminal work, Dialectics of Enlightenment, Horkheimer and Adorno interpreted capitalism as the irrational monetization of nature. In the present work, I analyze three 21st century concepts, Anthropocene, Capitalocene and Machinocene, in light of Horkheimer and Adorno’s arguments and recent arguments from the philosophy of biology. The analysis reveals a remarkable prescience of the term “instrumental reason”, which is present in each of the three concepts in a profound and cryptic way. In my interpretation, the term describes the propensity of science based on the notion of physicalism to interpret nature as the machine analyzable and programmable by the human reason. As a result, the Anthropocene concept is built around the mechanicist model, which may be presented as the metaphor of the car without brakes. In a similar fashion, the Machinocene concept predicts the emergence of the mechanical mind, which will dominate nature in the near future. Finally, the Capitalocene concept turns a perfectly rational ambition to expand knowledge into an irrational obsession with over-knowledge, by employing the institutionalized science as the engine of capitalism without brakes. The common denominator of all three concepts is the irrational propensity to legitimize self-destruction. Potential avenues for countering the effects of “instrumental reason” are suggested
- …