danharaj

92 ms·

841.
by danharaj 8y ago
Yea, it's great that housing and healthcare have only grown by 1% per year in costs since 2000 as well.
842.
by danharaj 8y ago
It matters because it means second order arithmetic isn't a finite object in the same way first order effective theories are where you might have "infinitely" many axioms but they are packaged up in a finite object, an algori
843.
by danharaj 8y ago
Second order induction could hardly be called a formal system: There is no complete, effective proof system for it. This is the basically the same limitation on first order PA. The standard model for second order arithmetic involves the pow
844.
by danharaj 8y ago
I'm not sure what you're asking. Any formalization of the integers won't be "the" integers, the totality of which perhaps isn't even a reasonable idea. Mathematics is a part of the world and does not stand apar
845.
by danharaj 8y ago
This is a consequence of Goedel's completeness theorem: a statement in a first order theory is provable if and only if it is true in every model. The counter models obtained for arithmetic true unprovable statements are called non-stan
846.
by danharaj 8y ago
GP is alluding to the fact that any unprovable true statement about the integers has a counter-model for which the statement is false which the formal system cannot distinguish from the integers. Therefore no formal system characterizes the
847.
by danharaj 8y ago
The integers can't be captured by a formal system of any kind either.
848.
by danharaj 8y ago
Economic development during the 1970's and in the run up to the iran-iraq war was promising by the numbers and by considering the nascent industrial centers in places like Baghdad. If you look at those numbers and say "nah, doesn&
849.
by danharaj 8y ago
I mean, whatever you need to tell yourself to rationalize away what the United States did. Does that boot taste good, though?
850.
by danharaj 8y ago
Which war? Iraq was quite a nice place to live before the Iran-Iraq War, First Gulf War, embargo, and Second Gulf War.
851.
by danharaj 8y ago
Boring is one step away from predictable. So is safe.
852.
by danharaj 8y ago
Cabal uses a SAT solver. It's in the middle of a beta for replacing it's global package management with per-project package management by default (so-called new-style builds). There were some warts in the past when it couldn'
853.
by danharaj 8y ago
> be Google
854.
by danharaj 8y ago
Do you think that's the same thing as is alleged in the submission?
855.
by danharaj 8y ago
Insurrection, if it comes to that?
856.
by danharaj 8y ago
Sure, they're all beholden to each other but they're the ones who make the decisions about how to allocate the means of production and which labor power to buy. People who derive their income primarily from investments but don&#x2
857.
by danharaj 8y ago
Speak for yourself. What a dismal outlook.
858.
by danharaj 8y ago
Just because you own, e.g. stock doesn't mean you control the underlying means of production it represents a share of. Most people who own stock do so as part of a retirement fund. Those institutional investors, banks, managers, politi
859.
by danharaj 8y ago
Right, it obfuscates class distinctions between those who control capital and policy versus those who just have money. I'm somewhat cynical but I think this is an intended obfuscation. It's important for petit bourgeois and wealth
860.
by danharaj 8y ago
It's hard to imagine how. I think more likely g<r but it will also stagnate, leading to instability of the entire system. I suppose r<g could be the case if economic growth is no longer driven by capital investment, perhaps becau
861.
by danharaj 8y ago
Do you want to elaborate?
862.
by danharaj 8y ago
I never take such value statements at face value and neither should you.
863.
by danharaj 8y ago
Those words are also empty if they are not provided along with a rubric of what they mean. Equality is perhaps more troublesome than meritocracy while diversity is somewhat better. It is not obvious that diversity is a good thing, so it has
864.
by danharaj 8y ago
Do you have any textbooks recommendations for learning about semidefinite programming targeted at the level of, say, a math grad student?
865.
by danharaj 8y ago
> The group has a mission. You help with mission, you go up. You work against the mission, you go down. Thats meritocracy. Honest question. Do you think you've cleared anything up with this definition? I don't think you've
866.
by danharaj 8y ago
You have to separate the word from the underlying concept(s). They're not the same thing. If they were the same thing, I could conjure of invisible pink unicorns with an utterance and make all the world utopia by having everyone reci
867.
by danharaj 8y ago
I think it feels different, at least to me, because "don't be evil" doesn't signal any value about how I would be treated if I worked at Google. We often evaluate such value statements by empathizing with the people affe
868.
by danharaj 8y ago
It is easier to see the issue when thinking what "meritocracy" means as a process as opposed to a state of being. The word "meritocracy" has no procedurality to it, it solely signals values without providing an effective
869.
by danharaj 8y ago
Meritocracy, like all words that reduce to "good thing", are always troublesome. No one ever claims to be a "bad thing"ocracy. The issue is the opacity of the concept of merit. How do you distinguish being a meritocracy
870.
by danharaj 8y ago
If you completely ignore the violent history of the industrial revolution and reduce prosperity to statistics like population growth, it's such a happy story! I for one am totally happy that the day is accurately cut into precise piece

More ›