Tag:Computability
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Related Tags
math mathematics algorithms programming science logic np-complete recursion computation cs theory algorithm complexity turing computerscience np computing maths software research fsm ai computer-science computer language interesting optimization computer_science automata resources nfa decision church memory numbers computer.science xkcd function architecture tcs dsa classic huge entscheidungsproblem λ functions computability_theory recursion_theory compsci cstheory todo alan-turing wp complete proof cantor kolmogorov completeness wikipediapage costing .mylinks comsci algorytmy .toread/work complejidad complexitytheory discrete-time computational_complexity_theory cardinal_number cantor%27s_diagonal_argument idea real.analysis set_theory csci3434 diagonal_method math.settheory idea.key logika-ispit lookat proofs method later general_recursive_function hobby approximation alg nudge superfunctions number benchmark ackermann ackermann_function al theway gödel processdimensions inference referencemaps recursiontheory david-hilbert
Articles
- Turing completeness (5)
- Computability theory (computer science) (4)
- Recursion theory (3)
- Entscheidungsproblem (1)logic math wikipedia cs algorithms reference decision computing λ turing entscheidungsproblem computation computability church david-hilbert definition german first-order-predicate-calculus boolean gottfried-leibniz alan_turing alan-turing ai ac alanturing alonzo-church architecture archintro alonzo_church arithmetic
- Nondeterministic finite state machine (1)
- Theory of computation (1)computation science computerscience wikipedia theory language programming resources computing memory todo computer maths none lambdacalculus efficiency ps read wiki-todo dsa research-computation computability computational-complexity-theory compsci computer-science computer.science costing comsci discrete-time
- List of NP-complete problems (1)
- Ackermann function (1)math wikipedia recursion mathematics algorithm science algorithms programming interesting computer-science numbers maths xkcd ai function huge hobby later general_recursive_function nudge superfunctions functions logic computation ackermann_function ackermann benchmark compsci computability computational_complexity_theory
- Cantor's diagonal argument (1)
Retrieved from "http://en.wikipedia.org/wiki/Tag:Computability"
