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

From: scerir <scerir.domain.name.hidden>

Date: Fri, 22 Jun 2001 21:38:53 +0200

*> >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]

Received on Fri Jun 22 2001 - 12:43:14 PDT

Date: Fri, 22 Jun 2001 21:38:53 +0200

and Bruno wrote:

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."

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]

Received on Fri Jun 22 2001 - 12:43:14 PDT

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