Skolem problem

GPTKB entity

Statements (12)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:concerns zeroes of linear recurrence sequences
gptkbp:field gptkb:mathematics
theoretical computer science
gptkbp:firstPosed 1934
https://www.w3.org/2000/01/rdf-schema#label Skolem problem
gptkbp:namedAfter gptkb:Thoralf_Skolem
gptkbp:openProblem true
gptkbp:relatedTo linear recurrence sequences
gptkbp:type Is it decidable whether a given linear recurrence sequence has a zero?
gptkbp:bfsParent gptkb:Thoralf_Skolem
gptkbp:bfsLayer 5