Since E=mc^2 is a result of special relativity, and special relativity has been a feature of quantum mechanics since the Dirac equation, no, special relativity+QM has been spectacularly successful. GR and QM is slightly more problematic, but irrelevant to the issue.
I think the point is more that the tedium can still be documented on a medium that is ideal for large abouts of tedious stuff - the internet - and then the interesting bits can be found and talked about.
See what the UK group OpenSociety has done with www.theyworkforyou.com , like the processing of The Hansard into accessable form http://www.theyworkforyou.com/search/?pid=10068&pop=1#n4
This is a dumb and counterproductive suggestion.
Keeping your gearbox engaged as you run down a hill will keep your engine turning, meaning your car won't have to use fuel to keep it above stalling speed. Sure, go to a higher gear, but don't disengage entirely. Remember that breaking is lost energy.
Many people now use standalone modems often with a wireless connection in addition to ethernet. This means that most connections are actually permanently on and will require an IP.
Pretty much. Punishing people who fail to cooperate with the courts or mislead them deliberately need to be punish, in game theoretical terms it suddenly makes it a lot more attractive to tell the truth.
It reminds me of some study about cheating in games, and how cheating goes up a lot slower with increasing number of players if players are punished for not reporting cheating.
Also, being a Brit I get the imperssion that perjury is taken a lot more seriously here - see Jeffrey Archer and all the others who have ended up in jail, not on the original charges but on perjury charges.
Considering the point was related to the effects of such a black hole on the outskirts on the galaxy, then yes, the oddities of the gravitational field of the black hole are on a massively smaller scale and totally irrelevant.
Your point that the field isn't exactly the same is true, but pedantic and irrelevant to the discussion.
It's not really a cop out if you can actually give the statistically biasing action.
It is a bit of a cop out to just say "specialties make our sentient life possible (or much more probable)" but if you can quantify this, then it would be possible to quantify the experimental bias.
The anthropic principle is a lot more rigorous than people give it credit for.
Of course rare events are always possible, too.
The gravity from a 3 million sun black hole is no different to 3 million suns, and given that a galaxy will contain billions of such suns - no, that's not sufficient.
You can't transfer a theorem from between two different axiomatic systems without corrospondence, and whether or not they give different answers is meaningless - as they make different assumptions to start with.
Firstly, those have nothing to do with this. Godel's theorem merely proves that there exists unprovable theorems that are true.
In fact, Godel's theorem actually uses the fact that theorems can be verified in finite time - you just go line by line down the proof and check that it uses the axioms appropriately.
This is a repository of theorems that are confirmable.
I'm not entirely familiar with machine verifiable proofs, but how much effort is needed to take a proof from www.planetmath.org and bring it up to standard for something like this? Obviously it'd depend on the thoroughness of the original proof, but I imagine a fair bit would be missing anyway. Also, would you be able to choose the axioms you're using?
Presumably if Google thinks some subdomains are malicious, they actually know which ones are in fact malicious? Owing to the fact that they found them in the first place? I'm wondering if the reason they just blocked the entire domain was because some attackers are just registering lots of subdomains as a fast-flux method.
It's not just Google, MSN has been blocking my mine.nu address for ages. In order to send it to people I have to stick a space in. Unless Microsoft and Google use similar lists?
Also, I noticed this today as I tried to work out why a website hosted locally was refusing to load javascript - turns out that the file was referenced by my mine.nu address and firefox was blocking it.
Although that is true, I personally find that the Views 2 and CCK module for creating your own content types is the most important thing.
Often you find yourself with a site that is almost a blog/news type site, but in need of sticking on some extra fields or views, and both those modules make it very easy in-interface.
I've used CCK to make a system to list universities socities and clubs, list events, list sports results, list film showings (integrated with google checkout, so including fields for price, tickets available, booking closing time and all that).
It's all tremendously flexible and helps to get a very large proportion of the sites that you'd want to make. I'll acknowledge that it isn't suited if you want to do something fancier - I wrote an online college accomodation database from scratch in php - with surveys, choice lists and balloting. It might've been possible in drupal, but it would have been pushing it quite a bit.
No-one uses billion = 10^12 any more, not even the UK government, otherwise we'd still be talking about millards instead of 10^9.
Take your pedantry elsewhere
I'm waiting until either the game comes out on Steam (the only DRM I'll tolerate, since it actually ASSISTS with roaming and such) or the DRM is removed. Bullshit, I'm not going to waste however much on a game that will only be reinstalled three times - especially given how it's marketed as a sandbox that you're likely to keep returning to.
How about you play the game all the way through, and don't just complain when you get bored after the first two stages? Which, I might add, are practically tutorials and character development leading into the later levels?
I think it's more accurate to say that it is "starting", and will continue to start for a while.
These things don't just turn on, and the LHC has actually been pretty much on-target with the exception of that magnet blowing up.
That was slashcode fucking up my formatting. It was more obvious when I had line breaks.
In addition, I'm aware that making corrections to people's posts causes everyone to immediately jump on your small errors, but actually writing "itensive purposes" is just irritating.
Slashdot Mirror
Since E=mc^2 is a result of special relativity, and special relativity has been a feature of quantum mechanics since the Dirac equation, no, special relativity+QM has been spectacularly successful. GR and QM is slightly more problematic, but irrelevant to the issue.
I think the point is more that the tedium can still be documented on a medium that is ideal for large abouts of tedious stuff - the internet - and then the interesting bits can be found and talked about. See what the UK group OpenSociety has done with www.theyworkforyou.com , like the processing of The Hansard into accessable form http://www.theyworkforyou.com/search/?pid=10068&pop=1#n4
This is a dumb and counterproductive suggestion. Keeping your gearbox engaged as you run down a hill will keep your engine turning, meaning your car won't have to use fuel to keep it above stalling speed. Sure, go to a higher gear, but don't disengage entirely. Remember that breaking is lost energy.
Many people now use standalone modems often with a wireless connection in addition to ethernet. This means that most connections are actually permanently on and will require an IP.
Pretty much. Punishing people who fail to cooperate with the courts or mislead them deliberately need to be punish, in game theoretical terms it suddenly makes it a lot more attractive to tell the truth. It reminds me of some study about cheating in games, and how cheating goes up a lot slower with increasing number of players if players are punished for not reporting cheating. Also, being a Brit I get the imperssion that perjury is taken a lot more seriously here - see Jeffrey Archer and all the others who have ended up in jail, not on the original charges but on perjury charges.
Considering the point was related to the effects of such a black hole on the outskirts on the galaxy, then yes, the oddities of the gravitational field of the black hole are on a massively smaller scale and totally irrelevant. Your point that the field isn't exactly the same is true, but pedantic and irrelevant to the discussion.
It's not really a cop out if you can actually give the statistically biasing action. It is a bit of a cop out to just say "specialties make our sentient life possible (or much more probable)" but if you can quantify this, then it would be possible to quantify the experimental bias. The anthropic principle is a lot more rigorous than people give it credit for. Of course rare events are always possible, too.
The gravity from a 3 million sun black hole is no different to 3 million suns, and given that a galaxy will contain billions of such suns - no, that's not sufficient.
You can't transfer a theorem from between two different axiomatic systems without corrospondence, and whether or not they give different answers is meaningless - as they make different assumptions to start with.
There seems to be a large number of armchair philosophers in this thread and I salute you for trying to fix misconceptions!
And that's the beauty of it - it'd be impossible to vandalise because everything is checked!
Firstly, those have nothing to do with this. Godel's theorem merely proves that there exists unprovable theorems that are true. In fact, Godel's theorem actually uses the fact that theorems can be verified in finite time - you just go line by line down the proof and check that it uses the axioms appropriately. This is a repository of theorems that are confirmable.
I'm not entirely familiar with machine verifiable proofs, but how much effort is needed to take a proof from www.planetmath.org and bring it up to standard for something like this? Obviously it'd depend on the thoroughness of the original proof, but I imagine a fair bit would be missing anyway. Also, would you be able to choose the axioms you're using?
Indeed, I almost laughed out loud when I heard it - it's a piece of genius applying EM transparency research to tsunamis!
Exactly, I was only planning on buying GTA4 if it came out on Steam. Tough luck Rockstar.
Presumably if Google thinks some subdomains are malicious, they actually know which ones are in fact malicious? Owing to the fact that they found them in the first place? I'm wondering if the reason they just blocked the entire domain was because some attackers are just registering lots of subdomains as a fast-flux method.
It's not just Google, MSN has been blocking my mine.nu address for ages. In order to send it to people I have to stick a space in. Unless Microsoft and Google use similar lists? Also, I noticed this today as I tried to work out why a website hosted locally was refusing to load javascript - turns out that the file was referenced by my mine.nu address and firefox was blocking it.
It also seems really fucking loud. I'm sure that's going to be nice for the students with rooms opposite.
And for some reason, slashcode has removed all my linebreaks...
Although that is true, I personally find that the Views 2 and CCK module for creating your own content types is the most important thing. Often you find yourself with a site that is almost a blog/news type site, but in need of sticking on some extra fields or views, and both those modules make it very easy in-interface. I've used CCK to make a system to list universities socities and clubs, list events, list sports results, list film showings (integrated with google checkout, so including fields for price, tickets available, booking closing time and all that). It's all tremendously flexible and helps to get a very large proportion of the sites that you'd want to make. I'll acknowledge that it isn't suited if you want to do something fancier - I wrote an online college accomodation database from scratch in php - with surveys, choice lists and balloting. It might've been possible in drupal, but it would have been pushing it quite a bit.
No-one uses billion = 10^12 any more, not even the UK government, otherwise we'd still be talking about millards instead of 10^9. Take your pedantry elsewhere
I'm waiting until either the game comes out on Steam (the only DRM I'll tolerate, since it actually ASSISTS with roaming and such) or the DRM is removed. Bullshit, I'm not going to waste however much on a game that will only be reinstalled three times - especially given how it's marketed as a sandbox that you're likely to keep returning to.
How about you play the game all the way through, and don't just complain when you get bored after the first two stages? Which, I might add, are practically tutorials and character development leading into the later levels?
I think it's more accurate to say that it is "starting", and will continue to start for a while. These things don't just turn on, and the LHC has actually been pretty much on-target with the exception of that magnet blowing up.
That was slashcode fucking up my formatting. It was more obvious when I had line breaks. In addition, I'm aware that making corrections to people's posts causes everyone to immediately jump on your small errors, but actually writing "itensive purposes" is just irritating.