degree of undecidability
11Doxastic logic — is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means belief. Typically, a doxastic logic uses Bx to mean It is believed that x is the case, and the set denotes a set of… …
12mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… …
13History of group theory — The history of group theory, a mathematical domain studying groups in their various forms, has evolved in various parallel threads. There are three historical roots of group theory: the theory of algebraic equations, number theory and geometry.… …
14Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… …
15History of logic — Philosophy ( …
16List of Princeton University people — This is a table of notable people affiliated with Princeton University, including graduates of the undergraduate college and all graduate programs, former students, and former professors. Some noted current faculty are also listed in the main… …
17Logic — For other uses, see Logic (disambiguation). Philosophy …
18positivism — positivist, adj., n. positivistic, adj. positivistically, adv. /poz i teuh viz euhm/, n. 1. the state or quality of being positive; definiteness; assurance. 2. a philosophical system founded by Auguste Comte, concerned with positive facts and… …
19Saul Kripke — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE name = Saul Kripke birth = birth date and age|1940|11|13 death = school tradition = Analytic main interests = Logic (particularly modal) Philosophy of… …
20Abstraction (computer science) — In computer science, abstraction is the process by which data and programs are defined with a representation similar to its pictorial meaning as rooted in the more complex realm of human life and language with their higher need of summarization… …
