EntityQ5347270· pop 10· linked from 53 articleseffective methodSign in to saveproblem-solving procedures with certain characteristicsConnectionsInternational Standard Book NumberEntityalgorithmEntitymathematical proofEntitydigital object identifierEntitymathematical logicEntitycreativityEntityOCLC, Inc.EntityTuring machineEntityGödel's incompleteness theoremsEntityproblem solvingEntitylambda calculusEntitycomputability theoryEntityCantor's theoremEntityfoundations of mathematicsEntityChurch–Turing thesisEntityStephen Cole KleeneEntityarithmetic functionEntityconsistencyEntitydecision problemEntitymetalogicEntityCategoriesComputability theoryMetalogicTheory of computation