Sharif Digital Repository

The thesis opens with a discussion of the distinction between some of the classical and the constructive notions in mathematical analysis. There then follows a description of the three main varieties of modern constructive mathematics: Bishop’s constructive mathematics, the recursive constructive mathematics of the Russian School, and Brouwer’s intuitionistic mathematics. The main purpose of the thesis is to prove the independence, relative to Bishop’s constructive mathematics, of each of the following statements:There exists a bounded, point-wise continuous map of [0, 1] into R that is not Lebesgue measurable.If µis a positive measure on a locally compact space, then every real-valued map... 

Compliance and Conformance are foundations for many applications and technical issues in computing, cybernetics and software engineering. The omnipresent requirement for compliance checking and solving of a system against another system is an essential need in many domains and areas. There are necessary and ever increasing applications and usefulness of compliance solving in modern paradigms of computing, such as cloud and distributed computing, natural computing, complex systems verification, normative systems planning and complex problems solving. Many research fields such as Quality assurance, safety and security, system and software evaluation, system and software architecture and...