# Connecting with computability

#### Two new papers accepted

with graduate students Birns (left) and Webb (right).- KL-randomness and effective dimension under strong reducibility (with David J. Webb). Computability in Europe, Lectures Notes in Computer Science, 2021.
- On the degrees of constructively immune sets (with Samuel D. Birns). Computability in Europe, Lectures Notes in Computer Science, 2021.

# MATH 454 Fall 2021

Watch this space for updates on the undergraduate course MATH 454 (Axiomatic Set Theory).

Textbook: Schimmerling’s “A course on set theory”

A similar course at the graduate level was MATH 654 Fall 2020, which had the following readings:

*Foundations of Mathematics*, Kenneth Kunen, parts of chapters I-IV.*Modal logic for open minds*, Johan van Benthem, some of chapters 1-11 and 16.- Logic and Proof, Lean tutorial, and The Natural Number Game

# Principles-based classification

I was the discussant for the following paper at Hawaii Accounting Research Conference 2020 on the UH Hilo campus:

The Contract Disclosure Mandate and Earnings Management under External Scrutiny

by Carlos Corona and Tae-Wook Ryan Kim

I learned that research in the Theory Track of the accounting discipline primarily is about mathematical modeling of the effects of government policies and business decisions. It borrows methods from economics for such modeling. In the case of the Corona-Kim paper: quadratic programming without constraints, and exponential utility functions. Usually these are not empirical papers, i.e., they don’t test the model explicitly against data. Indeed this would be hard to do with notions like “intensity of scrutiny”.

I am a discussant for “A theory of principles-based classification” by Konvalinka, Penno, and Stecher, at HARC 2021.

# Jaccard distance and Normalized Information Distance

# Connecting Normalized Information Distance and Jaccard distance

# How to play the Complexity Guessing Game

# Computability and Automatic Complexity

This new 42,000 USD grant from the Simons Foundation will support travel and collaboration during 2020-2025.

Pictured: Angsheng Li announcing TAMC 2020 in Changsha, China during TAMC 2019 in Kitakyushu, Japan.