Well, I don't know number theory well, but what axiomatization of maths are you basing the predictions in your series on?
I have a hunch the distinction I am making is similar to a distinction about the choice of axiomatization. Which will be random. (The randomness demonstrated by Goedel's diagonalization lemma? "True" but not provable/predictable within the system?) On Mon, May 20, 2024 at 9:09 PM James Bowery <jabow...@gmail.com> wrote: > > > > On Sun, May 19, 2024 at 11:32 PM Rob Freeman <chaotic.langu...@gmail.com> > wrote: >> >> James, >> >> My working definition of "truth" is a pattern that predicts. And I'm >> tending away from compression for that. > > > 2, 4, 6, 8 > > does it mean > 2n? > > or does it mean > 10? > > > >> Related to your sense of "meaning" in (Algorithmic Information) >> randomness. But perhaps not quite the same thing. > > > or does it mean a probability distribution of formulae that all produce 2, 4, > 6, 8 whatever they may subsequently produce? > > or does it mean a probability distribution of sequences > 10, 12? > 10, 12, 14? > 10, 13, 14? > ... ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T682a307a763c1ced-M086013ed4b196bdfe9a874c8 Delivery options: https://agi.topicbox.com/groups/agi/subscription
