Christof and Juergen are brothers, aren't they?
Marchal wrote:
>
> 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
>
>
----------------------------------------------------------------------------
Dr. Russell Standish Director
High Performance Computing Support Unit, Phone 9385 6967, 8308 3119 (mobile)
UNSW SYDNEY 2052 Fax 9385 6965, 0425 253119 (")
Australia R.Standish.domain.name.hidden
Room 2075, Red Centre
http://parallel.hpc.unsw.edu.au/rks
International prefix +612, Interstate prefix 02
----------------------------------------------------------------------------
Received on Wed Jun 27 2001 - 17:49:35 PDT