- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Marchal <marchal.domain.name.hidden>

Date: Wed Jun 27 06:31:19 2001

Serafino Cerulli-Irelli (scerir) wrote:

*>Christof Schmidhuber wrote an interesting paper, along that path:
*

*>"Strings from Logic" http://arxiv.org/abs/hep-th/0011065
*

*>"What are strings made of? The possibility is discussed that strings
*

*>are purely mathematical objects, made of logical axioms. More precisely,
*

*>proofs in simple logical calculi are represented by graphs that can be
*

*>interpreted as the Feynman diagrams of certain large-N field theories.
*

*>Each vertex represents an axiom. Strings arise, because these l
*

*>arge-N theories are dual to string theories. These ``logical quantum
*

*>field theories'' map theorems into the space of functions of two parameters:
*

*>N and the coupling constant. Undecidable theorems might be related to
*

*>nonperturbative field theory effects."
*

Thanks for this interesting reference. It seems more readable than

other papers by Christof Schmidhuber.

Bruno

Received on Wed Jun 27 2001 - 06:31:19 PDT

Date: Wed Jun 27 06:31:19 2001

Serafino Cerulli-Irelli (scerir) wrote:

Thanks for this interesting reference. It seems more readable than

other papers by Christof Schmidhuber.

Bruno

Received on Wed Jun 27 2001 - 06:31:19 PDT

*
This archive was generated by hypermail 2.3.0
: Fri Feb 16 2018 - 13:20:07 PST
*