degree of definability
11Wadge hierarchy — In descriptive set theory, Wadge degrees are levels of complexity for sets of reals and more comprehensively, subsets of any given topological space. Sets are compared by continuous reductions. The Wadge hierarchy is the structure of Wadge… …
12Bachelor — This article is about the term for an unmarried man. For other uses, see Bachelor (disambiguation). A bachelor is a man above the age of majority who has never been married (see single person). Unlike his female counterpart, the spinster, a… …
13History of logic — Philosophy ( …
14Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… …
15Emil Leon Post — Infobox Scientist name = Emil Leon Post image width = birth date = February 11, 1897 birth place = Augustów, then Russian Empire death date = April 21 1954, death place = New York City, flagicon|USA U.S. residence = nationality = field =… …
16PP (complexity) — In complexity theory, PP is the class of decision problems solvable by a probabilistic Turing machine in polynomial time, with an error probability of less than 1/2 for all instances. The abbreviation PP refers to probabilistic polynomial time.… …
17logic, 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 …
18Rosmini and Rosminianism — • Antonio Rosmini Serbati, philosopher, and founder of the Institute of Charity, born 24 March, 1797, at Rovereto, Austrian Tyrol; died 1 July, 1855, at Stresa, Italy Catholic Encyclopedia. Kevin Knight. 2006. Rosmini and Rosminianism …
19Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… …
- 1
- 2
