Content deleted Content added
→Degeneracy: Reply |
→Skolem problem: new section |
||
Line 198:
:Thank you - I was transcribing directly from the book but then changed the letters to match with the article - that n slipped through the cracks it seems! [[User:GaseousButter|GaseousButter]] ([[User talk:GaseousButter|talk]]) 13:37, 4 July 2024 (UTC)
== Skolem problem ==
"For example, the Skolem problem is decidable for sequences of order up to 4"
It would do to be more precise here - what is currently published in the literature is that the Skolem problem is decidable for algebraic sequences of order up to 3, and '''real''' algebraic sequences up to order 4. In fact, it is true that it is decidable for all algebraic sequences up to order 4 - I have a paper in the works about that so watch this space ;). But as of now what is written is a little ambiguous and potentially misleading. [[User:GaseousButter|GaseousButter]] ([[User talk:GaseousButter|talk]]) 13:48, 4 July 2024 (UTC)
| |||