A Note on Godel's Theorem
| Main Author: | J. Ulisses Ferreira |
|---|---|
| Format: | Article |
| Terbitan: |
, 2019
|
| Online Access: |
https://zenodo.org/record/3515907 |
Daftar Isi:
- This short and informal article shows that, although Godel's theorem is valid using classical logic, there exists some four-valued logical system that is able to prove that arithmetic is both sound and complete. This article also describes a four-valued Prolog in some informal, brief and intuitive manner.