In computability theory, productive sets and creative sets are types of sets of natural numbers that have important applications in mathematical logic. They are a standard topic in mathematical logic textbooks such as and .
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Kreative und produktive Mengen (de)
- Creative and productive sets (en)
- 創造的集合と生産的集合 (ja)
- Conjuntos criativos e produtivos (pt)
|
rdfs:comment
| - Kreative und produktive Mengen sind Klassen von Teilmengen der natürlichen Zahlen, die in der Berechenbarkeitstheorie und der mathematischen Logik auftreten.Sie sind eng mit dem Begriff der rekursiven Aufzählbarkeit (RE) verbunden:Die produktiven Mengen sind in einem gewissen Sinne die noch am besten algorithmisch beherrschbaren Mengen, die nicht mehr rekursiv aufzählbar sind.Dagegen sind die kreativen Mengen genau die RE-vollständigen (vgl. Vollständigkeit (Theoretische Informatik)).Die Bezeichnung kreative Menge geht auf einen Aufsatz von Emil Post aus dem Jahre 1944 zurück, erst später kam eine eigene Bezeichnung für die produktiven Mengen hinzu. (de)
- In computability theory, productive sets and creative sets are types of sets of natural numbers that have important applications in mathematical logic. They are a standard topic in mathematical logic textbooks such as and . (en)
- 生産的集合(せいさんてきしゅうごう、英: productive set)と創造的集合(そうぞうてきしゅうごう、英: creative set)とは、自然数の集合の類型であり、数理論理学において重要な応用を持つ。これらはやなどの数理論理学のテキストにおける標準的なトピックである。 (ja)
- Em Teoria da Computabilidade, conjuntos produtivos e conjuntos criativos são tipos de conjuntos de números naturais que tem aplicações importantes em lógica matemática. Eles são um tópico padrão em livros de lógica matemática tais como e . (pt)
|
dct:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
first
| |
last
| |
year
| |
has abstract
| - Kreative und produktive Mengen sind Klassen von Teilmengen der natürlichen Zahlen, die in der Berechenbarkeitstheorie und der mathematischen Logik auftreten.Sie sind eng mit dem Begriff der rekursiven Aufzählbarkeit (RE) verbunden:Die produktiven Mengen sind in einem gewissen Sinne die noch am besten algorithmisch beherrschbaren Mengen, die nicht mehr rekursiv aufzählbar sind.Dagegen sind die kreativen Mengen genau die RE-vollständigen (vgl. Vollständigkeit (Theoretische Informatik)).Die Bezeichnung kreative Menge geht auf einen Aufsatz von Emil Post aus dem Jahre 1944 zurück, erst später kam eine eigene Bezeichnung für die produktiven Mengen hinzu. (de)
- In computability theory, productive sets and creative sets are types of sets of natural numbers that have important applications in mathematical logic. They are a standard topic in mathematical logic textbooks such as and . (en)
- 生産的集合(せいさんてきしゅうごう、英: productive set)と創造的集合(そうぞうてきしゅうごう、英: creative set)とは、自然数の集合の類型であり、数理論理学において重要な応用を持つ。これらはやなどの数理論理学のテキストにおける標準的なトピックである。 (ja)
- Em Teoria da Computabilidade, conjuntos produtivos e conjuntos criativos são tipos de conjuntos de números naturais que tem aplicações importantes em lógica matemática. Eles são um tópico padrão em livros de lógica matemática tais como e . (pt)
|
author1-link
| |
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |