Post #4489118
2026-08-10 12:42 UTC
@aleph_omega_plus_four@mastodon.world
that's the one I've settled on
Replies (1)
-
@aleph_omega_plus_four@mastodon.world 2026-08-10 12:48
@rzeta0@mathstodon.xyz just as the order of formal quantifiers creates a dependence of the later quantified variables on the earlier ones, so is there a dependence in the natural language... it wouldn't make sense for a variable to depend on one that hasn't yet been introduced imo. One informal mathematical habit I don't like is something like "there exists such that x^2=y for all y" - again putting the introduction of a variable after its use. It's ok for simple sentences but ambiguous for more complicated.