Find link

language:

Find link is a tool written by Edward Betts.

searching for Mathematical logic 27 found (1854 total)

alternate case: mathematical logic

Heinrich Scholz (3,086 words) [view diff] case mismatch in snippet view article find links to article

environment for his students to thrive. He founded the Institute of Mathematical Logic and Fundamental Research at the University of Münster in 1936, which

Indeterminacy in concurrent computation (1,318 words) [view diff] exact match in snippet view article find links to article

they cannot be deduced from prior information by mathematical logic alone. Therefore, mathematical logic cannot implement concurrent computation in open

Exponential hierarchy (697 words) [view diff] case mismatch in snippet view article find links to article

Lauri Hella, Capturing relativized complexity classes without order, Mathematical Logic Quarterly 44 (1998), no. 1, pp. 109–122. Hemachandra, Lane A. (1989)

Boolean hierarchy (574 words) [view diff] no match in snippet view article find links to article

The boolean hierarchy is the hierarchy of boolean combinations (intersection, union and complementation) of NP sets. Equivalently, the boolean hierarchy

Torsion group (635 words) [view diff] exact match in snippet view article find links to article

44 (1980), 309–321 Ebbinghaus, H.-D.; Flum, J.; Thomas, W. (1994). Mathematical logic (2. ed., 4. pr. ed.). New York [u.a.]: Springer. pp. 50. ISBN 978-0-387-94258-2

Projective hierarchy (483 words) [view diff] no match in snippet view article find links to article

In the mathematical field of descriptive set theory, a subset A {\displaystyle A} of a Polish space X {\displaystyle X} is projective if it is Σ n 1 {\displaystyle

Association for Logic, Language and Information (290 words) [view diff] no match in snippet view article find links to article

The Association for Logic, Language and Information (FoLLI) is an international, especially European, learned society. It was founded in 1991 "to advance

Algebra i Logika (257 words) [view diff] no match in snippet view article find links to article

Algebra i Logika (English: Algebra and Logic) is a peer-reviewed Russian mathematical journal founded in 1962 by Anatoly Ivanovich Malcev, published by

Algebra i Logika (257 words) [view diff] no match in snippet view article find links to article

Algebra i Logika (English: Algebra and Logic) is a peer-reviewed Russian mathematical journal founded in 1962 by Anatoly Ivanovich Malcev, published by

European Summer School in Logic, Language and Information (191 words) [view diff] no match in snippet view article find links to article

The European Summer School in Logic, Language and Information (ESSLLI) is an annual academic conference organized by the European Association for Logic

Warren Goldfarb (369 words) [view diff] case mismatch in snippet view article find links to article

1949) is Walter Beverly Pearson Professor of Modern Mathematics and Mathematical Logic at Harvard University. He specializes in the history of analytic philosophy

Wadge hierarchy (1,336 words) [view diff] exact match in snippet view article find links to article

functions Borel–Wadge degrees. Analytical hierarchy – Concept in mathematical logic and set theory Arithmetical hierarchy – Hierarchy of complexity classes

Axiom of extensionality (1,879 words) [view diff] case mismatch in snippet view article find links to article

(z\in x\right.\leftrightarrow \left.z\in y\right.)} , as in Quine's Mathematical Logic (1951). The second version of the definition is exactly equivalent

Warren Sturgis McCulloch (2,759 words) [view diff] exact match in snippet view article find links to article

with modern understanding of VOF. In 1919 he began to work mainly on mathematical logic, and by 1923 he attempted to make a logic of transitive verbs. His

List of lemmas (525 words) [view diff] no match in snippet view article find links to article

This following is a list of lemmas (or, "lemmata", i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list

Computability in Europe (865 words) [view diff] no match in snippet view article find links to article

The Association Computability in Europe (ACiE) is an international organization of mathematicians, logicians, computer scientists, philosophers, theoretical

MIPT Terrorism Knowledge Base (550 words) [view diff] exact match in snippet view article find links to article

significant participant was Cyc, which encoded the knowledge base in mathematical logic, and allowed complex logical queries over the knowledge base. The

Dovid Gottlieb (251 words) [view diff] exact match in snippet view article find links to article

Jerusalem. An author and lecturer, Rabbi Gottlieb received his Ph.D. in mathematical logic at Brandeis University and later become Associate Professor of Philosophy

Difference hierarchy (225 words) [view diff] no match in snippet view article find links to article

In set theory, a branch of mathematics, the difference hierarchy over a pointclass is a hierarchy of larger pointclasses generated by taking differences

Elliott Mendelson (662 words) [view diff] case mismatch in snippet view article find links to article

calculus, game theory and mathematical analysis. His Introduction to Mathematical Logic, first published in 1964, was reviewed by Dirk van Dalen who noted

Moses Schönfinkel (945 words) [view diff] exact match in snippet view article find links to article

mathematischen Logik [On the building blocks of mathematical logic]. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Translated by Bauer-Mengelberg

Frank Ramsey (mathematician) (4,296 words) [view diff] case mismatch in snippet view article

und Physik, 38: 173–198. Quine, W.V. (1937), "New Foundations for Mathematical Logic". American Mathematical Monthly, 44: 70–80. Goldman, Alvin; Beddor

Edward Marczewski (279 words) [view diff] exact match in snippet view article find links to article

published papers on real and complex analysis, applied mathematics and mathematical logic. Marczewski proved that the topological dimension, for arbitrary metrisable

Valdis Birkavs (237 words) [view diff] exact match in snippet view article find links to article

Latvia, where he studied philosophy, sociology, law, psychology and mathematical logic. He was first elected to the Latvian parliament in 1990 and helped

Gholamhossein Mosahab (494 words) [view diff] exact match in snippet view article find links to article

(Introduction to Formal Logic) was the first scholarly writing in mathematical logic to be published in Iran. This work was given a positive review in

Programming paradigm (2,699 words) [view diff] exact match in snippet view article find links to article

answer to a question about a system of facts and rules, uses explicit mathematical logic for programming reactive – a desired result is declared with data

Izvestiya: Mathematics (190 words) [view diff] exact match in snippet view article find links to article

mathematics but pays special attention to: algebra, algebraic geometry, mathematical logic, number theory, mathematical analysis, geometry, topology, and differential