All Stories

  1. Teaching History of Computing

    Article • September 2023, ACM (Association for Computing Machinery)

    John Tucker

  2. Local Histories of Computing

    Article • September 2023, ACM (Association for Computing Machinery)

    John Tucker

  3. Eager Equality for Rational Number Arithmetic

    Article • ACM Transactions on Computational Logic, January 2023, ACM (Association for Computing Machinery)

    John Tucker

  4. THREE FORMS OF PHYSICAL MEASUREMENT AND THEIR COMPUTABILITY

    Article • The Review of Symbolic Logic, September 2014, Cambridge University Press

    Professor José Félix Costa, John Tucker

  5. Axiomatizing physical experiments as oracles to algorithms

    Article • Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, June 2012, Royal Society Publishing

    John Tucker