Halting problem Turing machine Cryptanalysis of the Enigma Automatic Computing Engine Turing Award Turing Test Turing patterns
Àwọn ẹ̀bùn àyẹ́sí
Officer of the Order of the British Empire Fellow of the Royal Society
Alan Mathison Turing, OBE, FRS (/ˈtjʊərɪŋ/TEWR-ing; 23 June 1912 – 7 June 1954), je ara Ilegeesi onimomathimatiki, onimo ogbon, aseatuwoipamo ati asesayensi komputa. O ko ipa pataki ninu idagbasoke sayensi komputa, nipa pipese isodimudaju awon itumo "algoritmu" ati "isiropo" ("computation") pelu ero Turin, to kopa pataki ninu idasile komputa odeoni.[1] Turing je gbigba bi baba sayensi komputa ati laakaye afowoda.[2]
Argumentation theory · Axiology · Critical thinking · Computability theory · Formal semantics · History of logic · Informal logic · Logic in computer science · Mathematical logic ·Mathematics· Metalogic · Metamathematics · Model theory · Philosophical logic ·Philosophy· Philosophy of logic · Philosophy of mathematics · Proof theory · Set theory
Foundational concepts
Abduction · Analytic truth · Antinomy · A priori · Deduction · Definition · Description · Entailment · Induction · Inference · Logical consequence · Logical form · Logical implication · Logical truth ·Name· Necessity · Meaning · Paradox · Possible world · Presupposition · Probability · Reason · Reasoning · Reference · Semantics · Statement · Substitution · Syntax · Truth · Truth value · Validity
Formal language · Formation rule · Formal system · Deductive system · Formal proof · Formal semantics · Well-formed formula · Set · Element · Class · Classical logic · Axiom · Natural deduction · Rule of inference · Relation · Theorem · Logical consequence · Axiomatic system · Type theory · Symbol · Syntax · Theory
Traditional logic
Proposition · Inference · Argument · Validity · Cogency · Syllogism · Square of opposition · Venn diagram
Propositional calculus and Boolean logic
Boolean functions · Propositional calculus · Propositional formula · Logical connectives · Quantifiers · Truth tables
Set · Empty set · Enumeration · Extensionality · Finite set · Function · Subset · Power set · Countable set · Recursive set · Domain · Range · Ordered pair · Uncountable set
Model theory
Model · Interpretation · Non-standard model · Finite model theory · Truth value · Validity
Proof theory
Formal proof · Deductive system · Formal system · Theorem · Logical consequence · Rule of inference · Syntax
Computability theory
Recursion · Recursive set · Recursively enumerable set · Decision problem · Church–Turing thesis · Computable function · Primitive recursive function ·