A note on incomplete theory

Abstract

In the paper it is demonstrated that Bell's theorem is unproveable.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Incompleteness and undecidability.Peter Smith - unknown
A note on the first incompleteness theorem.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (2):214-216.
Comments to neutrosophy.Carlos Gershenson - unknown
Torkel Franzén, Gödel's Theorem: An Incomplete Guide to its Use and Abuse. [REVIEW]R. Zach - 2005 - History and Philosophy of Logic 26 (4):369-371.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
The Semantic Theory of Truth: Field’s Incompleteness Objection.Glen A. Hoffmann - 2007 - Philosophia 35 (2):161-170.
The Surprise Examination Paradox and the Second Incompleteness Theorem.Shira Kritchman & Ran Raz - unknown
The first incompleteness theorem.Peter Smith - unknown
Expressive power and semantic completeness: Boolean connectives in modal logic.I. L. Humberstone - 1990 - Studia Logica 49 (2):197 - 214.
On Incompleteness in Modal Logic. An Account Through Second-Order Logic.Mircea Dumitru - 1998 - Dissertation, Tulane University
Godel's theorem: A proof from the book?Peter Smith - unknown
Incompleteness and the romance with science.Dr Marvin Kirsh - 2007
A Note On Interaction And Incompleteness.Damjan Bojadžiev - 2003 - Logic Journal of the IGPL 11 (5):513-523.
What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript
The incompleteness of dispositional predicates.Sungho Choi - 2008 - Synthese 163 (2):157 - 174.

Analytics

Added to PP
2018-05-31

Downloads
213 (#91,375)

6 months
57 (#74,893)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.
The intermediate value theorem in constructive mathematics without choice.Matthew Hendtlass - 2012 - Annals of Pure and Applied Logic 163 (8):1050-1056.

Add more references