degree of undecidability
21Metalogic — 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… …
22List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… …
23Block cellular automaton — The Margolus neighborhood for a two dimensional block cellular automaton. The partition of the cells alternates between the set of 2 × 2 blocks indicated by the solid blue lines, and the set of blocks indicated by the dashed red lines. A block… …
24History of Christian theology — This is an overview of the history of Christian theology from the time of Christ to the present.Key themesThe TrinityIn Christianity, the doctrine of the Trinity states that God is one being who exists, simultaneously and eternally, as a mutual… …
25Walter Carnielli — Walter Alexandre Carnielli (born on 11 January in 1952 in Campinas, Brazil) is a Brazilian mathematician, logician, and philosopher of international recognition, full professor of Logic at the State University of Campinas (UNICAMP). With a… …
26Chauvenet-Preis — Der Chauvenet Preis ist die höchste US amerikanische Auszeichnung für erklärende Darstellung mathematischer Erkenntnisse (Expository Mathematical Writing) und wird von der Mathematical Association of America (MAA) jährlich vergeben. Der Preis ist …
27set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… …
28logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher …
