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 » sci.math.* » sci.math.independent

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: 940
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
Goethe




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.