Nice! I’ll have to dig in further to what you’re working on. Fractran looks really interesting! I was wondering about how this relates to factorization and was thinking about rewrite rules involving it.
Fractran, side-steps peano arithmetic a little bit since it's a multiset, but the idea is quite similar. Incrementing a value, is the same as multiplying by a prime number. A rewrite rule like: (incr ?a) -> ((?a)), is very similar to multiplying by the fraction 3/2.
Yeah, this is really cool! Modal is definitely the most similar think I've seen to what I have been trying to build that led me down this path. Fractran seems really interesting and it made me start thinking --- what if we treated the numbers in this matrix as 2-adic instead of regular integers? And what if one side is 2-adic and the other is regular? I would love to play with that.
I love this stuff, it's how I implemented numbers in the Modal rewriting language.
https://wiki.xxiivv.com/site/modal
Nice! I’ll have to dig in further to what you’re working on. Fractran looks really interesting! I was wondering about how this relates to factorization and was thinking about rewrite rules involving it.
Fractran, side-steps peano arithmetic a little bit since it's a multiset, but the idea is quite similar. Incrementing a value, is the same as multiplying by a prime number. A rewrite rule like: (incr ?a) -> ((?a)), is very similar to multiplying by the fraction 3/2.
https://100r.co/site/shining_sand
It's a topic I adore, if you have any ideas you wan to explore in this or question, get in touch!
Yeah, this is really cool! Modal is definitely the most similar think I've seen to what I have been trying to build that led me down this path. Fractran seems really interesting and it made me start thinking --- what if we treated the numbers in this matrix as 2-adic instead of regular integers? And what if one side is 2-adic and the other is regular? I would love to play with that.
Wow!👍