In Spring 2021 I have a talk at the New England Recursion and Definability Seminar
In Fall 2021 I gave an invited talk in the workshop Automata Theory and Applications
In Fall 2021 I will speak in the Penn State Logic Seminar.
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.
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
I gave a talk in the online seminar “Computability Theory and Applications” on November 17, 2020, on
Normalized Information Distance and Jaccard distance
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.
This $7,705 grant from Decision Research Corporation will support work by undergraduate students, a grad student, and PI in their work on the automatic complexity of Fibonacci arrays, while exchanging knowledge between industry and the University.
Please watch this space for more information.
Professor David Ross
is the current Editor-in-Chief
of the Journal of Logic and Analysis
This is an open-access journal for Mathematical Logic and Analysis.
M. Di Nasso