[Retros] What does C+ mean?

Juha Saukkola juha_saukkola at hotmail.com
Fri Nov 18 06:05:07 EST 2005

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


>>>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



>>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


>>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.





>>Retros mailing list

>>Retros at janko.at




>Retros mailing list

>Retros at janko.at


More information about the Retros mailing list