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: § 417 An implication of actual infinity
Replies: 3   Last Post: Jan 12, 2014 3:08 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Ben Bacarisse

Posts: 751
Registered: 7/4/07
Re: § 417 An implication of actual infinity
Posted: Jan 11, 2014 6:01 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

wpihughes@gmail.com writes:
<snip>
> P.S. (WM will agree with the induction proof if stated as
> "for every n, the potentially infinite sequence 0.111...
> in not equal to the nth line of the list". Getting WM
> to agree to this takes about a month)


I have a conjecture: every theorem of mathematics is a theorem of WMaths
if "every" is substituted for "all" (plus adjustments for grammar) and
"potential" is inserted before the word "infinite".

If the theorems are written in symbols, you don't need to do anything --
they are the same "out of the box".

--
Ben.



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.