Concept

Computably enumerable set

Overview

a set that can be output (enumerated) by an algorithm (mathematical logic, computability theory)

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Formal language
• Computable function
• Computability theory
• Turing machine
• Complement (set theory)
• Church–Turing thesis
• Turing degree
• Algorithm
• Alpha recursion theory
• Vector space

Place in the tradition

Part of First-order logic.

Explore Computably enumerable set in the interactive graph →