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
