Violaine the Alchemist

From the one, two, and from two, three. Between the three emerges the fourth, the One.

[Mishka @mishapathy]

There's a really great joke about nonconstructive proofs.

[Violaine the Alchemist @glassala]

@LGcommaI I’m no expert in logic and I don’t know much model theory so I would be eager to hear counterpoints, but is it not sensible to say a formula with free variables is true when its universal closure is true?

[Violaine the Alchemist @glassala]

If x and y are term variables, then the formula “∀x, y = y” is both well-formed and true in first-order logic with equality. However, it is unsettling to look at and was likely planted in my head by an evil demon.

[Violaine the Alchemist @glassala]

@mouse_math Whenever I ask a dog “do you have Buddha nature” it tilts its head at me. It is natural that a dog would be confused by such an obvious question.

[Violaine the Alchemist @glassala]

@GrahamSig Syntactic equivalence is not the relevant relation here; convertibility is what really matters.

[Violaine the Alchemist @glassala]

@Hermit_Thrush I love it when my surface has a perfectly good parameter, even if it gets a bit rowdy around the origin.

[k h ô i @khoiiiind]

@onehappyfellow I think if you measure your worth by anything at all you are going to have a bad time sooner or later.

[Violaine the Alchemist @glassala]

@mgscotttt This is the stupidest thing I’ve seen in my life.

[Violaine the Alchemist @glassala]

@mouse_math The exception may be when there is no reasonable notion of being “in” the vehicle, like in the case of motorcycles.

[Violaine the Alchemist @glassala]

@mouse_math My tentative heuristic is that, for vehicles on land, “in” is for personal transportation and “on” is for collective transportation. I’m not convinced that elevation has anything to do with it. One gets “in” a carriage and “on” the subway, after all.

[Violaine the Alchemist @glassala]

@gracecthdralprk This is slander. Our weather is not predictable.

[Violaine the Alchemist @glassala]

@PaulNHughes Not quite. To the extent that we can talk about an “actual world,” such a thing cannot be experienced because the experience itself is a mediation. Animals other than humans certainly have *different* mechanisms of mediation, but it is mysticism to say they have none at all.

[Violaine the Alchemist @glassala]

@alz_zyd_ The problem is not tricks; the problem is when the tricks are mystified. Teach the children Peano arithmetic so they can figure out how to derive their own tricks.

[Violaine the Alchemist @glassala]

@Lptomov82 This is definitely the case. I am only saying that teaching is harder than stating formal definitions, and that it is hasty to attribute to snobbishness what could just as easily be attributed to a fear of misinterpretation.

[Violaine the Alchemist @glassala]

@Lptomov82 I am unsure if it is always snobbish. Formal definitions are “safe,” in that one can state them and not worry about having missed or misconstrued something. With explanations, one enters a dangerous world of natural language where one must worry about not giving the wrong idea.

[Violaine the Alchemist @glassala]

@BartoszMilewski Palmetto, Florida is spearheading the charge.

[Violaine the Alchemist @glassala]

@confusionm8trix https://t.co/tNVXQ9tbq8

[Violaine the Alchemist @glassala]

@lekimgym This is a view of nature which is both upside-down and backwards. Nature is not peaceful. There is no boundary between “nature” and “not nature.” Everything a living thing does is trivially in harmony with “what it is,” because how could it possibly be otherwise?

[Violaine the Alchemist @glassala]

@Hermit_Thrush I doubt this. For all of the advances in mathematical ability we have seen, LLMs have made hardly any strides at all in writing prose “human-style.” I am inclined to believe that LLMs, with the training methods we have, are constitutionally incapable of this.

[Violaine the Alchemist @glassala]

@andrewho03 @nihilunbounded What does being nice and friendly have to do with anything? You should reflect on what incentives have led you to make inane conclusions from shallow signals.

[Violaine the Alchemist @glassala]

@spiccarella Consider the analogous case of Wile E. Coyote and the roadrunner. The coyote is a predator and the roadrunner is prey, but the former is obviously the underdog because the viewer knows that the material world itself conspires against him.