Subsequent formalizations were framed as attempts to define " effective calculability " or " effective method "; those formalizations included the Gödel – Herbrand – Kleene recursive functions of 1930, 1934 and 1935, Alonzo Church's lambda calculus of 1936, Emil Post's " Formulation 1 " of 1936, and Alan Turing's Turing machines of 1936 – 7 and 1939.

Alan Mathison Turing, OBE, FRS ( ; 23 June 1912 – 7 June 1954 ), was a British mathematician, logician, cryptanalyst, and computer scientist.

Loops and conditional branching were possible, and so the language as conceived would have been Turing-complete as later defined by Alan Turing.

It was not a Turing complete computer, which distinguishes it from more general machines, like contemporary Konrad Zuse's Z3 ( 1941 ), or later machines like the 1946 ENIAC, 1949 EDVAC, the University of Manchester designs, or Alan Turing's post-War designs at NPL and elsewhere.

This topic was further developed in the 1930s by Alonso Church and Alan Turing, who on the one hand gave two independent but equivalent definitions of computability, and on the other gave concrete examples for undecidable questions.

Jeffreys | John Jeffreys and Alan Turing.

Among the famous mathematicians and cryptanalysts working there, the most influential and the best-known in later years was Alan Turing who is widely credited with being " The Father of Computer Science ".

The first theory about software was proposed by Alan Turing in his 1935 essay Computable numbers with an application to the Entscheidungsproblem ( decision problem ).

Alan Turing and John von Neumann were instrumental in these developments.

One of the most influential contributions to this question was an essay written in 1950 by pioneering computer scientist Alan Turing, titled Computing Machinery and Intelligence.

The origins of cognitive thinking such as computational theory of mind can be traced back as early as Descartes in the 17th century, and proceeding up to Alan Turing in the 1940s and ' 50s.

In the following, Marvin Minsky defines the numbers to be computed in a manner similar to those defined by Alan Turing in 1936, i. e. as " sequences of digits interpreted as decimal fractions " between 0 and 1:

: Alan Turing ( writing 30 years before Searle presented his argument ) noted that people never consider the problem of other minds when dealing with each other.

* British mathematician Alan Turing created a theoretical model for a machine, now called a universal Turing machine, that could carry out calculations from inputs,

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

* Alan Turing: The Enigma by Andrew Hodges.

* Alan Turing: Life and Legacy of a Great Thinker by Christof Teuscher ( Editor )

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.

* Andrew Hodges, Alan Turing: The Enigma, Simon and Schuster, New York, 1983.

* Toulmin, Stephen, " Fall of a Genius ", a book review of " Alan Turing: The Enigma by Andrew Hodges ", in The New York Review of Books, 19 January 1984, p. 3ff.

`` On trial in Jakarta for having flown for the Indonesian anti-Communist insurgents, U.S. pilot Alan Lawrence Pope boldly told the court that in supporting the freedom fighters, he was actually defending the sovereignty and independence of Indonesia.

