The Great Formal Machinery Works

The Great Formal Machinery Works

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

ISBN: 9781400885039

Category: Science

Page: 400

View: 140

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.
Categories: Science

Philosophy in the age of Crisis

Philosophy in the age of Crisis

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: Eleanor Kuykendall

Publisher:

ISBN:

Category:

Page:

View: 855

Categories:

The NewMediaReader

The NewMediaReader

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
concern.

Author: Associate Professor in the Computer Science Department at the University of California Santa Cruz Noah Wardrip-Fruin

Publisher: MIT Press

ISBN: 0262232278

Category: Social Science

Page: 823

View: 867

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.
Categories: Social Science

The Cumulative Book Index

The Cumulative Book Index

Author:

Publisher:

ISBN: UOM:39015058373922

Category: American literature

Page:

View: 757

A world list of books in the English language.
Categories: American literature

The World of Learning 2001

The World of Learning 2001

... 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
Evaluation ...

Author: Europa Publications

Publisher: Routledge

ISBN: 1857430840

Category: Archives

Page: 2188

View: 589

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.
Categories: Archives

Leonardo Journal of International Society for the Arts Sciences and Technology

Leonardo   Journal of International Society for the Arts  Sciences and Technology

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 ...

Author:

Publisher:

ISBN: UOM:39015025987978

Category: Art

Page:

View: 103

International journal of contemporary visual artists.
Categories: Art

IJCAI 79

IJCAI 79

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 ...

Author:

Publisher:

ISBN: UCSD:31822001164508

Category: Artificial Intelligence

Page:

View: 110

Categories: Artificial Intelligence

Forthcoming Books

Forthcoming Books

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 ...

Author: Rose Arny

Publisher:

ISBN: UOM:39015046868983

Category: American literature

Page:

View: 350

Categories: American literature

Selected Rand Abstracts

Selected Rand Abstracts

Author: Rand Corporation

Publisher:

ISBN: UOM:39015079907419

Category: Abstracts

Page:

View: 776

Includes publications previously listed in the supplements to the Index of selected publications of the Rand Corporation (Oct. 1962-Feb. 1963).
Categories: Abstracts

McGraw Hill Concise Encyclopedia of Science Technology

McGraw Hill Concise Encyclopedia of Science   Technology

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.

Author: Mcgraw-Hill

Publisher: McGraw-Hill Professional Publishing

ISBN: UOM:49015002971019

Category: Reference

Page: 2651

View: 623

Features more than seven thousand entries covering topics, terms, and concepts in math, science, and technology.
Categories: Reference

The Philosopher s Index

The Philosopher s Index

Author:

Publisher:

ISBN: UOM:39015066139075

Category: Philosophy

Page:

View: 742

Vols. for 1969- include a section of abstracts.
Categories: Philosophy

Construction and Urban Planning

Construction and Urban Planning

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

ISBN: 9783038260424

Category: Technology & Engineering

Page: 3480

View: 486

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).
Categories: Technology & Engineering

Issues in Biological and Life Sciences Research 2011 Edition

Issues in Biological and Life Sciences Research  2011 Edition

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.

Author:

Publisher: ScholarlyEditions

ISBN: 9781464963353

Category: Science

Page: 5106

View: 973

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/.
Categories: Science