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: new tutor here
Replies: 151   Last Post: Jul 17, 2013 4:09 AM

 Messages: [ Previous | Next ]
 Robert Hansen Posts: 11,345 From: Florida Registered: 6/22/09
Re: new tutor here
Posted: Jun 17, 2013 12:18 AM

On Jun 16, 2013, at 1:45 PM, Joe Niederberger <niederberger@comcast.net> wrote:

> Ultimately, mathematics often strives towards the "proof" as the gold standard. A proof, in the most rigorous sense, is a formal object in a formal system, which is abstract in one sense (if its tokens and primitives are thought to *refer* to something else -- the "abstraction" involved is distilling just those properties of that something else one wants to encode in the formal system.) On the other hand, if the system is thought of as simply a game of symbols and rules with no external referents, its a bit of a misnomer to call it abstract, as it abstracts from *nothing* in that case -- its just a game. The same could be said for algebraic systems, if we really view them as purely formal games. I know in colloquial speech people would ordinarily refer to any symbolic game of this type to be "abstract". But from a different viewpoint, they are really *concrete*, in that the symbols and rules are rigidly fixed.

I am going to try to clarify my view. Abstraction is not a set of rules, it is a process of the mind. It is the process that takes place after the rules have been set. The rules of chess are quite finite and simple but figuring out and organizing the resultant complexity is abstraction. The rules of real numbers (a field) are even more finite than chess, and even simpler, yet the possibilities of abstraction seemingly infinite. The source (referents) of the rules are different, man made versus nature. But the resulting systems are both abstract and unsolved. As far as I am concerned, all systems that have a set of rules and are unsolved must be dealt with through abstraction.

Chess is an interesting example, because technically it is solvable and computers have solved a lot of it, at least the end game. But to a human it is unsolved and always will be because the computational requirements of the "solution" are too great. A human being will always have to deal with the system of chess through abstraction.

I am not sure what you mean by "gold standard" with regard to proofs. I thought the purpose of proofs was to prove that your abstractions follow the rules. You are using a different sense of abstract than I am. You are contrasting it with concrete, which is kind of my point about the problem with visualization. Abstract is a type of thought, not a type of object or rule.

Bob Hansen

Date Subject Author
6/12/13 Michael Mossey
6/12/13 Wayne Bishop
6/12/13 Michael Mossey
6/13/13 Wayne Bishop
6/13/13 Dave L. Renfro
6/13/13 Joe Niederberger
6/14/13 Robert Hansen
6/14/13 Joe Niederberger
6/14/13 Robert Hansen
6/14/13 Joe Niederberger
6/14/13 Robert Hansen
6/14/13 Joe Niederberger
6/14/13 Robert Hansen
6/15/13 Louis Talman
6/14/13 Michael Mossey
6/15/13 Robert Hansen
6/14/13 GS Chandy
6/16/13 GS Chandy
6/15/13 Louis Talman
6/15/13 Joe Niederberger
6/16/13 Robert Hansen
6/15/13 Pam
6/16/13 Robert Hansen
6/15/13 Pam
6/16/13 Wayne Bishop
6/16/13 Joe Niederberger
6/16/13 Robert Hansen
6/16/13 Joe Niederberger
6/17/13 Robert Hansen
6/16/13 Michael Mossey
6/17/13 GS Chandy
6/17/13 GS Chandy
6/17/13 Pam
6/17/13 Robert Hansen
6/17/13 Pam
6/17/13 Robert Hansen
6/17/13 Pam
6/17/13 Pam
6/17/13 Joe Niederberger
6/17/13 Robert Hansen
6/17/13 Joe Niederberger
6/17/13 Joe Niederberger
6/18/13 Robert Hansen
6/17/13 GS Chandy
6/18/13 GS Chandy
6/18/13 GS Chandy
6/18/13 GS Chandy
6/18/13 Joe Niederberger
6/18/13 Robert Hansen
6/18/13 Joe Niederberger
6/18/13 Joe Niederberger
6/18/13 Robert Hansen
6/18/13 Joe Niederberger
6/18/13 Joe Niederberger
6/18/13 Robert Hansen
6/18/13 Robert Hansen
6/18/13 Joe Niederberger
6/19/13 Robert Hansen
6/19/13 Robert Hansen
6/21/13 Wayne Bishop
6/21/13 Wayne Bishop
6/19/13 Joe Niederberger
6/19/13 Robert Hansen
6/19/13 Joe Niederberger
6/19/13 Robert Hansen
6/19/13 Joe Niederberger
6/19/13 Robert Hansen
6/19/13 Joe Niederberger
6/19/13 Robert Hansen
6/19/13 Robert Hansen
6/19/13 Joe Niederberger
6/19/13 Joe Niederberger
6/19/13 Joe Niederberger
6/19/13 Robert Hansen
6/21/13 Joe Niederberger
6/21/13 Robert Hansen
6/21/13 Joe Niederberger
6/21/13 Robert Hansen
6/21/13 Joe Niederberger
6/21/13 Robert Hansen
6/21/13 Joe Niederberger
6/21/13 Joe Niederberger
6/21/13 Dave L. Renfro
6/22/13 Robert Hansen
6/22/13 Robert Hansen
6/22/13 Joe Niederberger
6/22/13 Robert Hansen
6/22/13 Robert Hansen
6/23/13 Joe Niederberger
6/23/13 Robert Hansen
6/23/13 Robert Hansen
6/23/13 Joe Niederberger
6/23/13 Robert Hansen
6/24/13 Robert Hansen
6/24/13 Joe Niederberger
6/24/13 Joe Niederberger
6/24/13 Joe Niederberger
6/25/13 GS Chandy
7/10/13 Dave L. Renfro
7/10/13 Robert Hansen
7/10/13 Joe Niederberger
7/10/13 Robert Hansen
7/10/13 Robert Hansen
7/10/13 Robert Hansen
7/11/13 Joe Niederberger
7/11/13 Robert Hansen
7/11/13 Joe Niederberger
7/11/13 Robert Hansen
7/11/13 Robert Hansen
7/11/13 GS Chandy
7/11/13 Joe Niederberger
7/11/13 Robert Hansen
7/11/13 Robert Hansen
7/11/13 Louis Talman
7/11/13 Robert Hansen
7/12/13 Wayne Bishop
7/12/13 Louis Talman
7/12/13 Wayne Bishop
7/12/13 Robert Hansen
7/12/13 Gary Tupper
7/12/13 Wayne Bishop
7/12/13 Louis Talman
7/11/13 Joe Niederberger
7/11/13 Robert Hansen
7/11/13 Joe Niederberger
7/11/13 GS Chandy
7/12/13 Wayne Bishop
7/12/13 Joe Niederberger
7/12/13 Wayne Bishop
7/12/13 GS Chandy
7/12/13 Joe Niederberger
7/13/13 Robert Hansen
7/13/13 GS Chandy
7/13/13 Joe Niederberger
7/13/13 Wayne Bishop
7/13/13 Robert Hansen
7/13/13 Robert Hansen
7/13/13 Peter Duveen
7/14/13 Joe Niederberger
7/14/13 Joe Niederberger
7/14/13 Joe Niederberger
7/14/13 Robert Hansen
7/14/13 GS Chandy
7/15/13 Wayne Bishop
7/15/13 Joe Niederberger
7/15/13 Robert Hansen
7/15/13 Peter Duveen
7/15/13 Joe Niederberger
7/16/13 GS Chandy
7/16/13 Wayne Bishop
7/16/13 GS Chandy
7/17/13 GS Chandy