Director of Editorial Content: Director of Book Publications: Acquisitions Editor: Development Editor: Publishing Assistant: Typesetter: Production Editor: Cover Design: Printed at: Kristin Klinger Julia Mosemann Lindsay Johnston Christine Bufton Casey Conapitski, Natalie Pronio Travis Gundrum Jamie Snavely Lisa Tosheff Yurchak Printing Inc. Published in the United States of America by Information Science Reference (an imprint of IGI Global) 701 E. Chocolate Avenue Hershey PA 17033 Tel: 717-533-8845 Fax: 717-533-8661 E-mail: cust@igi-global.com Web site: http://www.igi-global.com Copyright © 2010 by IGI Global. All rights reserved. No part of this publication may be reproduced, stored or distributed in any form or by any means, electronic or mechanical, including photocopying, without written permission from the publisher. Product or company names used in this set are for identification purposes only. Inclusion of the names of the products or com- panies does not indicate a claim of ownership by IGI Global of the trademark or registered trademark. Library of Congress Cataloging-in-Publication Data Thinking machines and the philosophy of computer science : concepts and principles / Jordi Vallverdu, editor. p. cm. Includes bibliographical references and index. Summary: "This book offers a high interdisciplinary exchange of ideas pertaining to the philosophy of computer science, from