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"
> >"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                                [EMAIL PROTECTED]             
Room 2075, Red Centre          
            International prefix  +612, Interstate prefix 02

Reply via email to