* American mathematician Alonzo Church created a method for defining functions called the λ-calculus,

At the University of Göttingen, Hilbert was surrounded by a social circle of some of the most important mathematicians of the 20th century, such as Emmy Noether and Alonzo Church.

The basis for later theoretical computer science, in Alonzo Church and Alan Turing also grew directly out of this ' debate '.

In 1936 and 1937, Alonzo Church and Alan Turing, respectively, published independent papers showing that a general solution to the Entscheidungsproblem is impossible.

This was done by Alonzo Church in 1936 with the concept of " effective calculability " based on his λ calculus and by Alan Turing in the same year with his concept of Turing machines.

The negative answer to the was then given by Alonzo Church in 1935 – 36 and independently shortly thereafter by Alan Turing in 1936 – 37.

* Alonzo Church, " An unsolvable problem of elementary number theory ", American Journal of Mathematics, 58 ( 1936 ), pp 345 – 363

* Alonzo Church, " A note on the Entscheidungsproblem ", Journal of Symbolic Logic, 1 ( 1936 ), pp 40 – 41.

* Alonzo Church, The Concept of a Random Sequence, 1940

The name refers to the lambda calculus, a mathematical formalism invented by Alonzo Church, with which LISP is intimately connected, and references the Knights Templar.

The use of mathematical logic to represent and execute computer programs is also a feature of the lambda calculus, developed by Alonzo Church in the 1930s.

It was first formulated by Alonzo Church as a way to formalize mathematics through the notion of functions, in contrast to the field of set theory.

The lambda calculus was introduced by mathematician Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics.

* Alonzo Church

Some notable mathematicians include Archimedes of Syracuse, Leonhard Euler, Carl Gauss, Johann Bernoulli, Jacob Bernoulli, Aryabhata, Brahmagupta, Bhaskara II, Nilakantha Somayaji, Omar Khayyám, Muhammad ibn Mūsā al-Khwārizmī, Bernhard Riemann, Gottfried Leibniz, Andrey Kolmogorov, Euclid of Alexandria, Jules Henri Poincaré, Srinivasa Ramanujan, Alexander Grothendieck, David Hilbert, Alan Turing, von Neumann, Kurt Gödel, Joseph-Louis Lagrange, Georg Cantor, William Rowan Hamilton, Carl Jacobi, Évariste Galois, Nikolay Lobachevsky, Rene Descartes, Joseph Fourier, Pierre-Simon Laplace, Alonzo Church, Nikolay Bogolyubov and Pierre de Fermat.

Newman subsequently arranged for Turing to visit Princeton where Alonzo Church was working on the same problem but using his Lambda calculus.

One of many distinguished students of Alonzo Church, Kleene, along with Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory.

Some pioneers of the theory of computation were Alonzo Church, Alan Turing, Stephen Kleene, John von Neumann and Claude Shannon.

A more mathematically oriented definition with a similar " universal " nature was introduced by Alonzo Church, whose work on lambda calculus intertwined with Turing's in a formal theory of computation known as the Church – Turing thesis.

* W. W. Boone and H. Rogers Jr., " On a problem of J. H. C. Whitehead and a problem of Alonzo Church ", Math.

Alonzo Church, inventor of the lambda calculus, developed a higher-order logic commonly called Church's Theory of Types, in order to avoid the Kleene – Rosser paradox afflicting the original pure lambda calculus.

The power and scope of combinatory logic is quite similar to that of the lambda calculus of Alonzo Church, and the latter formalism has tended to predominate in recent decades.

Von Mises never totally formalized his definition of a proper selection rule for sub-sequences, but in 1940 Alonzo Church defined it as any recursive function which having read the first N elements of the sequence decides if it wants to select element number N + 1.

The same sign also mentions that Wingate produced 4 Indiana Basketball Hall of Fame inductees ( Homer Stonebraker, Jesse Wood, Pete Thorn, and Alonzo Goldsberry ), 2 Football hall of famers, and was the site of the first electric basketball scoreboard.

