this paper reviews the elegy themes of imam hussein (as) in the epic of ‘eid ghadir’ composed by christian poet boolos salama, and begins with the introduction of the ashura literature and especially poetry surrounding imam hussein. this article talks about the laborious life of poet and his compilations especially his great islamic epic, which is famous in the field of literature, and also tal...

We examine Boolos’ curious inference and formalize it in a system based on set theory (Mizar) and a system based on classical higherorder logic (OMEGA). The Boolos example is interesting because while it can in principle be proven using a complete first-order calculus, it is impractical to do so. In our case study we are interested in aspects such as how natural and at what level of granularity...

We examine Boolos’ curious inference and formalize it in a system based on set theory (Mizar) and a system based on classical higher-order logic (OMEGA). The Boolos example is interesting because while it can in principle be proven using a complete first-order calculus, it is impractical to do so. In our case study we are interested in aspects such as how natural and at what level of granularit...

porary restorative systems has enabled restorative teams to deliver significantly improved aesthetic restorations. These technological advances have enhanced the clinician’s ability to optimize the aesthetic display of discolored, malaligned, or deficient tooth structure in an otherwise harmonious and intact periodontium. In the presence of anterior hard and soft tissue deformities, however, th...

The proofs of Chaitin and Boolos for Gödel’s Incompleteness Theorem are studied from the perspectives of constructibility and Rosserizability. By Rosserization of a proof we mean that the independence of the true but unprovable sentence can be shown by assuming only the (simple) consistency of the theory. It is known that Gödel’s own proof for his incompleteness theorem is not Rosserizable, and...