Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'g3m54m38cerakmiivmipvdq5f4' in /var/www/church/includes/database.mysql.inc on line 121
Elementary Complexity into the Hyperfinite II1 Factor | Gruppo di Logica e Geometria della Cognizione

Elementary Complexity into the Hyperfinite II1 Factor

2007

Marco Pedicini, Mario Piazza

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 factor, starting from the class of Kalmar recursive functions. Our model fits within a vast project of reshaping the unified theory of semantics of computation called geometry of interaction along the lines recently sketched by J.Y. Girard.

Download: pedicini2.pdf

BibTeX


Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'g3m54m38cerakmiivmipvdq5f4' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/134', '', '216.73.216.58', 1751604566) in /var/www/church/includes/database.mysql.inc on line 121

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: INSERT INTO sessions (sid, uid, cache, hostname, session, timestamp) VALUES ('g3m54m38cerakmiivmipvdq5f4', 0, 0, '216.73.216.58', '', 1751604566) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/134', '', '216.73.216.58', 1751604566) in /var/www/church/includes/database.mysql.inc on line 121