press proof
111Argumentation theory — Argumentation theory, or argumentation, embraces the arts and sciences of civil debate, dialogue, conversation, and persuasion; studying rules of inference, logic, and procedural rules in both artificial and real world settings. Argumentation is… …
112Alhazen — For the Moon crater, see Alhazen (crater). For the asteroid, see 59239 Alhazen. Alhazen Alhazen (Ibn al Haytham) …
113Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …
114Alan Turing — Turing redirects here. For other uses, see Turing (disambiguation). Alan Turing Turing at the time of his election to Fellowship of the Royal Society …
115Classification of finite simple groups — Group theory Group theory …
116Defamation — This article is about the malicious statement. For the 2009 film, see Defamation (film). Libel and Slander redirect here. For other uses, see Libel (disambiguation) and Slander (disambiguation). Vilification and Calumny redirect here. For the… …
117Occam's razor — For the aerial theatre company, see Ockham s Razor Theatre Company. It is possible to describe the other planets in the solar system as revolving around the Earth, but that explanation is unnecessarily complex compared to the modern consensus… …
118Early Islamic philosophy — or classical Islamic philosophy is a period of intense philosophical development beginning in the 2nd century AH of the Islamic calendar (early 9th century CE) and lasting until the 6th century AH (late 12th century CE). The period is known as… …
119George Boolos — Infobox Person name = George Boolos birth date = birth date|1940|9|4|mf=y birth place = New York, New York, U.S. death date = death date and age|1996|5|27|1940|9|4|mf=y death place = Cambridge, Massachusetts, U.S.George Stephen Boolos (September… …
120Existence of God — Part of a series on God General conceptions …
