Path: utzoo!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!ccut!wnoc-tyo-news!ascwide!ascgw!sh8810!okilab!icot32!hitgw!harl86!kondoh
From: kondoh@harl86.harl.hitachi.co.jp (Hidetaka KONDOH)
Newsgroups: comp.theory
Subject: Re: dreams...
Message-ID: <1722@harl86.harl.hitachi.co.jp>
Date: 12 Mar 91 10:58:38 GMT
References: <3002@charon.cwi.nl> <1971@virgo.csl.sony.co.jp>
	<1721@harl86.harl.hitachi.co.jp>
Organization: Advanced Research Laboratory, Hitachi, Ltd.
Lines: 15
In-reply-to: kondoh@harl86.harl.hitachi.co.jp's message of 12 Mar 91 10:47:49 GMT
Return-Receipt-To: kondoh@harl.hitachi.co.jp



In article <1721@harl86.harl.hitachi.co.jp> kondoh@harl86.harl.hitachi.co.jp (Hidetaka KONDOH) writes:

   %%"P = NP" problem would be able to be formulated in this 2nd-order
   %%Peano arithmetic, so that problem must be either true or false in
   %%its unique standard model.   
   %%
And this is definite (not arbitrary, but we don't know whether
it is true or false now, of cource :-))
-- 
Hidetaka KONDOH (kondoh@harl.hitachi.co.jp)	Advanced Research Laboratory
						Hitachi, Ltd.
Voice: +81-492-96-6111/6112 (Ext. 6328)		Hatoyama, Saitama  350-03
Fax:   +81-492-96-6005				JAPAN