How much partiality is needed for a theory of computability? (Q6146825)
From MaRDI portal
scientific article; zbMATH DE number 7797488
Language | Label | Description | Also known as |
---|---|---|---|
English | How much partiality is needed for a theory of computability? |
scientific article; zbMATH DE number 7797488 |
Statements
How much partiality is needed for a theory of computability? (English)
0 references
31 January 2024
0 references
computability theory
0 references
non-termination
0 references
Gödel numbering
0 references
recursion theorem
0 references
isomorphism theorem
0 references
numbering theory
0 references
Rogers semi-lattice
0 references
domain theory
0 references
admissible numbering
0 references