Stephen Wolfram has spent his life to date -- and will likely continue to do so -- developing amazing new computational technologies to empower scientists and academics to more efficiently and…

Chaos is the disorder of a dynamical system but it is not completely unpredictable.   Researchers are convinced that locating the origin of chaos and watching it develop might allow science to…

I am playing with Coq and Isabelle now :) Formalizing the following: fun p(a) = if (p(a) % 2 = 0) then (p(a div 2)) else (a).The greatest divisor of a, which is power of two = p(a). I want to show…

It really isn't necessary for me to have an opinion on any topic at hand - it's so much easier to consult the latest poll to know how my fellow humans feel about an issue (and by extension, how I…

How does a former math teacher in Texas keep winning the lottery?  Joan Ginther has hit four Texas Lottery jackpots and raked in $21 million since 1993 ($5.5 million, half of the Texas Lottery…

(updated - more formal, removed some parts and improved general clarity) Over years, I come again and again back to Halting Problem and it's unsolvability ..now I have created a system, which is…

Let's say we have 1D cellular automata, bounded at beginning. The following is solution for halting problem - mathematically unproven, somewhat open here and there, but basically very near to what I…

The following is based on my idea that there are two main problems related to halting problem: That you can not check if program does not halt. You can always check if it does. That the finite state…

Consistent with the Standard Model of particle physics, there is postulated a Higgs field which determines those particles which are massive and those which are not. Photons are massless. Gluons also…

In team sports it is often difficult to determine the value of an individual.   Some sports can do it easily enough, like baseball(1) or basketball, but during the World Cup, casual fans who…