Find link

language:

Find link is a tool written by Edward Betts.

searching for Mathematical logic 21 found (1853 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

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

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

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

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

The Higher Infinite (658 words) [view diff] case mismatch in snippet view article find links to article

published in 1994 by Springer-Verlag in their series Perspectives in Mathematical Logic, with a second edition in 2003 in their Springer Monographs in Mathematics

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

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

List of lemmas (524 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

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

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

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

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

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

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