Hmm, I'm a bit lost by your paragraph about Occam. (I know next to nothing about the distinctions between nominalism and formalism, maybe I should check this ou

Hmm, I'm a bit lost by your paragraph about Occam. (I know next to nothing about the distinctions between nominalism and formalism, maybe I should check this out.) For now, I just trust the formal version of Occam's razor, based on Kolmogorov complexity (or Solomonov induction, the two are equivalent), but I don't fully understand those yet. (I should definitely check this out). So, for now I must admit, that feels like a leap of faith. I am very confident, but my curiosity isn't satisfied yet.