In this paper, we show how the framework of von Neumann algebras can be applied to model the dynamics of computational processes. Namely, our aim is to gain an understanding of classical computation in terms of the hyperfinite II1 factor, starting from the class of Kalmar recursive functions. Our model fits within a vast pro ject of reshaping the unified theory of semantics of computation called geometry of interaction along the lines recently sketched by J.-Y. Girard.

An application of von Neumann Algebras to computational complexity

PIAZZA, Mario;
2010-01-01

Abstract

In this paper, we show how the framework of von Neumann algebras can be applied to model the dynamics of computational processes. Namely, our aim is to gain an understanding of classical computation in terms of the hyperfinite II1 factor, starting from the class of Kalmar recursive functions. Our model fits within a vast pro ject of reshaping the unified theory of semantics of computation called geometry of interaction along the lines recently sketched by J.-Y. Girard.
2010
9781848900035
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11564/231217
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact