Sökning: "intuitionism"

Hittade 1 avhandling innehållade ordet intuitionism.

1. 1. Reference and Computation in Intuitionistic Type Theory

   Författare :Johan G Granström; Erik Palmgren; Per Martin-Löf; Peter Dybjer; Uppsala universitet; []
   Nyckelord :mathematical logic; intuitionism; type theory; foundations of mathematics;

   Sammanfattning : 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. LÄS MER