Getting to know A New kind of Science...

Although LabVIEW is my tool of choice, I occasionally use others too.

Currently, my curiosity is aroused by Mathematica after knowing it being used in Wolfram Alpha.
Reading the book on new science online (obviously can't wait till Amazon ships a copy to me in India) and am fascinated by what it says on Logic!

I'm overwhelmed with thousands of queries, so decided to fire one question right away to Dr. Stephen Wolfram.

Yes, correct. I'm not kidding. All questions from users of crazy engineers are answered here: http://www.crazyengineers.com/dr-stephen-wolfram-wolframalpha-mathematica-a-new-kind-of-science/

My question: Are the new rules of logic upon which computation can be based, radically different from conventional logic? Alternatively, is it an extension of conventional logic + something else?

Dr Wolfram's answer: Computation is ultimately about following rules—of any kind. Traditional logic represents just one class of rules. There are lots of others that can be used. One of the surprising discoveries from NKS is just how easy it is to find rules that can support universal computation. And that’s important if one wants to base computation on elements like molecules. About logic itself: I wondered just how special the axiom system of logic that we use is. One can enumerate the whole space of possible axiom systems, and then one finds that logic is about the 50,000 system one encounters. There’s really nothing special about it, except the role it plays in human intellectual history.