A Proof for P vs. NP Problem

http://arxiv.org/abs/1005.3010

``This paper proposes a theoretic proof for P vs. NP problem. The central idea of this proof is a recursive definition for Turing machine (shortly TM). By the definition, an infinite sequence of TM is constructed and it is proved that the sequence includes all TM. Based on these TM, the class D that includes all decidable languages is defined. By proving P=D, the result P=NP is proved.''

>>2
proposes a theoretic proof
I don't have time to look but it seems like a bunch of non-rigorous quackery that will have a number of holes.