Content deleted Content added
→Skolem problem: Reply |
→Skolem problem: Reply |
||
Line 207:
:Thanks, I can fix this! From the source (Ouaknine and Worrell) I have: "Partial progress towards decidability of the Skolem Problem has been achieved by restricting the order of linear recurrence sequences. For sequences of order 1 and 2, decidability is relatively straightforward and considered to be folklore. Decidability for orders 3 and 4, however, had to wait until the 1980s before being independently settled positively by Mignotte, Shorey, and Tijdeman [13], as well as Vereshchagin"
:so I guess they are referring to real algebraic sequences? I can also check the original sources and add these. Or feel free to propose an edit. Thanks! [[User:Caleb Stanford|Caleb Stanford]] ([[User talk:Caleb Stanford|talk]]) 19:05, 6 July 2024 (UTC)
::Yes, in that source you cited the way they define a linear recurrence sequence is to be over the reals. I think the best thing to do is to cite the original sources (they're not the nicest things to read through being from the 80s). I might edit it myself in a bit but I was originally being lazy because I didn't want to figure out what the cleanest wording would be haha [[User:GaseousButter|GaseousButter]] ([[User talk:GaseousButter|talk]]) 19:02, 16 July 2024 (UTC)
| |||