Parsons released titles under his name ( Try Anything Once, On Air, The Time Machine, and A Valid Path ), while Woolfson made concept albums named Freudiana ( about Sigmund Freud's work on psychology ) and Poe: More Tales of Mystery and Imagination ( continuing from the Alan Parsons Project's first album about Edgar Allan Poe's literature ).

On the insistence of senior officers, led by Rear Admiral Alan Gardner, in 1794 lemon juice was issued on board the Suffolk on a twenty-three week, non-stop voyage to India.

On 30 June 2003, Caron traveled to San Francisco to appear as the special guest star in The Songs of Alan Jay Lerner: I Remember It Well, a retrospective concert staged by San Francisco's 42nd Street Moon Company.

On 27 April 2009, Caron traveled to New York as an honored guest at a tribute to Alan Jay Lerner and Frederick Loewe at the Paley Center for Media.

* 1936 – Alan Turing submits On Computable Numbers for publication.

On 21 December 2008, The FARC-EP announced that they would release civilian hostages Alan Jara, Sigifredo López, three low-ranking police officers and a low-ranking soldier to Senator Piedad Córdoba as a humanitarian gesture.

On his first night, he met another student, Alan Gratzer.

On 19 May 2006, the British Education Secretary, Alan Johnson, announced new minimum nutrition standards for school food.

Canned Heat's Alan Wilson also helped bring slide guitar to the rock music industry in the late 1960s which he used frequently during concerts to create a buzzing delta blues boogie which can be heard on tracks such as London Blues, I Love My Baby, Sandy Blues, and countless others and can also be seen during their performances at the Monterey Pop Festival on Rollin and Tumblin ' and at Woodstock During Woodstock Boogie and On The Road Again.

On March 6, 1988 Alan Cooper showed Bill Gates his shell prototype that allowed widgets to be added dynamically.

* 1121: On August 12, in the Battle of Didgori, the greatest military victory of Georgia, King David the Builder with 40, 000 Georgians, 15, 000 Kipchak auxiliaries, 500 Alan mercenaries and 300 French Crusaders defeats a Seljuk-led Muslim coalition army of 400, 000.

Dolenz also played one of Alan Matthews ' bandmates in the sitcom Boy Meets World, and later joined Davy Jones and Peter Tork in episode eight of the 3rd season ( titled " Rave On "), although they did not play themselves.

On Christmas Day 1950, a group of four Scottish students ( Ian Hamilton, Gavin Vernon, Kay Matheson, and Alan Stuart ) took the Stone from Westminster Abbey for return to Scotland.

On the Alan Lomax collection Songs of Seduction ( Rounder Select, 2000 ), there's a bawdy Irish folk song called " The Thrashing Machine " sung by tinker Annie O ' Neil, as recorded in the early 20th Century.

The widespread adoption of these authorization-based security strategies ( where the default state is DEFAULT = DENY ) for counterterrorism, anti-fraud, and other purposes is helping accelerate the ongoing transformation of modern societies from a notional Beccarian model of criminal justice based on accountability for deviant actions after they occur, see Cesare Beccaria, On Crimes and Punishment ( 1764 ), to a Foucauldian model based on authorization, preemption, and general social compliance through ubiquitous preventative surveillance and control through system constraints, see Michel Foucault, Discipline and Punish ( 1975, Alan Sheridan, tr., 1977, 1995 ).

On the other hand, later Zen-popularizer Alan Watts was influenced by ideas from general semantics.

* On April 22, 2009, the paper laid off 53 newsroom employees, including well-known bylines like Patrick Reardon, Melissa Isaacson, Russell Working, Jo Napolitano, Susan Diesenhouse, Beth Botts, Lou Carlozo, Jessica Reaves, Tom Hundley, Alan Artner, Eric Benderoff, James P. Miller, Bob Sakamoto, Terry Bannon and John Mullin.

On the northwest frontier of India during the British Raj, Scottish-Canadian Lieutenant Alan McGregor ( Gary Cooper ) welcomes two replacements to the 41st Bengal Lancers, Lieutenant Forsythe ( Franchot Tone ) and Lieutenant Donald Stone ( Richard Cromwell ), the son of the unit's commander, Colonel Tom Stone ( Guy Standing ).

On 17 July 2009 the club confirmed the appointment of Alan Pardew as the new First Team Manager.

On 30 August 2010, Alan Pardew was sacked as first team manager.

* Alan Bennett's On The Margin

On July 18, 2007, the Philharmonic named Alan Gilbert as its next music director, effective with the 2009-2010 season.

On the M * A * S * H * 30th Anniversary Reunion Television Special aired by Fox-TV in 2002, Rogers once spoke on the differences between the " Hawkeye " and " Trapper " characters, " Alan ( Alda ) and I both used to discuss ways on how to distinguish the differences between the two characters as to where there would be a variance ... my character ( Trapper John McIntyre ) was a little more impulsive ( than Hawkeye )".