church - rosser theorem
1Church–Rosser theorem — The Church–Rosser theorem states that if there are two distinct reductions starting from the same lambda calculus term, then there exists a term that is reachable from each reduct via a (possibly empty) sequence of reductions. This is symbolized… …
2Church-Rosser-Theorem — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… …
3Satz von Church-Rosser — Das Church Rosser Theorem (bewiesen im Jahr 1936 von Alonzo Church und John Barkley Rosser) ist ein wichtiges Resultat aus der Theorie des Lambda Kalküls. Eine Konsequenz dieses Theorems ist, dass jeder Term des Lambda Kalküls höchstens eine… …
4Church–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… …
5Alonzo Church — This article is about the mathematician and logician. For the president of the University of Georgia, see Alonzo S. Church. Alonzo Church Alonzo Church (1903–1995) …
6J. Barkley Rosser — Infobox Scientist box width = name = John Barkley Rosser image size = caption = birth date = 1907 birth place = death date = 1989 death place = residence = citizenship = USA nationality = USA ethnicity = fields = Mathematical logic Number theory… …
7Rosser's trick — For the theorem about the sparseness of prime numbers, see Rosser s theorem. For a general introduction to the incompleteness theorems, see Gödel s incompleteness theorems. In mathematical logic, Rosser s trick is a method for proving Gödel s… …
8History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …
9History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …
10Abstract rewriting system — In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… …
