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: In favor of teaching "dot notation"
Replies: 26   Last Post: Oct 20, 2012 12:26 PM

 Messages: [ Previous | Next ]
 Joe Niederberger Posts: 4,657 Registered: 10/12/08
Re: In favor of teaching "dot notation"
Posted: Oct 19, 2012 12:58 AM

Lou Talman says:
>That's a very good question. How does one handle units in general? What axioms does one use? If there are none, then Robert's earlier question about an exam is well-posed: "Is this mathematics?"

Hmmm, this seems easy to parse, but the options all seem absurd. Is mathematics [A] only that which deduces conclusions from logic, axioms, and rules of inference?
[B] Is it the study of "units"? [C] Is it the study of those two things together? [D] Is it the study of either of those two, together or alone?

Seems ill-posed to me. Please clarify. What exactly are your criteria for including or excluding a topic as mathematics?

Regardless, surely most people reading this board understand that the study of computation is in fact the study of transformations of (finite) symbolic representations by a finite set of well-defined rules. A such it meets criteria A, C, & D always, B sometimes. Axioms that apply include logical axioms and axioms of set theory relevant to finite sets, at minimum.

Here's a starter course:
http://www.spatial.maine.edu/~worboys/processes/hoare%20axiomatic.pdf

This stuff ain't exactly news.

Joe N

Date Subject Author
10/7/12 kirby urner
10/13/12 Joe Niederberger
10/15/12 kirby urner
10/13/12 Joe Niederberger
10/16/12 Joe Niederberger
10/16/12 kirby urner
10/17/12 Joe Niederberger
10/17/12 Paul A. Tanner III
10/17/12 kirby urner
10/17/12 Joe Niederberger
10/17/12 kirby urner
10/17/12 Paul A. Tanner III
10/17/12 kirby urner
10/17/12 Robert Hansen
10/17/12 Louis Talman
10/17/12 Robert Hansen
10/18/12 Louis Talman
10/18/12 Robert Hansen
10/18/12 kirby urner
10/17/12 Joe Niederberger
10/17/12 kirby urner
10/19/12 Joe Niederberger
10/19/12 Robert Hansen
10/19/12 Joe Niederberger
10/19/12 kirby urner
10/19/12 Joe Niederberger
10/20/12 kirby urner