Mathematical Logic

Author: R.O. Gandy,C.E.M. Yates

Publisher: Elsevier

ISBN: 9780080535920

Category: Computers

Page: 306

View: 8348


Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and mathematical logic extended considerably further; the work of his last years, on morphogenesis in plants, is also of the greatest originality and of permanent importance. This book is divided into three parts. The first part focuses on computability and ordinal logics and covers Turing's work between 1937 and 1938. The second part covers type theory; it provides a general introduction to Turing's work on type theory and covers his published and unpublished works between 1941 and 1948. Finally, the third part focuses on enigmas, mysteries, and loose ends. This concluding section of the book discusses Turing's Treatise on the Enigma, with excerpts from the Enigma Paper. It also delves into Turing's papers on programming and on minimum cost sequential analysis, featuring an excerpt from the unpublished manuscript. This book will be of interest to mathematicians, logicians, and computer scientists.

A Companion to Philosophical Logic

Author: Dale Jacquette

Publisher: John Wiley & Sons

ISBN: 1405149949

Category: Philosophy

Page: 832

View: 9920


This collection of newly comissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Presents controversies in philosophical implications and applications of formal symbolic logic. Surveys major trends and offers original insights.

Artificial Intelligence, Evolutionary Computing and Metaheuristics

In the Footsteps of Alan Turing

Author: Xin-She Yang

Publisher: Springer

ISBN: 3642296947

Category: Computers

Page: 796

View: 6230


Alan Turing pioneered many research areas such as artificial intelligence, computability, heuristics and pattern formation. Nowadays at the information age, it is hard to imagine how the world would be without computers and the Internet. Without Turing's work, especially the core concept of Turing Machine at the heart of every computer, mobile phone and microchip today, so many things on which we are so dependent would be impossible. 2012 is the Alan Turing year -- a centenary celebration of the life and work of Alan Turing. To celebrate Turing's legacy and follow the footsteps of this brilliant mind, we take this golden opportunity to review the latest developments in areas of artificial intelligence, evolutionary computation and metaheuristics, and all these areas can be traced back to Turing's pioneer work. Topics include Turing test, Turing machine, artificial intelligence, cryptography, software testing, image processing, neural networks, nature-inspired algorithms such as bat algorithm and cuckoo search, and multiobjective optimization and many applications. These reviews and chapters not only provide a timely snapshot of the state-of-art developments, but also provide inspiration for young researchers to carry out potentially ground-breaking research in the active, diverse research areas in artificial intelligence, cryptography, machine learning, evolutionary computation, and nature-inspired metaheuristics. This edited book can serve as a timely reference for graduates, researchers and engineers in artificial intelligence, computer sciences, computational intelligence, soft computing, optimization, and applied sciences.

The Turing Test

The Elusive Standard of Artificial Intelligence

Author: James Moor

Publisher: Springer Science & Business Media

ISBN: 9781402012044

Category: Computers

Page: 273

View: 5407


This text provides a comprehensive, in-depth and contemporary assessment of the Turing test. It offers new insights into Turing's own interpretation and traces the history of the debate about the merits of the Turing test in detail.

The MIT Encyclopedia of the Cognitive Sciences

Author: Robert Andrew Wilson,Frank C. Keil

Publisher: MIT Press

ISBN: 9780262731447

Category: Psychology

Page: 964

View: 6903


A landmark, comprehensive reference work that represents the methodological and theoretical diversity of this changing field.

It Began with Babbage

The Genesis of Computer Science

Author: Subrata Dasgupta

Publisher: Oxford University Press

ISBN: 0199309434

Category: Computers

Page: 304

View: 341


As a field, computer science occupies a unique scientific space, in that its subject matter can exist in both physical and abstract realms. An artifact such as software is both tangible and not, and must be classified as something in between, or "liminal." The study and production of liminal artifacts allows for creative possibilities that are, and have been, possible only in computer science. In It Began with Babbage, computer scientist and writer Subrata Dasgupta examines the distinct history of computer science in terms of its creative innovations, reaching back to Charles Babbage in 1819. Since all artifacts of computer science are conceived with a use in mind, the computer scientist is not concerned with the natural laws that govern disciplines like physics or chemistry; instead, the field is more concerned with the concept of purpose. This requirement lends itself to a type of creative thinking that, as Dasgupta shows us, has exhibited itself throughout the history of computer science. More than any other, computer science is the science of the artificial, and has a unique history to accompany its unique focus. The book traces a path from Babbage's Difference Engine in the early 19th century to the end of the 1960s by when a new academic discipline named "computer science" had come into being. Along the way we meet characters like Babbage and Ada Lovelace, Turing and von Neumann, Shannon and Chomsky, and a host of other people from a variety of backgrounds who collectively created this new science of the artificial. And in the end, we see how and why computer science acquired a nature and history all of its own.

