Markov Walker / Texts
Order by: date ↓ - rating ↑
I like your crane. I just finished folding 1000 and I'd be hard pressed to part with one, not even for Score.
Clever. Perhaps you could point it out a little more unambiguously. There are several pink pixels in that image.
Or at least, new logics are invented and introduced for different purposes. For example, you might think the double negation law, stating that NOT NOT P is equivalent to P is an equally unchanging, valid deductive equivalence. But in intuitionist logic, it is not valid.
Similarly, you might think that an inference from P to P AND P is valid, but in some linear logics it is not (they are not idempotent).
I know of no logic with an implication operator that does not allow modus ponens, though.
Shameless self promotion:
This completion is similar in spirit to my own completion of this task, where I present Euler's Identity.
probably just an obvious idea, really.
any news from these recipients? Did they get their mail intact?
2 for now, but more to come when you distribute your poem and record it as promised.
how is this a completion of this task?
How did you create this sir?
Another point to note is that most of the points you get for tasking come in the way of votes, and while this completion is not getting flagged out, it's also not getting any votes.
I also highly recommend shooting to get the high score for a task by inspiring people to vote for you. Part of that involves networking and making friends (both excellent side effects of participating) and part of that involves doing something damn cool.
You may notice I have no high score tasks, but one day. One day...
Actually, the algorthim you just described is the final description of e in this proof, the expected value of U.