Toasted Dolphin

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,...

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...

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...

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...