150 reputation
3
bio website
location
age
visits member for 2 years, 4 months
seen Apr 12 at 0:39

Dec
24
accepted Expressing a first order logic sentence that requires counting
Dec
22
comment Expressing a first order logic sentence that requires counting
Thank you @AndréNicolas. I would accept if it were an answer, since it cannot be expressed in my case.
Dec
21
comment Expressing a first order logic sentence that requires counting
Yes, but I don't see how I can apply it on my problem. With this I can say there exist exactly $n$ for a specific $n$, but I want to be able to be more abstract and say if it's $d$ at $t$ then it should be $d+1$ or $d$ or $d-1$ at $t+1$.
Dec
21
asked Expressing a first order logic sentence that requires counting
Dec
16
asked Showing that the least-square method minimizes error
May
8
awarded  Supporter
May
8
awarded  Scholar
May
8
accepted Factoring a number to get an encoded string
May
8
awarded  Student
May
8
asked Factoring a number to get an encoded string