The Chaos Theory Of Heart Attacks

The Chaos Theory Of Heart Attacks

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…
Collatz sequences

Collatz sequences

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…
Topological identicalness of computer programs

Topological identicalness of computer programs

(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…
Halting problem solver on 1D cellular automata

Halting problem solver on 1D cellular automata

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…
Cellular Automata based halting checker

Cellular Automata based halting checker

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…
There shouldn't be a massive Higgs Boson

There shouldn't be a massive Higgs Boson

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…