Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later.
Author: Jan von Plato
Publisher: Princeton University Press
The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution. Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schröder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt Gödel conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later. Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.
The important kind of originality is that which produces new theories, new
conceptual schemes, new works of art. ... in fact such a machine would have to
be of the species referred to as analogue computers (as opposed to digital
computers). ... while on a theory-building program, it will register the formal
similarity between this kind of motion and the motion of a body ... Deduction of the
consequences of such a hypothesis proves satisfactory for a certain value of the
force in the invisible ...
Author: Associate Professor in the Computer Science Department at the University of California Santa Cruz Noah Wardrip-FruinPublish On: 2003
Computer programs can help a lawyer manipulate formal structures and the deductions that can be made from them, while leaving the "hard questions ... In
the act of design we bring forth the objects and regularities in the world of our
Author: Associate Professor in the Computer Science Department at the University of California Santa Cruz Noah Wardrip-Fruin
Publisher: MIT Press
Category: Social Science
A sourcebook of historical written texts, video documentation, and working programs that form the foundation of new media. This reader collects the texts, videos, and computer programs--many of them now almost impossible to find--that chronicle the history and form the foundation of the still-emerging field of new media. General introductions by Janet Murray and Lev Manovich, along with short introductions to each of the texts, place the works in their historical context and explain their significance. The texts were originally published between World War II--when digital computing, cybernetic feedback, and early notions of hypertext and the Internet first appeared--and the emergence of the World Wide Web--when they entered the mainstream of public life. The texts are by computer scientists, artists, architects, literary writers, interface designers, cultural critics, and individuals working across disciplines. The contributors include (chronologically) Jorge Luis Borges, Vannevar Bush, Alan Turing, Ivan Sutherland, William S. Burroughs, Ted Nelson, Italo Calvino, Marshall McLuhan, Jean Baudrillard, Nicholas Negroponte, Alan Kay, Bill Viola, Sherry Turkle, Richard Stallman, Brenda Laurel, Langdon Winner, Robert Coover, and Tim Berners-Lee. The CD accompanying the book contains examples of early games, digital art, independent literary efforts, software created at universities, and home-computer commercial software. Also on the CD is digitized video, documenting new media programs and artwork for which no operational version exists. One example is a video record of Douglas Engelbart's first presentation of the mouse, word processor, hyperlink, computer-supported cooperative work, video conferencing, and the dividing up of the screen we now call non-overlapping windows; another is documentation of Lynn Hershman's Lorna, the first interactive video art installation.
... A . , Building Construction and Design NÄGELI , W . , Building Planning and
Design SCHIRMER , W . , History of Building ... Timber Construction and
Structural Theory EIBL , J . , Steel and Cement Construction GEHBAUER , F . , Machines in the ... H . H . , Waterworks HECK , B . , Physical Satellite Geodesy
JIRKA , G . , Fluid Mechanics MIERLO , J . VAN , Geodesy ... Program Verification
and Complexity Theory NAGEL , H . H . , Pattern Recognition and Digital Image
Author: Europa Publications
First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.
The formal analysis of mathematical language led to the idea that if mathematical
propositions were derived logically and ... This resulted in the 1930s in the
beginnings of computer science in the form of the Turing machine , the only machine ... source of amusement to ponder the total number of images that ,
theoretically , could be produced on a digital framestore . ... In 1934 there was a revolution in the philosophy of science when Karl Popper proposed that scientific theories are not ...
International journal of contemporary visual artists.
Beginning with Nilsson's book , Problem - solving Methods in Artificial
Intelligence ( Nilsson , 1971 ) , some general threads ... history of Al research
departs significantly from the trace of a computer discovery program , for in ihe Al world , many lines ... Hence , when we try to interpret the annals as exemplifying best - first search , we must use that term loosely . ... the demand for more theory
and formal development , One such case is theorem - proving , where
mathematical tastes have ...
Date not set pap, text 7.95 (0.520.05233-0 UCA Pr. LOCAL history Here are
entered works on the writing and compiling ... Formal Logic. Aug. 1999 pap.
37.00 (0.534-53730.8); pap, student ed. 13.50 (0.534-53731-6) Brooks-Cole.
Netz. ... Abstract Fuzzy Logic, Machine Theory, Science-Methodology, Semantics
(Philosophy) Chandru, Vijay & Hooker, John. ... Date not set lab manualed write
for info (0.314-06980-D West Pub. LOGIC DESIGN Yarbrough. Digital Logic.
Date not set ...
See COMPUTER PROGRAMMING CONCURRENT PROCESSENG: DIGITAL
COMPTER, DISTRIBUTED ... objects of the external world and their relations to
each other but, strictly speaking only with objects and relations of its own imagery
. ... and philosophical attempts to reduce all origin of mathematics to utilitarian
motives are wholly unconvincing However, ... See SET THEORY. ... which,
however, does not necessarily guarantee the calculation by present-day computing machines.
Publisher: McGraw-Hill Professional Publishing
Features more than seven thousand entries covering topics, terms, and concepts in math, science, and technology.
This book will not only provide the readers a broad overview of the latest advances but also provide the researchers a valuable summary and reference in this field. Volume is indexed by Thomson Reuters CPCI-S (WoS).
Author: Yong Huang
Publisher: Trans Tech Publications Ltd
Category: Technology & Engineering
The book cover current research results in Construction and Urban Planning and is divided into 18 chapters, including Geological and Geotechnical Engineering, Structural Engineering, Bridge Engineering, Tunnel, Subway and Underground Facilities, Road and Railway Engineering, Seismic Engineering, Computational Mechanics, Traditional Construction Materials, Advanced Construction Materials, Energy-Efficient Technologies in Buildings, Architectural Design and Its Theory, Architectural Environment and Ecological Environmental Protection etc. This book will not only provide the readers a broad overview of the latest advances but also provide the researchers a valuable summary and reference in this field. Volume is indexed by Thomson Reuters CPCI-S (WoS).
Issues in Biological and Life Sciences Research: 2011 Edition is a ScholarlyEditions™ eBook that delivers timely, authoritative, and comprehensive information about Biological and Life Sciences Research.
Issues in Biological and Life Sciences Research: 2011 Edition is a ScholarlyEditions™ eBook that delivers timely, authoritative, and comprehensive information about Biological and Life Sciences Research. The editors have built Issues in Biological and Life Sciences Research: 2011 Edition on the vast information databases of ScholarlyNews.™ You can expect the information about Biological and Life Sciences Research in this eBook to be deeper than what you can access anywhere else, as well as consistently reliable, authoritative, informed, and relevant. The content of Issues in Biological and Life Sciences Research: 2011 Edition has been produced by the world’s leading scientists, engineers, analysts, research institutions, and companies. All of the content is from peer-reviewed sources, and all of it is written, assembled, and edited by the editors at ScholarlyEditions™ and available exclusively from us. You now have a source you can cite with authority, confidence, and credibility. More information is available at http://www.ScholarlyEditions.com/.