Alex
Reputation
254
Top tag
Next privilege 500 Rep.
Access review queues
 Jan5 comment Easiest way to prove that $2^{\aleph_0} = c$ @isomorphismes I don't need to prove that c = aleph 1. That would require the Continuum hypothesis and further complicate things. Also, I am looking for the simplest way, your edit might suggest that I am looking for the original proof. Jan5 awarded Custodian Jan5 reviewed Reject Easiest way to prove that $2^{\aleph_0} = c$ Jan5 asked Easiest way to prove that $2^{\aleph_0} = c$ Jan4 awarded Editor Jan4 comment How to prove some properties of partitions of finite subsets of N? @gnometorule Yes, I made a mistake. I corrected it to provide a non-recursive definition for the progression. Jan4 revised How to prove some properties of partitions of finite subsets of N? added 10 characters in body Jan4 comment How to prove some properties of partitions of finite subsets of N? @Ilya I don't see what is your point, could you explain a bit more? Jan4 comment How to prove some properties of partitions of finite subsets of N? @Amr That is not a counterexample. In the second set, 2, 5, 8 are elements of an arithmetic progression, and also 5, 6, 7, 8, 9 are elements of another arithmetic progression. Jan4 asked How to prove some properties of partitions of finite subsets of N? Nov15 comment Four men seated in a boat puzzle Yes, that lends an idea of the process. Thanks again, it's all fine now. Nov15 awarded Scholar Nov15 comment Four men seated in a boat puzzle Alright, that makes sense. Thanks. Nov15 accepted Four men seated in a boat puzzle Nov15 comment Four men seated in a boat puzzle It would be most helpful if you could edit your post to contain that additional labeling of conditions and establishing those relationships as much as that could be done. If you could do that, than that would be the perfect solution to this question. Nov15 comment Four men seated in a boat puzzle Good answer. I'm just interested if we could use some logic statements, or logic functions with predicates to mathematically write out all of this. Of course, we could write those requests for each man as logical functions using predicates and establish the conditions, but besides that, is there any way to elegantly and mathematically write out all that you said, and the fact that only "BACD" is the solution to the exercise? Nov15 awarded Student Nov15 awarded Supporter Nov15 awarded Analytical Nov15 asked Four men seated in a boat puzzle