Jump to ContentJump to Main Navigation

You are looking at 1-9 of 9 items

  • Keywords: halting problem x
Clear All Modify Search

View:

The Grand Unified Theory of Computation

Moore Cristopher

in The Nature of Computation

Published in print:
2011
Published Online:
December 2013
ISBN:
9780199233212
eISBN:
9780191775079
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199233212.003.0007
Subject:
Physics, Theoretical, Computational, and Statistical Physics

This chapter explores a universal notion of computation, first by describing Charles Babbage's vision of a mechanical device that can perform any calculation as well as David Hilbert's dream of a ... More


Effective Playability in Arithmetical Games

Kumaraswamy Velupillai

in Computable Economics: The Arne Ryde Memorial Lectures

Published in print:
2000
Published Online:
November 2003
ISBN:
9780198295273
eISBN:
9780191596988
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/0198295278.003.0007
Subject:
Economics and Finance, Macro- and Monetary Economics

Class games, called Arithmetical Games, are defined and recursion theoretic questions such as effective playability, diophantine complexity, etc. are posed and formally answered. In the process, ... More


Cognitive Systems and the Scientific Explanation of Cognition

Marco Giunti

in Computation, Dynamics, and Cognition

Published in print:
1997
Published Online:
November 2020
ISBN:
9780195090093
eISBN:
9780197560600
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780195090093.003.0008
Subject:
Computer Science, Mathematical Theory of Computation

A cognitive system is any real system that has some cognitive property. Therefore, cognitive systems are a special type of K-systems (see chapter 3, section 3). Note ... More


Mathematical Dynamical Systems and Computational Systems

Marco Giunti

in Title Pages

Published in print:
1997
Published Online:
November 2020
ISBN:
9780195090093
eISBN:
9780197560600
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780195090093.003.0005
Subject:
Computer Science, Mathematical Theory of Computation

The main thesis of this chapter is that a dynamical viewpoint allows us to better understand some important foundational issues of computation theory. Effective procedures are traditionally studied ... More


Turing, Lovelace, and Babbage

Doron Swade

in The Turing Guide

Published in print:
2017
Published Online:
November 2020
ISBN:
9780198747826
eISBN:
9780191916946
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198747826.003.0033
Subject:
Computer Science, History of Computer Science

The principles on which all modern computing machines are based were enunciated more than a hundred years ago by a Cambridge mathematician named Charles Babbage.’ So declared Vivian Bowden—in ... More


Turing’s legacy

Jonathan Bowen and Jack Copeland

in The Turing Guide

Published in print:
2017
Published Online:
November 2020
ISBN:
9780198747826
eISBN:
9780191916946
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198747826.003.0055
Subject:
Computer Science, History of Computer Science

In terms of public appreciation Turing has risen quickly from zero to hero. The decades of obscurity (Who did you say? Turning?) came to an end with the much-publicized Royal Pardon of 2013 and, ... More


Specific Evolutionary Algorithms

Thomas Bäck

in Evolutionary Algorithms in Theory and Practice: Evolution Strategies, Evolutionary Programming, Genetic Algorithms

Published in print:
1996
Published Online:
November 2020
ISBN:
9780195099713
eISBN:
9780197560921
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780195099713.003.0007
Subject:
Computer Science, Systems Analysis and Design

In this chapter, an outline of an Evolutionary Algorithm is formulated that is sufficiently general to cover at least the three different main stream algorithms mentioned before, namely, Evolution ... More


Turing, Lovelace, and Babbage

Doron Swade

in The Turing Guide

Published in print:
2017
Published Online:
November 2020
ISBN:
9780198747826
eISBN:
9780191916946
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198747826.003.0033
Subject:
Computer Science, History of Computer Science

The principles on which all modern computing machines are based were enunciated more than a hundred years ago by a Cambridge mathematician named Charles ... More


Turing’s legacy

Jonathan Bowen and Jack Copeland

in The Turing Guide

Published in print:
2017
Published Online:
November 2020
ISBN:
9780198747826
eISBN:
9780191916946
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198747826.003.0055
Subject:
Computer Science, History of Computer Science

In terms of public appreciation Turing has risen quickly from zero to hero. The decades of obscurity (Who did you say? Turning?) came to an end with the ... More


View: