Proof Of Logic

QED, THIS.

[Proof Of Logic @ProofOfLogic]

Self-Help for Animate Matter https://t.co/ZipXCreWCt

[Proof Of Logic @ProofOfLogic]

English uses infix notation for verbs. A compromise?

[Proof Of Logic @ProofOfLogic]

Communicators prefer polish notation, reading off the parse tree in their heads. Listeners prefer reverse polish (evaluate as you go, less stack required). More human languages are reverse polish (favor listener). More computer/math is polish (favor speaker).

[Will Kurt @willkurt]

Let's spend less time arguing about stats and more time arguing about how averaging ordinal numbers is at best poorly defined (at worst complete nonsense) and plays a major part in nearly everyone's lives from GPAs to performance reviews!

Is A,A,D,A really the same as A,A,C,B?

[Proof Of Logic @ProofOfLogic]

Inductive arguments are *actually weaker* than more direct arguments. It means your result doesn't apply to non-well-founded objects, or to more heterogeneous structures (not built only out of the building blocks you allowed in your induction). This can easily matter in software.

[Proof Of Logic @ProofOfLogic]

@ObjectOfObjects @davidmanheim It used to be the case that if I paid attention, I'd often notice that I was playing music in my head, usually somewhat original (not just playing back exact recordings), and can add new instruments. So I find this a priori "not that hard". But of course that may not be typical.

[Proof Of Logic @ProofOfLogic]

@ObjectOfObjects @davidmanheim Or the music isn't very original. Also, maybe the precise notes aren't perfectly defined - that's sometimes true for me when I imagine music. But I think the whole thing quite plausible. Dreams generally involve much greater creativity than can easily be consciously manifested.

[Proof Of Logic @ProofOfLogic]

Think what you will of the simulation hypothesis -- fiction is a biased sample, entirely favoring universes simulated at low fidelity and showing signs of a designer's hand.

[Proof Of Logic @ProofOfLogic]

Decision theory as the rigorous study of subjective solutions to ill-defined problems.

[Proof Of Logic @ProofOfLogic]

@preinfarction Hard to say if the update has to be favorable for x on the whole, since this seems to be a logical-uncertainty update rather than a Bayesian update.

[Proof Of Logic @ProofOfLogic]

In practice, to say that a belief refutes its own justification is usually not to say it's inconsistent, but rather, the alternative was.

[Proof Of Logic @ProofOfLogic]

@preinfarction So "x refutes its own justification" doesn't seem like an argument against x, rather, an argument against the position which the justification assumed - which will usually be an anti-x position, if the pyrrhonian example is typical. So, favourable sign for x.

[Proof Of Logic @ProofOfLogic]

Travel to a neighboring town. Treat it like a foreign country. Try to learn the language and customs. Make fast friends with the locals. Sample the food. Return home forever changed. Write a popular travel guide.

[Proof Of Logic @ProofOfLogic]

A serious meditative school based on Twitter.

[Proof Of Logic @ProofOfLogic]

Paying more than a dollar in a dollar auction doesn't automatically make you irrational. Only if you'd predictable do so. This is a bit similar to the observation that waiting time distributions in no way have to reduce expected time left as you wait.

[Proof Of Logic @ProofOfLogic]

It wouldn't be a cult if everyone would just get on board with it!

[Proof Of Logic @ProofOfLogic]

It's not called regulatory capture when the government is the one doing it.

[Dark Of Night @EndOfSequence]

Some people will anthropomorphize anything, even their own children.

[Proof Of Logic @ProofOfLogic]

When you think a thing is antifragile, you shake it to help it.

[Proof Of Logic @ProofOfLogic]

"Grand unification is physics, not biology. Reductionism is physics, not biology"

[Proof Of Logic @ProofOfLogic]

Excited to be alive in fifty years when someone finally works out why p vs np was a fundamentally difficult problem.