The Math Forum

Search All of the Math Forum:

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

Math Forum » Discussions » sci.math.* » sci.math

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

Topic: AxAy( x = y <-> ~( x < y \/ x > y ) ) is like f(t) = ( t^2 - 9 )
/ ( t - 3 )

Replies: 20   Last Post: Nov 1, 2013 9:49 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Peter Percival

Posts: 2,623
Registered: 10/25/10
Re: Nothing can replace Equality.
Posted: Oct 31, 2013 3:16 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Hetware wrote:

> Contrary to the sage advice of John Archibald Wheeler, I believe it
> would be an interesting and probably fruitful exercise to attempt
> axiomatizing mathematical physics, or subsets thereof.

Hilbert's sixth problem.

Du mußt Amboß oder Hammer sein

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

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.