Reputation
36,332
Next tag badge:
164/100 score
18/20 answers
Badges
14 123 269
Newest
 Announcer
Impact
~1.1m people reached

1d
revised Help finding the limit of this series $\frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \frac{1}{32} + \cdots$
deleted 5 characters in body
2d
comment Is the notorious $n^2 + n + 41$ prime generator the last of its type?
$6^2+6+55661$ is divisible by 53.
2d
answered Help finding the limit of this series $\frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \frac{1}{32} + \cdots$
2d
comment Prove that two non-bald residents of NYC have exactly the same number of hairs.
How many people are there in New York? What if they all had different numbers of hairs?
Jul
2
revised Is there a general solution to the water-bucket logic problem?
edited tags
Jul
2
comment Is there a general solution to the water-bucket logic problem?
Also relevant: math.stackexchange.com/questions/645845/…
Jul
2
comment Is there a general solution to the water-bucket logic problem?
I think I can prove that any reasonable solution looks like the one there: the search space is a simple loop, and the only reasonable thing to do is to proceed around the outside of the loop until you reach the target position and win, or return to the start position, in which case winning is impossible. (Note the interesting invariant that in any minimal solution, at all times a bucket is full or a bucket is empty.) But I can't finish the proof before work; maybe later.
Jul
2
comment Is there a general solution to the water-bucket logic problem?
Relevant: Making the water gallon brainteaser rigorous
Jun
30
awarded  Announcer
Jun
30
comment Why aren't all NP-complete problems strongly NP-complete, if any NP problem can be reduced to an NP-complete problem
@GregMartin I don't think those are relevant here. It seems that OP's terminology is strange; their "strongly NP-complete" seems to mean "NP-complete" (in the standard sense) and their "NP-complete" seems to mean "NP-hard" (in the standard sense).
Jun
29
revised Which is the largest power of natural number that can be evaluated by computers?
edited body
Jun
28
awarded  Enlightened
Jun
28
awarded  Nice Answer
Jun
28
comment Which is the largest power of natural number that can be evaluated by computers?
@parkhyeyoo They're great for playing Starcraft.
Jun
28
comment Which is the largest power of natural number that can be evaluated by computers?
True. For example, we can say that it is probably quite impossible to calculate $7^{10^{100}}$ since all the computers in the universe won't be able to store its digits.
Jun
28
revised Which is the largest power of natural number that can be evaluated by computers?
added 138 characters in body
Jun
28
answered Which is the largest power of natural number that can be evaluated by computers?
Jun
28
revised Why does the Deduction Theorem use Union?
added 179 characters in body
Jun
28
answered Why does the Deduction Theorem use Union?
Jun
27
comment What's the point of eta-conversion in lambda calculus?
@Trismegistos $A$ and $B$ are “observationally equivalent” if they “do” the same thing: that is, if $A x\equiv B x$ for every $x$. This is obviously no stronger than regular equivalence, and Henning Makholm's example shows that it is strictly weaker.