primitive recursive term
71László Kalmár — (March 271905 August 21976) was a Hungarian mathematician and Professor at the University of Szeged. Kalmár is considered the founder of mathematical logic and theoretical Computer Science in Hungary. His early life mixed promise and tragedy. His …
72Finitary relation — This article sets out the set theoretic notion of relation. For a more elementary point of view, see Binary relation. For a combinatorial viewpoint, see Theory of relations. For other uses, see Relation (disambiguation). In set theory and logic,… …
73Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …
74Alan 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 …
75Axiology — (from Greek ἀξίᾱ, axiā, value, worth ; and λόγος, logos) is the philosophical study of value. It is either the collective term for ethics and aesthetics[1] philosophical fields that depend crucially on notions of value or the foundation for these …
76Intuitionism — This article is about Intuitionism in mathematics and philosophical logic. For other uses, see Ethical intuitionism. In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach to mathematics as …
77William of Ockham — Full name William of Ockham Born c. 1288 Ockham, England Died 1347 or 1348 Munich, Holy Roman Empire …
78Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… …
79Averroes — Ibn Rušd (ابن رشد) Averroes Statue of Averroes in Cordoba Full name ʾAbū l Walīd Muḥammad ibn ʾAḥmad ibn Rušd …
80Fact — For other uses, see Fact (disambiguation). A fact (derived from the Latin Factum, see below) is something that has really occurred or is actually the case. The usual test for a statement of fact is verifiability, that is whether it can be shown… …
