[Retros] What does C+ mean?

[Juha Saukkola]

Programmers write most programming errors. C+/C++/headache.


>From: "Renny Bosch" <rbosch at adelphia.net>

>Reply-To: The Retrograde Analysis Mailing List <retros at janko.at>

>To: "The Retrograde Analysis Mailing List" <retros at janko.at>

>Subject: Re: [Retros] What does C+ mean?

>Date: Thu, 17 Nov 2005 18:01:14 -0800

>

>Thank you, gentlemen, for your rapid and informative answers.

>

>Renny Bosch

>

>

>----- Original Message ----- From: "Thomas Maeder" <maeder at glue.ch>

>To: "The Retrograde Analysis Mailing List" <retros at janko.at>

>Sent: Wednesday, November 16, 2005 1:04 AM

>Subject: Re: [Retros] What does C+ mean?

>

>

>>Renny Bosch wrote:

>> >

>>>Could someone please explain what the designation "C+" means?  I suspect 

>>>it

>>>has something to do with uniqueness or minimum length but am not sure. If

>>>it is explained in the Retro Corner Glossary please tell me under what

>>>heading.

>>

>>The supposed meaning is "Correctness verified by a computer program."

>>

>>But it's a good idea to always take this "information" with a grain of 

>>salt. From my (Spokesman of the Sub-Committee for Computer Matters) oral 

>>report to the PCCC this year:

>>

>>The sub-committee [...] reminds problemists not to read too much into the 

>>"C+"

>>tag written next to a problem; in the worst case, this tag only means that

>>somebody tried to use a computer to obtain some information about the

>>correctness of the problem.

>>

>>--

>>Thomas

>>_______________________________________________

>>Retros mailing list

>>Retros at janko.at

>>http://www.pairlist.net/mailman/listinfo/retros

>

>_______________________________________________

>Retros mailing list

>Retros at janko.at

>http://www.pairlist.net/mailman/listinfo/retros