2018/05/07 by Tianheng Tsui, Tsui, Tianheng
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Rough Sets and Fuzzy Logic
paper · pdf · doi:10.48550/arxiv.1805.02795
openalex publication_date 2018/05/07 · openalex created_date 2022/08/29 · openalex updated_date 2026/07/28
A new viewpoint of the G "odel's incompleteness theorem be given in this\narticle which reveals the deep relationship between the logic and computation.\nUpon the results of these studies, an algorithm be given which shows how to\nsearch a proof of statement in first order logic from finite concrete examples,\nand an approach be proposed to improve searching mathematical proof by neural\nnetwork.\n