> >Von Weizsaecker said, long time ago, that
> >"Nature is earlier than man.
> >But man is earlier than natural science".
and Bruno wrote:
> Of course "natural science" is an ambiguous experience.
> I suppose you mean "Human Natural Science".
Yes. I think so.
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."
> God's treatise on General Possible Science belongs to Babel Library in
> Plato Heaven, out of time. Math makes possible (for relative
> UTMs) to glimpse a little bit of those atemporal realities.
> Note that the devil's treatise belong in Babel too, btw.
> Note also that no glimpse can be enough deep for making
> possible for a UTM to distinguish those treatise with *complete*
> confidence ...
> The sound universal machine cannot not be modest and prudent.
> Er... Sorry for the digression :-)
Very nice digression. Read with much pleasure.
A very interesting lecture, about Babel & languages & dreams, et cetera,
was this one, http://www.italynet.com/columbia/dream.htm
by Umberto Eco.
- Serafino Cerulli-Irelli (scerir)
[Once a physicist, at Rome Un., now just .... a farmer]