In recursion theory a simple set is an example of a set which is recursively enumerable but not recursive.

PropertyValue
dbpprop:abstract
  • In recursion theory a simple set is an example of a set which is recursively enumerable but not recursive.
  • 単純集合(たんじゅんしゅうごう、英:simple set)とは、数理論理学における再帰理論で扱われるある種の集合。帰納的可算だが帰納的ではない集合の例。
  • Иммунное множество — бесконечное множество конструктивных объектов, любое перечислимое подмножество которого конечно. В конструктивной математике иммунные множества иногда используются для построения примеров объектов с «патологическими» (с точки зрения традиционной теоретико-множественной математики) свойствами — например, функций, непрерывных по Гейне и разрывных по Коши.
dbpprop:hasPhotoCollection
rdfs:comment
  • In recursion theory a simple set is an example of a set which is recursively enumerable but not recursive.
  • 単純集合(たんじゅんしゅうごう、英:simple set)とは、数理論理学における再帰理論で扱われるある種の集合。帰納的可算だが帰納的ではない集合の例。
  • Иммунное множество — бесконечное множество конструктивных объектов, любое перечислимое подмножество которого конечно.
rdfs:label
  • Simple set
  • 単純集合
  • Иммунное множество
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of