Authors: Colin James III
"By Gödel's completeness result, the formula (∀x.R(x,x))→(∀x∃y.R(x,y)) holds in all structures, and hence must have a natural deduction proof." We prove the formula is not tautologous, meaning it does not hold in all structures and serves as a contra-example. Hence Gödel's completeness theorem is refuted.
Comments: 1 Page. Copyright © 2018 by Colin James III All rights reserved. Note that comments on Disqus are not forwarded or read, so respond to author's email address: info@cec-services dot com.
[v1] 2018-07-09 06:47:49
Unique-IP document downloads: 57 times
You are equally welcome to be positive or negative about any paper but please be polite. If you are being critical you must mention at least one specific error, otherwise your comment will be deleted as unhelpful.