Re: Logic and Mathematicians

Article View: sci.logic

Article #492

#492

From: Randall Holmes
Date: Sun, 15 Nov 1992 22:03

21 lines
1459 bytes

In article <1992Nov14.141234.26280@email.tuwien.ac.at> zach@csdec1.tuwien.ac.at writes:
>In article <1992Nov12.204959.17389@husc3.harvard.edu>, zeleny@husc10.harvard.edu (Michael Zeleny) writes:
>|> I offer Post's problem as a counterexample.  Also, it doesn't seem
>|> that there could be a solution for "P =? NP" that would render the
>|> problem silly in retrospect.
>
>Oh yes: Prove P=NP is independent of ZFC. It actuall HAS
>been shown independent in some weak arithmetics.
>
>-- 
>Richard Zach                         Technische Universitaet Wien
>[zach@csdec1.tuwien.ac.at]     Abteilung fuer Formale Logik 185.2

Wouldn't that actually answer the question?


-- 
The opinions expressed		|     --Sincerely,
above are not the "official"	|     M. Randall Holmes
opinions of any person		|     Math. Dept., Boise State Univ.
or institution.			|     holmes@opal.idbsu.edu

Technical Details

Message-ID: <1992Nov15.220359.21971@guinness.idbsu.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!mica.inel.gov!guinness!garnet.idbsu.edu!holmes

References:

<1992Nov11.204655.7342@email.tuwien.ac.at> <1992Nov12.204959.17389@husc3.harvard.edu> <1992Nov14.141234.26280@email.tuwien.ac.at>

Show Full Headers

Complete Article Headers

Newsgroups: sci.logic,sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!mica.inel.gov!guinness!garnet.idbsu.edu!holmes
From: holmes@garnet.idbsu.edu (Randall Holmes)
Subject: Re: Logic and Mathematicians
Message-ID: <1992Nov15.220359.21971@guinness.idbsu.edu>
Sender: usenet@guinness.idbsu.edu (Usenet News mail)
Nntp-Posting-Host: garnet
Organization: Boise State University
References: <1992Nov11.204655.7342@email.tuwien.ac.at> <1992Nov12.204959.17389@husc3.harvard.edu> <1992Nov14.141234.26280@email.tuwien.ac.at>
Date: Sun, 15 Nov 1992 22:03:59 GMT
Lines: 21

Reply to Parent Message