Our server costs ~$56 per month to run. Please consider donating or becoming a Patron to help keep the site running. Help us gain new members by following us on Twitter and liking our page on Facebook!
Current time: March 28, 2024, 2:23 pm

Search Results
Post Author Forum Replies Views Posted [asc]
    Thread: Math problem that is driving the Internet crazy
Post: RE: Math problem that is driving the Internet craz...

(August 9, 2019 at 6:16 pm)Haipule Wrote: This is a simple duplication problem that non of you can see. 1 + 1 = 2, 2 + 2 = 4, 4 + 4 = 8 and 8 + 8 = 7, 16 + 16 = 32 (7 + 7 = 5) which is 5 and 5 + 5 =...
A Toy Windmill Mathematics 49 6845 August 10, 2019 at 3:34 am
    Thread: Math problem that is driving the Internet crazy
Post: RE: Math problem that is driving the Internet craz...

(August 10, 2019 at 2:22 am)Grandizer Wrote: (August 9, 2019 at 5:48 pm)A Toy Windmill Wrote: This isn't a "maths problem". It's a "maths communication problem". And in this case, the communicatio...
A Toy Windmill Mathematics 49 6845 August 10, 2019 at 2:29 am
    Thread: Math problem that is driving the Internet crazy
Post: RE: Math problem that is driving the Internet craz...

This isn't a "maths problem". It's a "maths communication problem". And in this case, the communication spins on very shallow conventions. There wouldn't be a big issue if we decided to change the co...
A Toy Windmill Mathematics 49 6845 August 9, 2019 at 5:48 pm
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 11, 2019 at 9:30 am)Jehanne Wrote: Fact is that most professional mathematicians accept ZFC and the proofs of Cantor, which was the whole point of my OP. I don't think that it is an either/or...
A Toy Windmill Mathematics 99 11186 July 11, 2019 at 1:53 pm
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 10, 2019 at 4:55 am)polymath257 Wrote: OK, so this particular unbounded quantifier is allowed? Why is that? Are quantifiers of the form for all n>=p, P(n) allowed?Quantifiers are allowed if...
A Toy Windmill Mathematics 99 11186 July 10, 2019 at 6:10 am
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 9, 2019 at 9:56 am)polymath257 Wrote: After thinking a bit, this does not quite prove the convergence since you need to show that |x_n^2 -2|<eps for ALL n>=p where p is that smallest exp...
A Toy Windmill Mathematics 99 11186 July 9, 2019 at 1:34 pm
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 8, 2019 at 3:38 pm)Jehanne Wrote: As p goes to infinity? Define your universe for p?p does not go anywhere. It would not even appear in the formalized theorem. The only variables in the form...
A Toy Windmill Mathematics 99 11186 July 9, 2019 at 2:54 am
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 8, 2019 at 7:05 am)Jehanne Wrote: Your ticket to fame, perhaps?  On the other hand, Mike Pence once said on the floor of the United States Senate that he believed that Science would someday vi...
A Toy Windmill Mathematics 99 11186 July 8, 2019 at 8:19 am
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 7, 2019 at 3:38 am)polymath257 Wrote: Well, you need to know that the square of every even number is even, that the square of every odd number is odd, that every natural number is either even ...
A Toy Windmill Mathematics 99 11186 July 7, 2019 at 6:22 am
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 5, 2019 at 9:09 am)Jehanne Wrote: What's the alternative?  I suppose that you, as the DA, are trying to make a distinction between a potential infinite versus an actual one.I'm not playing Dev...
A Toy Windmill Mathematics 99 11186 July 5, 2019 at 10:50 am
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

I'm familiar with the proof. It looks easy enough to formalize in PRA. Where do you think it requires unbounded quantification over the naturals?
A Toy Windmill Mathematics 99 11186 July 5, 2019 at 8:20 am
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 4, 2019 at 6:46 pm)Jehanne Wrote: The proof of the irrationality of the square root of 2 by contradiction is what I had in mind, anything but finitism in my opinion.That proof looks straightfo...
A Toy Windmill Mathematics 99 11186 July 5, 2019 at 1:33 am
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 4, 2019 at 7:33 am)Jehanne Wrote: Do finistists accept the existence of irrational numbers?I don't think so, at least not in the sense that everyone else does. The classic proof that a square'...
A Toy Windmill Mathematics 99 11186 July 4, 2019 at 11:27 am
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 3, 2019 at 10:06 pm)Jehanne Wrote: (July 3, 2019 at 1:14 pm)A Toy Windmill Wrote: All uncomputable reals, which is most of them according to classical mathematics. We might argue that such t...
A Toy Windmill Mathematics 99 11186 July 4, 2019 at 3:42 am
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 3, 2019 at 11:51 am)Jehanne Wrote: (July 3, 2019 at 2:52 am)A Toy Windmill Wrote: I wrote: I am not saying that intuitionistic mathematics is finitism (no need for quotes: these are the pro...
A Toy Windmill Mathematics 99 11186 July 3, 2019 at 1:14 pm
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 2, 2019 at 11:29 pm)Jehanne Wrote: (July 2, 2019 at 12:19 pm)A Toy Windmill Wrote: And intuitionistic mathematics doesn't have issue with Turing machines either. They aren't particularly "Ca...
A Toy Windmill Mathematics 99 11186 July 3, 2019 at 2:52 am
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 2, 2019 at 11:36 am)Jehanne Wrote: (July 2, 2019 at 9:12 am)A Toy Windmill Wrote: It's not clear to me what anxieties are soothed by finitism that are not adequately soothed by intuitionism,...
A Toy Windmill Mathematics 99 11186 July 2, 2019 at 12:19 pm
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(July 2, 2019 at 7:50 am)Jehanne Wrote: (July 1, 2019 at 2:02 pm)polymath257 Wrote: I see it more as a discipline to see just how much can be done without the assumptions concerning infinite sets....
A Toy Windmill Mathematics 99 11186 July 2, 2019 at 9:12 am
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

(June 30, 2019 at 1:30 pm)LastPoet Wrote: (June 30, 2019 at 12:03 pm)Jehanne Wrote: Not many mathematicians are finitists; in fact, after my OP, I updated the Wikipedia article: Wikipedia -- Fini...
A Toy Windmill Mathematics 99 11186 June 30, 2019 at 1:47 pm
    Thread: Mathematicians who are finitists.
Post: RE: Mathematicians who are finitists.

Here is some recent research in finitistic mathematics. Like all such research, it is metamathematics. The goal is to find methods to translate ordinary classical mathematical proofs to finistic ones...
A Toy Windmill Mathematics 99 11186 June 30, 2019 at 1:23 pm