The undecidable: proofs and construction
Date
3-1995
Degree
Bachelor of Science in Applied Mathematics
College
College of Arts and Sciences (CAS)
Adviser/Committee Chair
Edgar E. Escultura
Abstract
The main purpose of this paper is to device a method of verifying the truth of undecidable propositions. Undecidable statements will be defined; undecidability of statements will be proved; the formal system will be analyzed; and symbolic logic will be upgraded to be able to discriminate undecidable propositions.
Language
English
Location
UPLB Main Library Special Collections Section (USCS)
Recommended Citation
Olid, Anna Lea L., "The undecidable: proofs and construction" (1995). Undergraduate Theses. 10038.
https://www.ukdr.uplb.edu.ph/etd-undergrad/10038
Document Type
Thesis