It’s worse than that: SI doesn’t even try to build a meaningful ontological model.
Hm, does it need one?
Why can’t it be both?
I think that’s what I said.
So the first definition is what?
Again, “what was, will continue”. DD says something about real years never having started with 20 therefore the year 2000 wont happen, which seems to refute it as a complete specification, but on reflection I just feel like he understood it in an overly crude way because he wasn’t thinking in a probabilistic way about managing the coexistence of competing theories that agree with past data but make different predictions about the future, and he still probably doesn’t have that.
The reality is, you actually aren’t supposed to have certainty that the year 2000 will happen, 0 and 1 are not real probabilities etc
It’s worse than that: SI doesn’t even try to build a meaningful ontological model.
Hm, does it need one
Yes, if you are going to claim that it solves the problem of attaching objective probabilities to ontological theories..or theories for short. If what it actually delivers is complexity measures on computer programs, it would be honest to say so.
Hm, does it need one?
I think that’s what I said.
Again, “what was, will continue”. DD says something about real years never having started with 20 therefore the year 2000 wont happen, which seems to refute it as a complete specification, but on reflection I just feel like he understood it in an overly crude way because he wasn’t thinking in a probabilistic way about managing the coexistence of competing theories that agree with past data but make different predictions about the future, and he still probably doesn’t have that.
The reality is, you actually aren’t supposed to have certainty that the year 2000 will happen, 0 and 1 are not real probabilities etc
Sigh ..that takes me back about 11 years. Yes, induction is always straw manned, the Popper-Miller paper is gold plated truth, etc.
Yes, if you are going to claim that it solves the problem of attaching objective probabilities to ontological theories..or theories for short. If what it actually delivers is complexity measures on computer programs, it would be honest to say so.