John Goodrick

Mathematician at Universidad de los Andes (Colombia). Interested in logic, math, languages, etc. Not so active here anymore, find me @[email protected]

[John Goodrick @skolemizer]

Sure, what the heck, me too! I'll try Mastodon for a little while at least (or "Mathstodon"?) Look for me there if you're interested.

[John Goodrick @skolemizer]

@TimHenke9 You'll want to look at Proto-Italic, which was intermediate between PIE and Latin. Romance nouns in -a mostly derive from Proto-Italic ā stems:
https://t.co/6c3R5F2yca

[John Goodrick @skolemizer]

@evanewashington "Hey Aquaman, has anyone ever told you that you exactly like film star Jason Momoa? That's great, so you can create a distraction..."

[John Goodrick @skolemizer]

We're hiring! Both tenure-track (assistant prof.) and post-doc positions Universidad de los Andes math dept., both to start August 2023, deadline November 20, apply on MathJobs: https://t.co/Q5iEjefI72
Not necessary to know Spanish. Any Q's, feel free to ask me!

[John Goodrick @skolemizer]

@littmath @YitziLitt @uberwensch_ And this is basically the same trick as used to prove Kleene's Recursion Theorem! For instance: given any reasonable system of encoding all Turing machines as finite binary strings, there is a Turing machine which just prints out an encoding for itself, then halts.

[John Goodrick @skolemizer]

Tired parenting: mangling the words to lullabies and trying to recover through improvisation.
"And if that billy goat won't sing,\\
then, uh... Papa's gonna buy you that other thing."

[John Goodrick @skolemizer]

@evanewashington Is he riffing on Hegelian dialectics?? Thesis: BLM, Antihesis: WLM, Synthesis: White Lies Matter...

[John Goodrick @skolemizer]

@evanewashington He's criticizing Kanye, apparently: https://t.co/WuTRggrz5t (But no idea what Hegel has to do with this..)

[John Goodrick @skolemizer]

@n_g_laskowski I was never told this as an undergrad student in math in the 90's! But slightly later as a math grad student: "cool that they pay me to do math, might as well try to follow this path as long as I can, I can always get another job later if I have to."

[John Goodrick @skolemizer]

Source: "Tempest over Mexico" by Rosa E. King. A curious memoir, answering the question, "what was it like to witness the 1911 arrival of the Zapatistas in Cuernavaca from the perspective of a wealthy and clueless Englishwoman?"

[John Goodrick @skolemizer]

Lost in translation.

[John Goodrick @skolemizer]

@Category_Fury @littmath Me in a oral exam: "Maybe I didn't say every last syllable, but yeah, basically the Sorgenfrey half-open square topology is what I meant."

[John Goodrick @skolemizer]

LAWYER: So this concept is not definable because there is an automorphism such that...
CHIEF JUSTICE ROBERTS: I'm sorry, a what now?
LAWYER: An automorphism. A structure-preserving self-bijection.
JUSTICE KAVANAUGH: I like that word.
JUSTICE GORSUCH: Automorphism, ooh. (Laughter)

[Artem Chernikov @archernikov]

A very interesting looking course on applications of model theory in law.

[John Goodrick @skolemizer]

To help my discrete math students prepare for their first exam this Friday, I decided that today I would release a partially redacted version of the test.

[John Goodrick @skolemizer]

@littmath A good professor must teach Russell's Paradox to all people -- and to only those people -- who do not teach it to themselves.

[John Goodrick @skolemizer]

@KamerynJW I can understand erasing Staten Island, but the entirety of Harlem, less so.

[John Goodrick @skolemizer]

@lisafdavis Thanks, really cool! Interestingly, it looks similar in form and content to codices made by the Spanish-colonized Yucatec Maya in the 17-18th centuries (Books of Chilam Balam), though I know the separation in time and space means there couldn't be be a direct link.

[John Goodrick @skolemizer]

@JohannaF_math @TienChihMath @Category_Fury I still remember when I wrapped up a bit of left over fried rice at a restaurant explaining "it's for our rats" and the look the owner gave us.

[John Goodrick @skolemizer]

There's a lot we still don't know about the possible growth rates of f_{Aut(M)} and how they interact with model-theoretic properties of M, and I hope Felipe will continue studying this! (9/n, n = 9)

[John Goodrick @skolemizer]

🎉Congratulations to my student Felipe Estrada who just successfully defended his master's thesis "Orbital Growth Rates of ω-categorical Structures"! A short thread in case you are curious what he did: (1/n)

[John Goodrick @skolemizer]

Felipe got some new results even in the simple case of expansions of (Q, <) by a unary predicate, showing that if such an expansion is ω-categorical, then its orbital growth rate is bounded by some exponential function. He also constructed interesing examples of this. (8/n)