skolemizer.bsky.social
Math prof at the Universidad de los Andes (Colombia). He/him, él/lo.
31 posts
75 followers
76 following
Regular Contributor
Active Commenter
comment in response to
post
Great explanation of the sound changes, but to be clear: the diacritical mark ~ ("tilde" in English) was used by medieval scribes for many kinds of abbreviations, not just omitted nasal consonants.
E.g. in the Domesday Book (1086) you can see <p~ter> for "p(a)ter," <Eps~> for "Ep(iscopu)s", etc.
comment in response to
post
"Always only do illegal things challenge"
(E.g. just continuously burning $1 bills, in utter silence to avoid speech acts protected by 1st Amendment)
comment in response to
post
Side side note: English has two different words derived from the same root via French, "chief" and "chef." The different pronunciation of <ch> is because the first is an older borrowing from Anglo Norman French, which had a [t͡ʃ] affricate where Mod Fr. has the sibilant [ʃ].
comment in response to
post
"unlock hundreds of thousands in new profit per doctor"! 👊🇺🇸💰
comment in response to
post
Seriously, it's not even clear to me who is the intended audience for the sales pitch on their website (which is all very off-putting from the perspective of a loved one of a potential patient). Is this meant to be addressed to healthcare providers? Insurance companies? Venture capitalists?
comment in response to
post
This is fun! Let me try constructing the other tenses:
Future tense *voldré "I will want" (from volere + he > voldré with epenthetic -d-, cf. valer, valdré)
Simple past *volió "s/he wanted"
Past participle *volido or *vuelto (???)
2nd person sing. imperative *vol
comment in response to
post
Thanks, now I see! I was comparing with Sp. huelga "strike," but now I see this word has a different history, coming from the verb holgar < Latin follicāre acc. to my dictionary. I guess something like *foligare > folgar > holgar w/ short 'o', and without the yod at any stage (?).
comment in response to
post
Thanks! It shares a lot of inflected forms with the common verb volar (to fly) so this would be a little confusing.
I like the detail of the irregular added <g> in the 1st person sing. present, but can you explain why it wouldn't be *vuelgo with the usual outcome for short o in stressed syllables?
comment in response to
post
Is there any evidence for a PGmc. form *þrilifa 'thirteen'? Why don't we have thrileven, fourven, fivven, ...?
comment in response to
post
In theory you could use "set-theoretic sleight of hand" to produce something countable (forcing extensions add new real numbers, which are countable objects; or using a weak version of AC). But Hollman's counterexample has a simple explicit definition, so should work in any model of ZF you like!
comment in response to
post
Personally, I complain about the hypocrisy of all those (and only those) who do not complain about their own hypocrisy.
comment in response to
post
I've gotten used to no pie. The saddest part for me (other than not being with my Dad) is how where I live there is Black Friday without Thanksgiving! Why adopt only the worst parts of our traditions?
comment in response to
post
Me, trying to guess the word for "wool" in a random Indo-European language: "I would like some huuwuulahunaa please"
comment in response to
post
Edit to add: I just realized it's enough for there to be no sentence phi in the intersection language such that T_1 implies phi and T_2 implies the negation of phi; then the union of T_1 and T_2 will be consistent.
comment in response to
post
Sorry, you lost me here, or maybe you lost me at "superseding theory" before. What does "better" mean? The union is perfectly fine to me...
If you want some nice way to axiomatize the union with a small set I doubt you could say much in general.
comment in response to
post
You'll want the intersection of T_1 and T_2 to be *complete* as well, or otherwise you get counterexamples. (E.g.: the intersection theory is the theory of linear orders, T_1 is theory of an ordered field, T_2 is Peano arithmetic.)
With completeness it's Robinson's Joint Consistency Theorem.
comment in response to
post
I thought the rule was: Latin /f/ is preserved in Spanish if it precedes a consonant. (And I think there are 3 possible consonant clusters in Latin beginning with /f/: /fl/, /fr/, and /fw/.)
E.g. Sp. flor, flecha, influir, ...
comment in response to
post
From WA Voter Intent manual: "Damaged ballots.
If inspection of the ballot reveals a physically damaged ballot or ballot that may be otherwise unreadable or uncountable by the tabulating system, the county auditor may refer the ballot to the county canvassing board or duplicate the ballot..."
comment in response to
post
Maybe relevant: WA state publishes a "Voter Intent manual" to train ppl to count the votes, emphasizing that voter intent is paramount. They even have a section on "Damaged ballots" there (RCW 29A.60.125), see
www.sos.wa.gov/_assets/elec...
comment in response to
post
All areas of math welcome. Feel free to ask me if you have any Q's, especially about what it's like to relocate to Colombia and work at Los Andes.
comment in response to
post
...and anecdotally, on the streets of Bogotá you will see a lot of Palestinian flags flying now, and hardly any yellow-and-blue ones.
comment in response to
post
I think this is right. Living in Colombia, I see that leftists here definitely remember the U.S. govt. supporting massacres of United Fruit workers, bloody coups of nearby leftist govts (Guatemala and Chile), etc. etc. So the U.S. has been a focal point of anti-imperialist sentiment for a long time.
comment in response to
post
As a native English speaker, my first thought was, "clearly it's meant as an adjective here," but the more I think about it, the less sure I am.
For context, there is a whole history of "Free X" slogans from revolutionary movements in the 1960s, e.g. "Free Huey [Newton]" (clearly a verb here).
comment in response to
post
Is modern French "bisou" (a kiss) also from the same root?
comment in response to
post
Four-in-hand, probably the classic canonical choice. You could try a half-Windsor but personally I feel thicker knots look silly on thin ties.
Reference: arxiv.org/pdf/2005.13000