A DECIDABILITY THEOREM – VITALY A. FILIPPOVSKI - ATHENAEUM LIBRARY OF PHILOSOPHY


One of the Largest and Most Visited Sources of Philosophical Texts on the Internet.



A DECIDABILITY THEOREM

Vitaly A. Filippovski
Samara State Aerospace University named after academician S.P. Korolyov (SSAU) miomache@gmail.com


Vitaly A. Filippovski was born in 1985 in Samara (Russian Federation).  He sucessfully finished his course at the Philosophy Department of Samara Nayanova University in 2008, specialising in Ontology and Epistemology. In the same year he began his ongoing postgraduate study in Samara State Aerospace University named after academician S.P.Korolyov (SSAU).



Abstract. The aim of this investigation is to show that supposed assumptions in the original proof of Gödel’s First incompleteness theorem allow to infer a decidability of formulas that were asserted as undecidable in the theorem.



Click here to read the new Filippovski theorum





Back to Athenaeum Library