Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Cantor's first proof in DETAILS
Replies: 34   Last Post: Dec 1, 2012 10:56 AM

 Messages: [ Previous | Next ]
 Frederick Williams Posts: 2,164 Registered: 10/4/10
Re: Cantor's first proof in DETAILS
Posted: Dec 1, 2012 10:56 AM

Charlie-Boo wrote:
>
> [...] This is like
> trying to figure out someone's computer programs without the specs
> (higher level) or documentation (redundant statements that serve only
> to clarify by expressing something in a different way.)

Computer programs should be self documenting. Other documentation is
either the same as the code and redundant or not the same as the code
and confusing.

Consider:
(1)

if x = SOME_CONST then
y = y + 1

(2)

if x = SOME_CONST then /* x = today's date,
* SOME_CONST = my birth date */
y = y + 1 /* increment my age */

(3)

if todays_date = MY_BIRTH_DATE then
my_age = my_age + 1

(2) is an example of the silly use of the much vaunted comment, (3) is
an example of self documenting code. (1) is probably written by someone
raised on BASIC, the variables of which were called A, A1, A2, ..., B,
B1, ... (or something, I can't be expected to remember).

--
When a true genius appears in the world, you may know him by
this sign, that the dunces are all in confederacy against him.
Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting

Date Subject Author
11/12/12 Zaljohar@gmail.com
11/12/12 Zaljohar@gmail.com
11/12/12 Charlie-Boo
11/12/12 Zaljohar@gmail.com
11/13/12 Charlie-Boo
11/15/12 Zaljohar@gmail.com
12/1/12 Frederick Williams
11/12/12 LudovicoVan
11/12/12 LudovicoVan
11/12/12 Uirgil
11/12/12 Shmuel (Seymour J.) Metz
11/12/12 Uirgil
11/13/12 Zaljohar@gmail.com
11/13/12 LudovicoVan
11/13/12 Zaljohar@gmail.com
11/13/12 Zaljohar@gmail.com
11/13/12 Uirgil
11/13/12 LudovicoVan
11/13/12 Uirgil
11/13/12 LudovicoVan
11/13/12 Uirgil
11/13/12 Shmuel (Seymour J.) Metz
11/13/12 Zaljohar@gmail.com
11/13/12 LudovicoVan
11/13/12 Uirgil
11/14/12 Zaljohar@gmail.com
11/14/12 Uirgil
11/14/12 Zaljohar@gmail.com
11/14/12 Zaljohar@gmail.com
11/14/12 Uirgil
11/16/12 LudovicoVan
11/16/12 Uirgil
11/16/12 Zaljohar@gmail.com
11/16/12 LudovicoVan
11/13/12 Shmuel (Seymour J.) Metz