primitive recursive
101Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… …
102Rhetoric — This article is about the art of rhetoric in general. For the work by Aristotle, see Rhetoric (Aristotle). Painting depicting a lecture in a knight academy, painted by Pieter Isaacsz or Reinhold Timm for Rosenborg Castle as part of a series of… …
103Set (mathematics) — This article gives an introduction to what mathematicians call intuitive or naive set theory; for a more detailed account see Naive set theory. For a rigorous modern axiomatic treatment of sets, see Set theory. The intersection of two sets is… …
104Chrysippus — This article is about the philosopher. For other people named Chrysippus, see Chrysippus (disambiguation). Chrysippus of Soli Roman copy of a Hellenistic bust of Chrysippus, British Museum Full name Chrysippus of Soli Born c. 279 BC …
105A New Kind of Science —   Author(s) Stephen Wolfram Country …
106Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… …
107Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… …
108Metalogic — is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves.[1] According to… …
109Lá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 …
110Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… …
