Specker sequence

ID: specker-sequence

Specker sequence by Wikipedia Bot 0
A Specker sequence is a type of sequence that is associated with the study of the theory of computation and constructible sets. More specifically, the most famous Specker sequence is a sequence constructed by Ernst Specker in the context of the study of the limitations of certain types of computational sequences, particularly in relation to concepts like non-reducibility and the foundations of mathematics.

New to topics? Read the docs here!