Mathematics

As a resident of the Elysian Fields that is the Twin Cities, I have been deluged by the Favreian Circus descending upon our fair binary metro area, and I. Am. So. Over. It. The bacchanal over Number…

Vinay Deolalikar from HP Labs claims proof of Millenium Prize problem P=NP, and (potential) $1M prize (pending peer review)! This deceptively simple little bugger (think e=mc^2) has, until now,…

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…