meta_ark

12y3

Hi! I'm from Sydney, but I'm visiting Melbourne this week and I keep seeing note about these regular Melbourne meetups. So I might head down there. I have dinner with my family around 7, so I'm not sure what time I can get there. Hope to meet some of you there!

It helped teach me a few valuable thought-processes which should help optimise my social life. I'm glad it's here.

I think you could use Kolgomorov complexity to define simple, for these purposes. That way replacing your formula with "5##" wouldn't make it any simpler, because the machine would still have to execute all those multiplicative operations.

How can we be sure we have the simplest explanation? We can't be *sure*, because new data could come in to make us change our minds. But given a finite amount like {1, 2, ...} we can still weight possible formulae by Kogomorov complexity and prefer the simpler hypothesis.

I think natural numbers is simpler in this case, because n is simpler to calculate than 2^n. As for {1, ...} I don't think we have enough information to locate a hypothesis.

I'm uncertain about what I've said, so please correct me if I'm wrong about anything.

Super-tangential, I know, but there are at least two Austin bakeries that bake a range of fresh kolaches every day, https://www.batchatx.com/menus and https://www.quacksbakery.com/