149 citations · 517 across the 29 of their papers we have counts for
11 papers · 1 filter
An Impossible Asylum
Jeremy Avigad, Seulkee Baek, Alexander Bentkamp +2
In 1982, Raymond Smullyan published an article, "The Asylum of Doctor Tarr and Professor Fether," that consists of a series of puzzles. These were later reprinted in the anthology,…
On the computability of graphons
Nathanael L. Ackerman, Jeremy Avigad, Cameron E. Freer +2
We investigate the relative computability of exchangeable binary relational data when presented in terms of the distribution of an invariant measure on graphs, or as a graphon in e…
Proof Theory
Jeremy Avigad
Proof theory began in the 1920's as a part of Hilbert's program, which aimed to secure the foundations of mathematics by modeling infinitary mathematics with formal axiomatic syste…
Homotopy limits in type theory
Jeremy Avigad, Chris Kapulkin, Peter LeFanu Lumsdaine
Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges…
Computability and analysis: the legacy of Alan Turing
Jeremy Avigad, Vasco Brattka
We discuss the legacy of Alan Turing and his impact on computability and analysis.
Uniform distribution and algorithmic randomness
Jeremy Avigad
A seminal theorem due to Weyl states that if (a_n) is any sequence of distinct integers, then, for almost every real number x, the sequence (a_n x) is uniformly distributed modulo…