| dbo:abstract
|
- The history of the Church–Turing thesis ("thesis") involves the history of the development of the study of the nature of functions whose values are effectively calculable; or, in more modern terms, functions whose values are algorithmically computable. It is an important topic in modern mathematical theory and computer science, particularly associated with the work of Alonzo Church and Alan Turing. The debate and discovery of the meaning of "computation" and "recursion" has been long and contentious. This article provides detail of that debate and discovery from Peano's axioms in 1889 through recent discussion of the meaning of "axiom". (en)
- A história da tese de Church-Turing ("tese") envolve a história do desenvolvimento do estudo da natureza das funções cujos valores são efetivamente calculáveis; ou, em termos mais modernos, funções cujos valores são algoritmicamente computáveis. É um tópico importante na teoria matemática moderna e ciência da computação, particularmente associada com o trabalho de Alonzo Church e Alan Turing. O debate e a descoberta do significado de "computação" e "recursividade" tem sido longa e controverso. Este artigo fornece detalhes deste debate e a descoberta dos Axiomas de Peano, em 1889, passando pela recente discussão sobre o significado de "axioma". (pt)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 61369 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- The history of the Church–Turing thesis ("thesis") involves the history of the development of the study of the nature of functions whose values are effectively calculable; or, in more modern terms, functions whose values are algorithmically computable. It is an important topic in modern mathematical theory and computer science, particularly associated with the work of Alonzo Church and Alan Turing. (en)
- A história da tese de Church-Turing ("tese") envolve a história do desenvolvimento do estudo da natureza das funções cujos valores são efetivamente calculáveis; ou, em termos mais modernos, funções cujos valores são algoritmicamente computáveis. É um tópico importante na teoria matemática moderna e ciência da computação, particularmente associada com o trabalho de Alonzo Church e Alan Turing. (pt)
|
| rdfs:label
|
- History of the Church–Turing thesis (en)
- História da tese de Church-Turing (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
