Nicely put. But there are some problems with this mapping to Godel that occur to me: Firstly, in the first incompleteness theorem, the identity of the formal system of the proof with the system of the theorem is assumed, while in this application, Godel does not seem to apply, because the system of the proof (Isabelle) is a meta-language to the system of the theorem (Haskell). Because the languages are not the same, there is no way to diagonalize the theorems, as in in Godel's construction, so it is not in any way obvious how to recover the result in this case.
It may be; I'm no expert. But if you are refering to the omega-incompleteness of Peano arithmetic, that only shows that for a certain class of complexity (that required to do Peano arithmetic) there exist some true theorems of that system which have no proof in the system. In fact, those true but unprovable theorems are about transfinite numbers. Various generalizations of this fact are often bandied about, but most of them are unproven.
Are you kidding? Then how could you hand out tax breaks to insure lots of big "campaign" contributions? Why a tax system like that could lead to fairness, or... worse... democracy!
If they work in Europe their productivity gets cut in half. Far, far better for everyone involved (the families, the home states, the hiring states, &c) if you just contract offshore.
I don't see how DoD is a sacred cow of conservatives. It's certainly no more favored by Republicans than by Democrats. Boeing, Lockheed, et al, hail from deep-dyed blue states, and the fact is they buy the Senators. That's why the DoD can announce that it has "misplaced" 5 trillion dollars, and get rewarded for doing so. '(And they do like the free private air taxi service provided to Senators and Representatives by the Air Force too.)
Unless you take a contract where you get paid by the day. I am on one. I advise against it, unless you get paid as much as I do. Never, ever take less than US 1k per diem.
Have you not been paying attention? Dr. Hope and Change has perpetuated many of the worst abuses of the Bush dynasty, and one-upped them by enslaving generations to feed the coffers of international banking interests.
I live in a small town in Minnesota, and pull down $300k/year working for a midtown Manhattan firm. I have to go to New York 1 week each month, but I actually enjoy that.
> not without raising suspicions from the guys making the duplicate keys
So I lived in Manhattan for a while, and all the walk-ups had these Israeli keys which are designed to be uber hard to copy, and stamped do not duplicate all over. Whenever I wanted a copy, I'd go to a locksmith--there's one on every other block, usually Israeli immigrants--and they would ask me for the "card" because, so they would say, "I can't duplicate it without the card". I would say "I don't have a card", and then they would duplicate it for me. It cost $15.00 to duplicate the Mul-T or whatever they were called with the side indents and the little floating magnet in the blank.
You forget, it is the pencil pushing beaurocrats who decide who are the best people. And they have decided that pencil pushing beaurocrats are the best people.
Just wait until there is offered for sale on the internet a device which will automatically detect, and kill, any RFID-equipped federal agent walking near it.
MMs have been manipulating share prices massively every third Friday of the month since the mid-90s, at least, and the feds do nothing. I will not jump to cry "corruption", however: Incompetence is equally likely in this case.
The 21 bn was lost by others, but as a result of algo trading, that amount lost was much smaller than it would have been otherwise. Algo trading is competition between market-makers over an ever decreasing spread between the bid and ask prices. If it were not for algo trading, that 21 bn paid by investors, funds, brokerages would have been larger. This is cut-throat competition between the market-makers, and it is good for everyone else when they fight with increasing fervor over an ever-smaller slice of pie.
Slashdot Mirror
Oh, you mean like George Bush or Janet Reno.
Talk to the guru.
Wrong conclusion that. Right conclusion: Automating this shite is a hella business op.
Nicely put. But there are some problems with this mapping to Godel that occur to me: Firstly, in the first incompleteness theorem, the identity of the formal system of the proof with the system of the theorem is assumed, while in this application, Godel does not seem to apply, because the system of the proof (Isabelle) is a meta-language to the system of the theorem (Haskell). Because the languages are not the same, there is no way to diagonalize the theorems, as in in Godel's construction, so it is not in any way obvious how to recover the result in this case.
It may be; I'm no expert. But if you are refering to the omega-incompleteness of Peano arithmetic, that only shows that for a certain class of complexity (that required to do Peano arithmetic) there exist some true theorems of that system which have no proof in the system. In fact, those true but unprovable theorems are about transfinite numbers. Various generalizations of this fact are often bandied about, but most of them are unproven.
Are you kidding? Then how could you hand out tax breaks to insure lots of big "campaign" contributions? Why a tax system like that could lead to fairness, or ... worse ... democracy!
If they work in Europe their productivity gets cut in half. Far, far better for everyone involved (the families, the home states, the hiring states, &c) if you just contract offshore.
I don't see how DoD is a sacred cow of conservatives. It's certainly no more favored by Republicans than by Democrats. Boeing, Lockheed, et al, hail from deep-dyed blue states, and the fact is they buy the Senators. That's why the DoD can announce that it has "misplaced" 5 trillion dollars, and get rewarded for doing so. '(And they do like the free private air taxi service provided to Senators and Representatives by the Air Force too.)
Unless you take a contract where you get paid by the day. I am on one. I advise against it, unless you get paid as much as I do. Never, ever take less than US 1k per diem.
Hey, if they gave us the same healthcare deal they got, everyone would be cool with it.
Likewise, if we too got private jets.
Have you not been paying attention? Dr. Hope and Change has perpetuated many of the worst abuses of the Bush dynasty, and one-upped them by enslaving generations to feed the coffers of international banking interests.
Is this, and the other manager-loathing screeds here just a measure of your own collective self distrust?
s/distrust/experience/
If you were a manager, would you shed your character and cease to ever go to bat for a member of your team?
Science says: Yes.
But if you go through life treating everyone in a management position as a thief and a cheat, you may create a self fulfilling prophesy.
That would be redundant.
Says a manager who has:[done wonderful and admirable things]. We're not all compulsively evil.
That's superb. But it's anecdotal.
I live in a small town in Minnesota, and pull down $300k/year working for a midtown Manhattan firm. I have to go to New York 1 week each month, but I actually enjoy that.
Preventing competitors from entering a market is unfair competition, and it is a criminal act.
> do we have picture of the federal agents that were there ? Is this not supposed to be a criminal offense ?
that depends on who is doing the supposing.
> not without raising suspicions from the guys making the duplicate keys
So I lived in Manhattan for a while, and all the walk-ups had these Israeli keys which are designed to be uber hard to copy, and stamped do not duplicate all over. Whenever I wanted a copy, I'd go to a locksmith--there's one on every other block, usually Israeli immigrants--and they would ask me for the "card" because, so they would say, "I can't duplicate it without the card". I would say "I don't have a card", and then they would duplicate it for me. It cost $15.00 to duplicate the Mul-T or whatever they were called with the side indents and the little floating magnet in the blank.
or which federal agency you work for
You forget, it is the pencil pushing beaurocrats who decide who are the best people. And they have decided that pencil pushing beaurocrats are the best people.
Actually it's because the same rules apply to them as apply to the rest of us.
Ha ha ha ha. Very funny.
Just wait until there is offered for sale on the internet a device which will automatically detect, and kill, any RFID-equipped federal agent walking near it.
The proper thing to do is to put your algo in silicon and put it on a card in a slot on the bus of the exchange's server.
It is a level playing field. The market is free, as in freedom, not free as in beer. Anyone who can pay the fee can link up to the exchange.
MMs have been manipulating share prices massively every third Friday of the month since the mid-90s, at least, and the feds do nothing. I will not jump to cry "corruption", however: Incompetence is equally likely in this case.
When Goldman takes orders from investors and funds and simultaneously makes market in the same securities, then it is front-running.
The 21 bn was lost by others, but as a result of algo trading, that amount lost was much smaller than it would have been otherwise. Algo trading is competition between market-makers over an ever decreasing spread between the bid and ask prices. If it were not for algo trading, that 21 bn paid by investors, funds, brokerages would have been larger. This is cut-throat competition between the market-makers, and it is good for everyone else when they fight with increasing fervor over an ever-smaller slice of pie.