This is a lecture series on the philosophy of mathematics given at Oxford University in Michaelmas Term 2020 by Joel David Hamkins, Professor of Logic. The l...

Recent results show that large language models struggle with compositional tasks, suggesting a hard limit to their abilities.

Hypothetical devices that can quickly and accurately answer questions have become a powerful tool in computational complexity theory.

Let's Not Dumb Down the History of Computer Science - Donald Knuth

induction grue bleen quus

false positive false negative prevalance testing sensitivity specificity

Puzzles