Formal number theory and computability | lit.salon