Undecidable Theories

Undecidable Theories

4.11 - 1251 ratings - Source

A precise statement of this problem involves some difiiculties if one considers theories of a quite arbitrary character. ... Let T be any essentially undecidable and finitely axiomatizable theory; e.g., we take Q or S for T. Given a sentence Q5 of T, anbsp;...

Title:Undecidable Theories
Author:Alfred Tarski, Andrzej Mostowski, Raphael Mitchel Robinson
Publisher:Elsevier - 1953


You Must CONTINUE and create a free account to access unlimited downloads & streaming