Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » Education » math-teach

Topic: Brainstorming about STEM (was About Functions)
Replies: 49   Last Post: Jan 13, 2012 2:37 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Joe Niederberger

Posts: 2,873
Registered: 10/12/08
Re: Brainstorming about STEM (was About Functions)
Posted: Dec 15, 2011 10:17 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

> It would be nice if everyone could master these
> "abstractions" and the basic methods of proof, but few
> are motivated to do so. I hope my little video and my
> software will help a bit in this regard.


I'm not sure why students at large would be interested in formal predicate calculus based proofs, but for the smaller populations that are, it seems a shame to not include the fundamental fact that once a formal system is adopted, the very act of generating proofs can be automated - you can write a "function" that given a number, hands back a proof corresponding to that number.
(Of course, many mathematician's balk at the notion that what they do is "computational" yuck!...)

For anyone actually motivated to study formal proofs in the first place, that much would seem to be entirely digestible in itself. Once that was done I would certainly at least briefly discuss "Godel's Lost Letter" (with help from the teacher in translating jargon into concepts)and muse about the connections between mathematical theories and automated processes.

Godel's Lost Letter:
http://rjlipton.wordpress.com/the-gdel-letter/


Date Subject Author
12/11/11
Read Brainstorming about STEM (was About Functions)
kirby urner
12/12/11
Read Re: Brainstorming about STEM (was About Functions)
Dan Christensen
12/12/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/12/11
Read Re: Brainstorming about STEM (was About Functions)
Dan Christensen
12/13/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/13/11
Read Re: Brainstorming about STEM (was About Functions)
Dan Christensen
12/13/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/13/11
Read Re: Brainstorming about STEM (was About Functions)
Dan Christensen
12/13/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/13/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/13/11
Read Re: Brainstorming about STEM (was About Functions)
Dan Christensen
12/13/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/13/11
Read Re: Brainstorming about STEM (was About Functions)
Dan Christensen
12/15/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/15/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/15/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/15/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/15/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/15/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/15/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/15/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/15/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/15/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/16/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/16/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/16/11
Read Re: Brainstorming about STEM (was About Functions)
Dan Christensen
12/16/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/17/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/17/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/17/11
Read Re: Brainstorming about STEM (was About Functions)
Dan Christensen
12/18/11
Read Re: Brainstorming about STEM (was About Functions)
Wayne Bishop
12/18/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/18/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/23/11
Read Re: Brainstorming about STEM (was About Functions)
Dan Christensen
12/23/11
Read Re: Brainstorming about STEM (was About Functions)
Wayne Bishop
12/24/11
Read Re: Brainstorming about STEM (was About Functions)
Louis Talman
12/23/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/23/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/23/11
Read Re: Brainstorming about STEM (was About Functions)
Wayne Bishop
12/24/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/24/11
Read Re: Brainstorming about STEM (was About Functions)
Wayne Bishop
12/24/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/24/11
Read Re: Brainstorming about STEM (was About Functions)
kirby urner
12/24/11
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
12/24/11
Read Re: Brainstorming about STEM (was About Functions)
Wayne Bishop
12/24/11
Read Re: Brainstorming about STEM (was About Functions)
Dan Christensen
12/25/11
Read Re: Brainstorming about STEM (was About Functions)
Dan Christensen
12/25/11
Read Re: Brainstorming about STEM (was About Functions)
Dan Christensen
1/13/12
Read Re: Brainstorming about STEM (was About Functions)
Joe Niederberger
1/13/12
Read Re: Brainstorming about STEM (was About Functions)
kirby urner

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.