Tag:Alan-turing
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Related Tags
logic math turing programming computability cs algorithms computing computation science decision ai entscheidungsproblem complete completeness computer λ pantelligence mathematics machines life_tracker ? automata-theory book cstheory asm article terms pc maths formal-language-theory alonzo-church first-order-predicate-calculus boolean german definition church david-hilbert gottfried-leibniz alan_turing archintro alonzo_church architecture alanturing ac arithmetic
Articles
- 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
- Turing completeness (1)
Retrieved from "http://en.wikipedia.org/wiki/Tag:Alan-turing"
