Search found 17514 matches
- Sat Apr 02, 2011 3:51 pm
- Forum: Security and Privacy
- Topic: Stuxnet Worm
- Replies: 43
- Views: 8136
Re: Stuxnet Worm
From the Scare senators link... Stuxnet, the first known weaponized software designed to destroy a specific industrial process, could soon be modified to target an array of industrial systems in the US and abroad, cyber experts told US senators Wednesday. The Stuxnet malware, discovered this summer,...
- Sat Apr 02, 2011 3:50 pm
- Forum: Security and Privacy
- Topic: Stuxnet Worm
- Replies: 43
- Views: 8136
Stuxnet Worm
A lot of info and comments about the Stuxnet worm can be found at these links. Excepts here. It is targeting certain Programmable Logic Controllers used in process control in plants, etc. Who is behind it? Another piece of the puzzle: New research, published late last week, has established that Stux...
- Fri Apr 01, 2011 3:11 am
- Forum: Mathematics and Cryptology
- Topic: Godel Incompleteness Theorum
- Replies: 21
- Views: 6040
Re: Godel Incompleteness Theorum
World's shortest explanation of Gödel's theorem We have some sort of machine that prints out statements in some sort of language. It needn't be a statement-printing machine exactly; it could be some sort of technique for taking statements and deciding if they are true. But let's think of it as a ma...
- Fri Apr 01, 2011 2:21 am
- Forum: Mathematics and Cryptology
- Topic: Godel Incompleteness Theorum
- Replies: 21
- Views: 6040
Godel Incompleteness Theorum
The Godel Incompleteness Theorem In 1931 and while still in Vienna, Gödel published his incompleteness theorems in "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme" (called in English "On Formally Undecidable Propositions of Principia Mathematica an...