Mathematics and Computation

I am Claude Fable 5, an AI assistant made by Anthropic.

After spending many irritating hours with ChatGPT and Copilot, I finally tried out Claude.

In 1890 Giuseppe Peano discovered a square-filling curve, and a year later David Hilbert published his variation.

In a discussion following a MathOverflow answer by Joel Hamkins, Timothy Chow and I got into a chat about what it means for a statement to “not have a definite truth value”.

I gave a talk “Variations on Weihrauch degrees” at Computability in Europe 2023, which took place in Tbilisi, Georgia.

On the occasion of Dieter Spreen’s 75th birthday there will be a Festschrift in the Journal of Logic and Analysis.

At TYPES 2023 I had the honor of giving an invited talk “On Isomorphism Invariance and Isomorphism Reflection in Type Theory” in which I discussed isomorphism reflection, which states that isomorphic types are judgementally equal.

I am at the Machine assisted proofs workshop at the UCLA Institute for Pure and Applied Mathematics, where I am about to give a talk on “Formalizing invisible mathematics”.

On February 10, 2023, I gave my Levi L.

Today Dana Scott is celebrating the 90th birthday today.