Recent content by porton

Please check for errors my proof of P=NP: PDF file It is based on set theory and logic (incompleteness of ZFC). It uses also inversions of bijections, algorithms as arguments of other algorithms, reduction of SAT to another NP problem. [Moderator's note: link removed.]

I've found an error myself: In the linked article [Unacceptable reference redacted by the Mentors] I describe the error in bold font. The linked article nevertheless had another valid very interesting result that replaces the paradigm that mathematics is theorem proving by another paradigm...

I found an interesting math result ("halting problem is essentially solvable") yesterday, but now I see a contradiction (it follows "halting problem is solvable"). Participate in finding my error. Here is my short yesterday article (with links to other yesterday articles): [Unacceptable...

I read somewhere in Quanta magazine that (if I understood correctly): When A and B watch C, then C in A's reality may be different than C in B's reality (as B is seen by A?) What if A and B watch each other? We could make chain: A in A's reality, B in A's reality, A in B's reality in A's...

Existence of an universal problem solver, a polynomial-time NP-complete algorithm is a $1000000 prize question. But suppose that we were able to know something "simple", e.g. an electron state or electron wave function exactly. Would we be able to solve complex mathematical problems (like...