It’s back btw. If it ever goes down again you can probably get it on wayback machine. And yes the /r/bad* subreddits are full of terrible academia snobbery. Badmathematics is the best of the bunch because mathematics is at least kind of objective. So they mostly talk about philosophy of mathematics.
The problem is formal models of probability theory have problems with logical uncertainty. You can’t assign a nonzero probability to a false logical statement. All the reasoning about probability theory is around modelling uncertainty in the unkown external world. This is an early attempt to think about logical uncertainty. Which MIRI has now published papers on and tried to formalize.
Just calling them “log odds” is fine and they are widely used in real work.
Btw what does “Response to previous version” mean? Was this article significantly editted? It doesn’t seem so confrontational reading it now.
We published new versions of a lot of sequences posts a few months ago. If you click on the “Response to previous version” text, you can read the original text that the comment was referring to.
Wait, these old posts have been edited? I don’t see the “Response to previous version” link. I’d like to read the originals, as they were written, in chronological order… there are other ways to consume the compendium if I so desired.
Yeah, they were edited as part of the process of compiling Rationality: AI to Zombies. Usually that just involved adding some sources, cleaning up some sentences and fixing some typos.
The “Response to previous version” link is at the top of every comment that was posted on the previous version of the post. See here:
Okay. Summary: All of Eliezer’s writing on this assumed the context of AGI/applied epistemology. That wasn’t obvious from the materials, and it did not occur to this group of pure mathematicians to assume that same focus, because they’re pure mathematicians and because of the activity they had decided to engage in on that day.
It’s back btw. If it ever goes down again you can probably get it on wayback machine. And yes the /r/bad* subreddits are full of terrible academia snobbery. Badmathematics is the best of the bunch because mathematics is at least kind of objective. So they mostly talk about philosophy of mathematics.
The problem is formal models of probability theory have problems with logical uncertainty. You can’t assign a nonzero probability to a false logical statement. All the reasoning about probability theory is around modelling uncertainty in the unkown external world. This is an early attempt to think about logical uncertainty. Which MIRI has now published papers on and tried to formalize.
Just calling them “log odds” is fine and they are widely used in real work.
Btw what does “Response to previous version” mean? Was this article significantly editted? It doesn’t seem so confrontational reading it now.
We published new versions of a lot of sequences posts a few months ago. If you click on the “Response to previous version” text, you can read the original text that the comment was referring to.
Wait, these old posts have been edited? I don’t see the “Response to previous version” link. I’d like to read the originals, as they were written, in chronological order… there are other ways to consume the compendium if I so desired.
Yeah, they were edited as part of the process of compiling Rationality: AI to Zombies. Usually that just involved adding some sources, cleaning up some sentences and fixing some typos.
The “Response to previous version” link is at the top of every comment that was posted on the previous version of the post. See here:
https://res.cloudinary.com/lesswrong-2-0/image/upload/v1577074008/Screen_Shot_2019-12-22_at_7.48.08_PM_n9bcp3.png
I see it now. Is there some way to make the original article the default View? Or a link to the prior version at the top of the article?
You can click on the date-stamp at the top of the post and select the earliest version from there.
Hmm. Reading.
Okay. Summary: All of Eliezer’s writing on this assumed the context of AGI/applied epistemology. That wasn’t obvious from the materials, and it did not occur to this group of pure mathematicians to assume that same focus, because they’re pure mathematicians and because of the activity they had decided to engage in on that day.