Why do you say that? How did a human come up with the theory?
You've just asked the ultimate question of cybernetics: "What is consciousness?".
Of course, I can't answer this question:)
We don't know of any such algorithm. I think it's likely such an algorithm can't exist, but that doesn't mean that we won't find an algorithm that's general enough to be better than humans.
No, it was proven that the set of true predicates (expressions) in every incomplete theory is uncountable. So no general algorithm can exist.
Of course, less general algorithms exist (semantic tables reductions, predicate expansions, etc.), but they are nearly useless, because they require gigantic amount of computer time to produce a proof to a hard problem.
Yet we can prove that CH is _unprovable_ in ZFC, and this proof requires a whole new theory (theory of "forcing"). And it's impossible to automate the search for a new theory.
Also, there is no general agorithm for proof searching: we can't just enumerate all true predicates in a given and we can't (generaly) determine if two predicates are equal.
So computer is nowhere close to substitute a human.
Well, Economist should learn some REAL math. The first thing they should learn is math logic.
It has been PROVEN (and it's a well-known fact) that it's impossible to create a Turing machine which will determine if a given expression is true or false (see Incompleteness theorem for details).
For example, it's impossible to find answer to CH (continuum hypotesis) in ZFC (Zermelo-Fraenkel + Choice axiomatics).
In short: some problems can't be solved in existing theories, they require creating a new theories with new axioms. It's non-formalizable process (it's also proven), so no computer can do this.
Where is a 'broadcast license' in Russia: radio stations pay a small fee to ROMS (noncommercial organisation) every time a song is broadcasted, ROMS then distributes money to the performers. There was a court decision in Russia that each song download is equal to its broadcasting. Ringtones for cell phones may also be covered by this license.
First of all, Russia was never a fascist country. It was totalitarian, but never a fascist.
Current situation is quite an interesting one. Putin has done more liberal reforms in economic, than Eltsin did during his second term, but political situation is getting more and more like in USSR.
It's all very complex for me to explain it in a short message:)
Keywords are: "most advanced C++ parser released as open source" and "The quality and speed of the parser beats most commercial solutions out there, which makes us pretty proud".
KDevelop's autocomplete is better than in other OpenSource IDEs but it's still far behind VisualAssist (yes, I did check it).
I don't care about user friendy interface, nice drop-down lists, etc. I need functionality.
For example, VAssist correctly understands smart pointers, template parameters, partial template specialization and functors. No other tool can do it (yes, I did look at VIM and emacs).
It's possible to analyze random distribution of noise (Fourier transformation is a basic method), so presence of encrypted content will be fairly easy to detect.
Decrypting hidden message is, of course, another task.
Slashdot Mirror
It's an open question if a human brain can be simulated by Turing machine.
Why do you say that? How did a human come up with the theory?
:)
You've just asked the ultimate question of cybernetics: "What is consciousness?".
Of course, I can't answer this question
We don't know of any such algorithm. I think it's likely such an algorithm can't exist, but that doesn't mean that we won't find an algorithm that's general enough to be better than humans. No, it was proven that the set of true predicates (expressions) in every incomplete theory is uncountable. So no general algorithm can exist.
Of course, less general algorithms exist (semantic tables reductions, predicate expansions, etc.), but they are nearly useless, because they require gigantic amount of computer time to produce a proof to a hard problem.
Yet we can prove that CH is _unprovable_ in ZFC, and this proof requires a whole new theory (theory of "forcing"). And it's impossible to automate the search for a new theory.
Also, there is no general agorithm for proof searching: we can't just enumerate all true predicates in a given and we can't (generaly) determine if two predicates are equal.
So computer is nowhere close to substitute a human.
Well, Economist should learn some REAL math. The first thing they should learn is math logic.
It has been PROVEN (and it's a well-known fact) that it's impossible to create a Turing machine which will determine if a given expression is true or false (see Incompleteness theorem for details).
For example, it's impossible to find answer to CH (continuum hypotesis) in ZFC (Zermelo-Fraenkel + Choice axiomatics).
In short: some problems can't be solved in existing theories, they require creating a new theories with new axioms. It's non-formalizable process (it's also proven), so no computer can do this.
Yes, and it's EASY to make a mess of tabs and spaces in Python. Aaaaaand now the best part: it won't work .
Maybe we should start stories about what Google might NOT be looking to do?
I think punch cards suit this definition. They are machine readable and were used as customarily interchange medium 30 years ago.
You might not have a time to do it. That's the problem.
I advise you to read "Better, Faster, Lighter Java" by Bruce Tate for a list of current best practices.
It's a collection of Java Best Practices rewritten in a 'cool' geeky language. Nothing new....
I agree, it's too hot.
:)
It's -25C outside right now (in ex-Soviet Russia)
Online transactions are much easier to track down to a criminal, compared to a good old cash :)
And now a thief doesn't have to guess PINs. It will be enough just to steal a card!
Yes, there is a such loophole in Russian laws.
Where is a 'broadcast license' in Russia: radio stations pay a small fee to ROMS (noncommercial organisation) every time a song is broadcasted, ROMS then distributes money to the performers. There was a court decision in Russia that each song download is equal to its broadcasting. Ringtones for cell phones may also be covered by this license.
First of all, Russia was never a fascist country. It was totalitarian, but never a fascist.
:)
Current situation is quite an interesting one. Putin has done more liberal reforms in economic, than Eltsin did during his second term, but political situation is getting more and more like in USSR.
It's all very complex for me to explain it in a short message
Be careful with your words.
You don't live in Russia (I do). And from my point of view its America who is becoming a fascist country.
I've never seen a Russian site using IDN (I live in Russia).
:) ).
Though I have seen one Japanese site with IDN before (can't remember its URL though, hieroglyphs drive me crazy
Keywords are: "most advanced C++ parser released as open source" and "The quality and speed of the parser beats most commercial solutions out there, which makes us pretty proud".
KDevelop's autocomplete is better than in other OpenSource IDEs but it's still far behind VisualAssist (yes, I did check it).
You don't really need to handle all C++ language constructs, you just need to handle MOST of them :)
No, it doesn't.
Anjuta does have some autocomplete for C, but it is nowhere close to VisualAssist support for C++.
Yes, I understand.
But adding correct C++ autocomplete is a HUGE task, I can't do it alone in any reasonable time.
I don't care about user friendy interface, nice drop-down lists, etc. I need functionality.
For example, VAssist correctly understands smart pointers, template parameters, partial template specialization and functors. No other tool can do it (yes, I did look at VIM and emacs).
When will we see C++ autocomplete support in free tools at least equal to Visual Assist?
It's possible to analyze random distribution of noise (Fourier transformation is a basic method), so presence of encrypted content will be fairly easy to detect.
Decrypting hidden message is, of course, another task.
Well, only 3 Russians died during a real space mission: Soyuz 11, but shuttles have a pretty large death-toll: Challenger, Space Shuttle...
Old Soviet rockets are pretty reliable and cheap, mostly because they are quite simple in comparision with overcomplicated shuttles.