Subject: RE: [RRG] Re: FYI -- Informal LISP BOF scheduled for lunch time onThursday

From: "Miya Kohno" <[email-masked]>
Date: Thu, 6 Dec 2007 22:22:19 +0800

This reminds me of Gödel's Incompleteness Theorem :)  "Any precise mathematical system must contain some statements that are neither provable nor disprovable by the means allowed within the system".  (1931) 

Since we are within the system, we cannot prove or disprove. 

Maybe the options are: 

 - daily evolution with feedback
 - destruction and reconstruction (by those who are outside of the system??)

Miya

> > Of course, it's hard to prove a negative, especially about large 
> > complex distributed systems.  OTOH, there's some argument 
> to be made 
> > (and I've made it before) that there's no obvious knee in the BGP 
> > performance curve.
> >
> 
> 
> Strictly speaking John is, of course, correct.  We should 
> continue to see linear degradation in performance as the table grows.
> 
> However, some speculate that we will see a knee in the number 
> of prefixes that are carried in the DFZ.  In these scenarios, 
> as a market for v4 prefixes is established, it will become 
> easier for organizations to acquire PI prefixes and inject 
> them.  Further, existing space holders will tend to 
> de-aggregate them so as to maximize their market positions.  
> This combination could possibly lead to a knee in the size of 
> the overall table and a resulting knee in overall Internet 
> convergence time.
> 
> I should stress that this is all speculative at this point 
> and we will simply have to see how it all plays out.
> 
> We live in interesting times.
> 
> Tony
> 
> 
> _______________________________________________
> rtgwg mailing list
> [email-masked]
> https://www1.ietf.org/mailman/listinfo/rtgwg
> 

--
to unsubscribe send a message to [email-masked] with the
word 'unsubscribe' in a single line as the message text body.
archive: <http://psg.com/lists/rrg/> & ftp://psg.com/pub/lists/rrg