A Quest for Algorithmically Random Infinite Structures, II (Q5283425)
From MaRDI portal
scientific article; zbMATH DE number 6751237
Language | Label | Description | Also known as |
---|---|---|---|
English | A Quest for Algorithmically Random Infinite Structures, II |
scientific article; zbMATH DE number 6751237 |
Statements
A Quest for Algorithmically Random Infinite Structures, II (English)
0 references
21 July 2017
0 references
Martin-Löf randomness
0 references
halting problem
0 references
measure
0 references
computable infinite structure
0 references