EntityQ1427965· pop 16· linked from 90 articlesbusy beaverSign in to savea halting, binary-alphabet Turing machine which writes the most 1s on the tape, using only a limited set of statesConnectionsGödel's incompleteness theoremsEntitycountable setEntityunary numeral systemEntityZermelo–Fraenkel set theoryEntityAckermann functionEntityKolmogorov complexityEntitycomputable functionEntityInternational Standard Book NumberEntityalgorithmEntitynatural numberEntityWayback MachineEntitycomputer programEntitymathematical proofEntitydigital object identifierEntityInternational Standard Serial NumberEntityPaul ErdősEntityQ364Entityphysical quantityEntityTuring machineEntityJSTOROrganizationCategoriesComputability theoryLarge integersMetaphors referring to animalsTheory of computation