recursively enumerable set. For a set to be r.e. means that it can be generated from a set of starting points (axioms), by the repeated applica tion of rules of inference.
If you want to change selection, open document below and click on "Move attachment"
pdf
owner: piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p152
Summary
status
not read
reprioritisations
last reprioritisation on
suggested re-reading day
started reading on
finished reading on
Details
Discussion
Do you want to join discussion? Click here to log in or create user.