Search for dissertations about: "intuitionism"
Found 1 swedish dissertation containing the word intuitionism.
University dissertation from Uppsala : Universitetsbiblioteket
Abstract : Three topics, namely, computer science, philosophical logic, and mathematics, meet in intuitionistic type theory, which thus simultaneously is a programming language, a philosophy of language, and a foundation of mathematics. The present thesis compares, relates, and equates two concepts, one from philosophical logic and one from computer science, viz. READ MORE