Publication Date:
2008
abstract:
Using category theory a mathematical analysis of chance is presented. Laws of chance are defined as properties that are time and uncertainty invariants. It is shown that proofs, interpreted into sets of observables, are laws of chance.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
proof theory; topos theory; reasoning under uncertainty
List of contributors: