Re: Proving truth & falisty, was A new PKC, and some conjectures

On Sun, 5 Mar 2000, Jim Choate wrote: > > > On Sun, 5 Mar 2000, dmolnar wrote: Just a note - the conjecture is due to [EMAIL PROTECTED] and can be found on his web page. My apologies if including it in my post caused any confusion. > > > > Conjecture - For any axiomatic system, there exi

Re: Re: Proving truth & falisty, was A new PKC, and some conjectures

On Sun, 5 Mar 2000, dmolnar wrote: > On Sun, 5 Mar 2000, Jim Choate wrote: > > > On Sun, 5 Mar 2000, dmolnar wrote: > > Just a note - the conjecture is due to [EMAIL PROTECTED] and can be found on > his web page. My apologies if including it in my post caused any > confusion. Actualy I shou

Proving truth & falisty, was A new PKC, and some conjectures

On Sun, 5 Mar 2000, dmolnar wrote: > > Conjecture - For any axiomatic system, there exists a function which > > runs in a practical amount of time which takes as inputs a statement in > > that axiomatic system and a fixed length string, > > > such that given a proof of any statement in the ax