Hypercomputation

id: hypercomputation-161-17675195
title: Hypercomputation
text: Hypercomputation or super-Turing computation is a set of hypothetical models of computation that can provide outputs that are not Turing-computable. For example, a machine that could solve the halting problem would be a hypercomputer; so too would one that could correctly evaluate every statement in Peano arithmetic. The Church–Turing thesis states that any "computable" function that can be computed by a mathematician with a pen and paper using a finite set of simple algorithms, can be computed
brand slug: wiki
category slug: encyclopedia
description: Models of computation
original url: https://en.wikipedia.org/wiki/Hypercomputation
date created: 2003-01-28T07:51:49Z
date modified: 2024-08-27T13:32:21Z
main entity: {"identifier":"Q2661997","url":"https://www.wikidata.org/entity/Q2661997"}
image:
fields total: 13
integrity: 15

Related Entries

Explore Next Part