Check my P=NP proof for errors (based on incompleteness of ZFC)

  • Thread starter porton
  • Start date
  • Tags
    Proof
In summary, the discussion revolves around a proposed proof regarding the P versus NP problem, asserting its correctness by utilizing concepts from the incompleteness of Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC). The author invites scrutiny and feedback on the proof, emphasizing the significance of foundational mathematical principles and their implications for computational complexity. The conversation reflects the ongoing intrigue and challenges surrounding one of computer science's most critical open questions.
  • #1
porton
5
0
TL;DR Summary
Check my P=NP proof for errors.
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.]
 
Last edited by a moderator:
Technology news on Phys.org
  • #2
porton said:
TL;DR Summary: Check my P=NP proof for errors.

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.
Sorry, I'm afraid we do not debunk or proofread unpublished work here. A discussion requires publication in a serious science journal.

However, this problem is so old that it is extremely unlikely that you have achieved where hundreds of scientists have failed.

This thread is closed. For interested readers about the problem, see
https://www.physicsforums.com/insights/p-vs-np-conjecture-calculations-and-meaning/
 
  • Like
Likes berkeman
  • #3
A bit of advice for the lucky one who actually will solve this problem. If it would be ##P=NP## which I seriously doubt, then do not publish it! Deduce a polynomial traveling salesman algorithm instead, secure your copyright, and sell it to the thousands of traffic companies in the world that run trucks, container ships, or airplanes.
 

FAQ: Check my P=NP proof for errors (based on incompleteness of ZFC)

Is it possible to prove P=NP based on the incompleteness of ZFC?

It is currently unknown whether P=NP can be proven based on the incompleteness of ZFC. The P=NP problem is a major open question in computer science and mathematics, and no definitive proof has been found yet.

What are the implications if P=NP could be proven using the incompleteness of ZFC?

If P=NP could be proven using the incompleteness of ZFC, it would have significant implications for the field of theoretical computer science. It could potentially lead to breakthroughs in areas such as cryptography, optimization, and artificial intelligence.

How would one go about checking a proof for errors based on the incompleteness of ZFC?

Checking a proof for errors based on the incompleteness of ZFC would involve carefully examining the logical steps and assumptions made in the proof. This would likely require expertise in mathematical logic and set theory.

Are there any known attempts to prove P=NP based on the incompleteness of ZFC?

There have been various attempts to prove P=NP based on the incompleteness of ZFC, but none have been successful so far. The P=NP problem remains one of the most challenging and unsolved problems in theoretical computer science.

What are the potential challenges in proving P=NP based on the incompleteness of ZFC?

Proving P=NP based on the incompleteness of ZFC would likely face challenges related to the complexity of the problem itself, as well as the limitations of current mathematical and logical frameworks. It would require innovative approaches and new insights to overcome these challenges.

Back
Top