A Quantum-Inspired Mechanical Method for Proving of Ramsey’s Theorem by Symbolic Computation over the Finite Field GF(2)

会议论文
发表日期：

2025年

查看全文

Zhenbing Zeng,
Jian Lu,
Liangyu Chen

摘要

This paper presents a quantum-inspired method for proving Ramsey’s theorem using symbolic computation on conventional computers, an improvement of the classical Ramsey’s theorem, and a mechanized proof of \(R(3,4) = 9\) implemented by symbolic computation on the finite field GF(2).

This paper presents a quantum-inspired method for proving Ramsey’s theorem using symbolic computation on conventional computers, an improvement of the classical Ramsey’s theorem,&#xa0;and a mechanized proof of \(R(3,4) = 9\) implemented by symbolic computation on the finite field GF(2).

A Quantum-Inspired Mechanical Method for Proving of Ramsey’s Theorem by Symbolic Computation over the Finite Field GF(2)

摘要

This paper presents a quantum-inspired method for proving Ramsey’s theorem using symbolic computation on conventional computers, an improvement of the classical Ramsey’s theorem, and a mechanized proof of \(R(3,4) = 9\) implemented by symbolic computation on the finite field GF(2).