*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.*A Proof Assistant for Higher-Order Logic*, Isabelle tutorial, parts of chapters 1-7.

# Tag Archives: featured

# 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.

# Automatic complexity of Fibonacci arrays

# Journal of Logic and Analysis

*Journal of Logic and Analysis*. This is an open-access journal for Mathematical Logic and Analysis. Editorial board: A. Berarducci N. Cutland M. Di Nasso W. Henson K. Hrbacek Renling Jin A. Kechris J. Keisler B. Kjos-Hanssen T. Lindstrøm P. Loeb A. MacIntyre D. Ross Yeneng Sun

# The contract disclosure mandate

I was the discussant for this 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”.

# VC-dimensions for nondeterministic finite automata

# MATH 657 Spring 2020

Course title: “Recursive functions and complexity”

Textbook title: “A second course in formal languages and automata theory” by J. Shallit

Despite the intimidating titles this is just a graduate introduction to automata, computability, and complexity.

Possible additional topics: Automatic complexity and Python programming.