Does Python really follow its philosophy of "Readability counts"?

Steven D'Aprano steven at REMOVE.THIS.cybersource.com.au
Thu Jan 22 03:24:10 EST 2009

Previous message (by thread): Does Python really follow its philosophy of "Readability counts"?
Next message (by thread): Does Python really follow its philosophy of "Readability counts"?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Wed, 21 Jan 2009 12:55:42 -0500, Luis Zarrabeitia wrote:

> Btw, the correctness of a program (on a turing-complete language) cannot
> be statically proven. Ask Turing about it.

The correctness of *all* *arbitrary* programs cannot be proven. That 
doesn't mean that no programs can be proven.

-- 
Steven

Previous message (by thread): Does Python really follow its philosophy of "Readability counts"?
Next message (by thread): Does Python really follow its philosophy of "Readability counts"?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Python-list mailing list