In his method, Sor mentions: "[...] if I wanted an instrument, I would procure it from M. Joseph Martinez of Malaga, or from M. Lacote [...] The guitars to which I have always given the preference are those of Alonzo of Madrid, Pagès and Benediz of Cadiz, Joseph and Manuel Martinez of Malaga, or Rada, successor and scholar of the latter, and those of M. Lacote of Paris.

* In William Lumley and H. P. Lovecraft's " The Diary of Alonzo Typer " ( written in 1935 and published in 1938 ), part of the Cthulhu Mythos, there are mentions of the " Lords of Venus ", and conflicting indications that the Serpent People originated there.

Lisp was originally created as a practical mathematical notation for computer programs, influenced by the notation of Alonzo Church's lambda calculus.

* Fray Alonzo de Molina ( dates unknown ), author of a classic Nahuatl-Spanish Vocabulario

Most methods of diagramming in pedagogy are based on the work of Alonzo Reed and Brainerd Kellogg in their book Higher Lessons in English, first published in 1877, though the method has been updated with recent understanding of grammar.

Alonzo Church was born on June 14, 1903 in Washington, D. C. where his father, Samuel Robbins Church, was the judge of the Municipal Court for the District of Columbia.

* Alonzo Church interviewed by William Aspray on 17 May 1984.

Van Vliet was born Don Glen Vliet in Glendale, California, on January 15, 1941, to Glen Alonzo Vliet, a service station owner of Dutch ancestry from Kansas, and Willie Sue Vliet ( née Warfield ), who was from Arkansas.

An engraving of Harriet Beecher Stowe from 1872, based on an oil painting by Alonzo Chappel

Dream Team II, also made up of future Heat players Shaquille O ' Neal, Alonzo Mourning, Dan Majerle and Tim Hardaway, would go on to win the tournament.

On December 19, 2007, during the first quarter of the game versus the Atlanta Hawks while getting back on a fast-break, Alonzo Mourning tore the patellar tendon in his right knee and was required to undergo season-ending knee surgery.

Shortly after, Alonzo Wheeler settled on a point on the southwest side of the lake which is now called Wheeler's Point.

* Alonzo Horton, considered the second founder of the city of San Diego, California, and the founder of Hortonville, Wisconsin, was born in Union on October 24, 1813.

Alonzo Bennett platted the village of Bertrand in 1833 and became its first postmaster on June 9, 1834.

* 1629-Franciscan missionary Alonzo Benavides founds Santa Clara de Capo on the border of Apache Indian country in what is now New Mexico

John A. Alonzo, László Kovács, William A. Fraker and Douglas Slocombe worked on the pick-ups.

He wrote his Ph. D. thesis on Convergent Sequences of Complete Theories under the supervision of Alonzo Church while at Princeton, and defended his thesis in 1958.

Marcus Alonzo Hanna was born on September 24, 1837, in New Lisbon ( in 1895 renamed Lisbon ), Ohio, to Dr. Leonard and Samantha Hanna.

But Alonzo insists he can control the situation and gets permission from the Wise Men to " cash in on an account " with the caveat that he avoid a scandal.

Alonzo then reveals that the LAPD will run a blood test on Jake following the shooting, thus detecting the PCP he had smoked earlier.

Alonzo tries to get the crowd on his side by offering a reward to whoever kills Jake, but they have grown tired of Alonzo's arrogance and allow Jake to walk away with the money.

It was developed by Coach Amos Alonzo Stagg around the turn of the 19th to 20th century ; Landry was the first coach to use the approach on a regular basis.

Building on the shot-blocking power of Mutombo and teammate Alonzo Mourning, Georgetown fans created a " Rejection Row " section under the basket, adding a big silhouette of an outstretched hand to a banner for each shot blocked during the game.

Construction began in 1775 and the theatre was inaugurated on 30 September 1782 with a performance of the German composer Johann Gottlieb Naumann's Cora och Alonzo.