Math Forum

Re: Brainstorming about STEM (was About Functions)

On Fri, Jan 13, 2012 at 8:19 AM, Joe Niederberger
wrote:
> Just an interesting tidbit

Just an interesting tidbit about pi...

Kirby mentions:
- ---------------------------------------------------
Look carefully at this

I should mention, too, that my implementation of formal logic and set theory is considerably more user-friendly than the standard ones. To get some

> I like geometry. Let's start with Hilbert's axioms
> for Euclidean
> geometry and prove a couple theorems

> At 10:12 PM 12/22/2011, Dan Christensen wrote:
>
> >The axioms for geometry

Mine was not "great" but the environment was great. I am not alone
in PhD's in mathematics whose mathematics career began with this. I
had

My point was that the entire discussion - although of its own
esoteric interest - has almost nothing to do with mathematics
research and

On Sat, Dec 24, 2011 at 9:56 AM, Joe Niederberger
wrote:

<< snip >>

By the way Wayne, I agree with you that starting with symbolic logic, and very formal systems is not a good introduction to mathematical proving. I

Joe N said:
>... finding proofs and generating proofs are the same >problem. They are not.

Perhaps I