An introduction to the category of chance

Contributo in Atti di convegno
Data di Pubblicazione:
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
proof theory; topos theory; reasoning under uncertainty
Elenco autori:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/76878