Sökning: "Peter Schroeder-Heister"

Hittade 1 avhandling innehållade orden Peter Schroeder-Heister.

1. 1. Identity of proofs

   Författare :Filip Widebäck; Peter Schroeder-Heister; Stockholms universitet; []
   Nyckelord :Theoretical Philosophy; teoretisk filosofi;

   Sammanfattning : In the early seventies it was conjectured that a certain mathematically well-defined equivalence relation (bh-equivalence) on proofs in natural deduction captures the informal notion of identity of proofs. The conjecture can be divided into two parts, a soundness part and a completeness part. LÄS MER