abacus abstract machine ada lovelace alan turing alfred north whitehead algebra algorism algorithm characterizations algorithm examples algorithmic efficiency algorithmic trading alonzo church analysis of algorithms analytical engine approximation algorithm arithmetic artificial intelligence astronomer asymptotically optimal automata axiom backtracking baghdad baudot code bertrand russell big o notation binary search algorithm block diagram branch and bound burali-forti paradox calculation calculus ratiocinator charles babbage chess claude shannon clock complexity class computational complexity theory computational geometry computer computer program computer science computing control flow cryptography data compression data processing data structure david hilbert deductive reasoning deterministic algorithm dictionary of algorithms and data structures difference engine digital object identifier distributed algorithms divide and conquer algorithm dynamic programming effective method english language entscheidungsproblem evolution export of cryptography false cognate feedback finite state machine flowchart formal semantics of programming languages formal system foundations of mathematics functional programming genetic algorithm genetic programming georg cantor george boole george stibitz giuseppe peano gottlob frege graph theory greatest common divisor greedy algorithm greek language greek mathematics halting problem heuristic hindu-arabic numeral system human brain hypercomputation imperative programming inequality introduction to algorithms islamic mathematics iteration jacquard loom jacques herbrand lambda calculus latin linear programming linguistics list of algorithm general topics list of algorithms list of terms relating to algorithms and data structures logic logic programming machine code machine learning mathworld mathematical table mathematician mathematics maximum flow problem memoization memory merge algorithm national institute of standards and technology natural language neural network numerical analysis open directory project optimal substructure parallel algorithm parsing partial function performance analysis persian people philosophy of mind pidgin code primitive recursive function principia mathematica programming language pseudocode randomness recursion relay roman numerals run-time analysis search algorithm selection algorithm simplex algorithm simulated annealing software patent debate sorting algorithm state diagram state transition table synthetic rubber tabu search termination analysis theory of computation ticker tape time timeline of algorithms treatise turing completeness turing machine unary numeral system unisys united states united states patent and trademark office verge escapement wikibooks wiktionary yuri gurevich