For example, the quote from the Twelve Virtues sounded familiar, but I almost certainly would not have been able to place it.
Twelve virtues is really popular, that’s why I wrote that. I’ll take it out if it’s distracting. (done and done)
Moreover, the way these quotes are used almost feels like you are quoting religious proof texts or writing a highschool English essay rather than actually using them in a useful way.
I was actually disagreeing with them, you understand this right. If not let me know, cause that’s important for my readers to get off the bat. Those are the two quotes I remember most clearly saying that we shouldn’t name the highest value. i put them there as evidence that not naming the highest value is standard LW doctrine. So if it came off as quoting doctrine perhaps I made my point.
On the Log stuff. I know other bases work fine too. But normalization is nice, actually i think I write log_b somewhere.
Not just other bases. I can construct another function as follows: Fix a basis for R over Q. I can do this if I believe in the axiom of choice. Call the elements of that basis x(i). Consider then the function that takes elements of log_x, writes them with respect to the basis and then zeros the coordinate connected to a fixed basis element x(0). This function will have your desired property and is not a constant times log.
Twelve virtues is really popular, that’s why I wrote that. I’ll take it out if it’s distracting. (done and done)
I was actually disagreeing with them, you understand this right. If not let me know, cause that’s important for my readers to get off the bat. Those are the two quotes I remember most clearly saying that we shouldn’t name the highest value. i put them there as evidence that not naming the highest value is standard LW doctrine. So if it came off as quoting doctrine perhaps I made my point.
On the Log stuff. I know other bases work fine too. But normalization is nice, actually i think I write log_b somewhere.
Not just other bases. I can construct another function as follows: Fix a basis for R over Q. I can do this if I believe in the axiom of choice. Call the elements of that basis x(i). Consider then the function that takes elements of log_x, writes them with respect to the basis and then zeros the coordinate connected to a fixed basis element x(0). This function will have your desired property and is not a constant times log.
Interesting. Is it continuous as well?
I may be wrong. But I think EY say’s in tech explanation that no other function satisfies that condition and is also proper.
Is this f a proper scoring rule?
No. This is wildly non-continuous. It also isn’t proper. This is why specifying what your hypotheses are for your theorems is important.
good point.But I think I said it had to be proper. I’ve made that more explicit.