Alan Turing: His Work and Impact

Author: S. Barry Cooper,J. van Leeuwen

Publisher: Elsevier

ISBN: 0123870127

Category: Mathematics

Page: 944

View: 8110


In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A. M. Turing. These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of Alan Turing's work. Offering a more modern perspective than anything currently available, Alan Turing: His Work and Impact gives wide coverage of the many ways in which Turing's scientific endeavors have impacted current research and understanding of the world. His pivotal writings on subjects including computing, artificial intelligence, cryptography, morphogenesis, and more display continued relevance and insight into today's scientific and technological landscape. This collection provides a great service to researchers, but is also an approachable entry point for readers with limited training in the science, but an urge to learn more about the details of Turing's work. 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP Named a 2013 Notable Computer Book in Computing Milieux by Computing Reviews Affordable, key collection of the most significant papers by A.M. Turing Commentary explaining the significance of each seminal paper by preeminent leaders in the field Additional resources available online

Media of Reason

A Theory of Rationality

Author: Matthias Vogel

Publisher: Columbia University Press

ISBN: 0231527756

Category: Philosophy

Page: 400

View: 2057


Matthias Vogel challenges the belief, dominant in contemporary philosophy, that reason is determined solely by our discursive, linguistic abilities as communicative beings. In his view, the medium of language is not the only force of reason. Music, art, and other nonlinguistic forms of communication and understanding are also significant. Introducing an expansive theory of mind that accounts for highly sophisticated, penetrative media, Vogel advances a novel conception of rationality while freeing philosophy from its exclusive attachment to linguistics. Vogel's media of reason treats all kinds of understanding and thought, propositional and nonpropositional, as important to the processes and production of knowledge and thinking. By developing an account of rationality grounded in a new conception of media, he raises the profile of the prelinguistic and nonlinguistic dimensions of rationality and advances the Enlightenment project, buffering it against the postmodern critique that the movement fails to appreciate aesthetic experience. Guided by the work of Jürgen Habermas, Donald Davidson, and a range of media theorists, including Marshall McLuhan, Vogel rebuilds, if he does not remake, the relationship among various forms of media—books, movies, newspapers, the Internet, and television—while offering an original and exciting contribution to media theory.

Evolutionary Algorithms and Intelligent Tools in Engineering Optimization

Author: William Annicchiarico

Publisher: Wit Pr/Computational Mechanics

ISBN: 9781845640385

Category: Technology & Engineering

Page: 345

View: 4289


Evolutionary Algorithms are very powerful techniques used to find solutions to real-world search and optimization problems. They are artificial intelligence techniques which mimic nature according to Darwin's principal of the "survival of the fittest" in order to explore and explode large search space and find near-global optima. In this book, a large spectrum of innovative evolutionary and intelligence methods are presented and used for solving various application problems, name and among others: Genetic Algorithms, Evolutions Strategies or Constrained Optimization, Genetic Programming, Sampling Methods in Evolutionary Computation, Tabu Methods, Metamodelassisted Evolutionary Algorithms, Multi Objective Robust Design, Hierarchical Asynchronous Parallel Evolutionary Algorithms, Micro Distributed Genetic Algorithms and Hybrid Optimization. The reader will easily access the comprehensive methods described in the fourteen chapters that work impressively well on practical problems representative of real engineering situations in the areas of Control, Electronics, Civil Engineering, Aerospace Engineering, Turbomachinery and Medical Engineering and Energy. This collective book, written by internationally recognized experts in the fields of evolutionary design optimization, will therefore be of significant interest and value to computer scientists, researchers and post graduate students, and practicing senior or young engineers involved in complex design Optimization problems.