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.

Subsequent attempts by Emperor Augustus to annex territories east of the Rhine were abandoned, after Arminius annihilated three Roman legions at the Battle of the Teutoburg forest in 9 AD.

Subsequent attempts to prove Salisbury's involvement, such as Francis Edwards's 1969 work Guy Fawkes: the real story of the gunpowder plot ?, have similarly foundered on the lack of any clear evidence.

Subsequent attempts to verify the claims requested payroll cards from employers to verify employment, and found that the minimum wage increases were followed by decreases in employment.

Subsequent attempts to forge an agreement in the 1930s came to naught as the Ontario government of Mitchell Hepburn, along with Quebec, got in the way.

Subsequent measurement attempts arrived at values ranging from 2, 500 to 6, 000 km, or from slightly smaller than our Moon to nearly half the diameter of Earth.

Subsequent attempts to climb Lenin Peak could not begin until 1950, when the USSR began to recover from the Second World War.

Subsequent attempts to train homing behaviour into swallows and other passerines had difficulty establishing a statistically significant success rate, although the birds have been known to trap themselves repeatedly in order to obtain bait from traps.

Subsequent attempts to replicate the study by injecting sufficient venom to ensure envenomation have failed to produce necrotic lesions, and there is even question as to whether the lesions observed in the original study were necrotic.

Subsequent kings of France sought to control Brittany in part because of the attempts of the king of England and the king of Spain to control the Duchy.

( Subsequent episodes touched on her attempts to adjust to her new world ).

Subsequent rebuilding attempts were also dismantled.

Subsequent attempts by scholars to view the manuscript have been unsuccessful.

Subsequent attempts to find a gay leader who would give an apologetic statement proved unsuccessful.

Subsequent funding cutbacks at the government-supported CBC, however, led to Beachcombers being cancelled even though it was still popular in its homeland and had been syndicated around the world, though attempts to revamp the series by giving it more suspenseful storylines and making it more action-oriented had met with much fan criticism.

Subsequent attempts to rehabilitate the rapist character of Todd, however, unnerved Howarth.

Subsequent attempts by producers to have him return in 2005 and 2006 did not meet with success.

Subsequent repair attempts by the crew cause an explosive decompression that breaks open a medical shipment of Senegal Flu, and the plane is refused landing rights in Europe.

Subsequent attempts to open the file must be compatible with all previously granted sharing-access to the file.

Subsequent attempts to ' complete ' the National Monument have never borne fruit for reasons of either cost or lack of local enthusiasm.

Subsequent and prolonged comeback attempts all failed, and by the end of the season, Milwaukee released Vuckovich.

Subsequent attempts to describe the behavior of polarity items rely on a broader notion of nonveridicality.

Subsequent attempts by the Catholics to regain the property through legal proceedings against the Calvinists were hindered by the fact that the exact location of the documents pertaining to the church were unknown.

Subsequent attempts to locate this site have been unsuccessful.

Subsequent events, however, would briefly revive the party's fortunes in the city.

Subsequent fellowships such as Narcotics Anonymous have adopted and adapted the Twelve Steps and the Twelve Traditions to their respective primary purposes.

Subsequent mentions in Supreme Court opinions beginning in the mid-20th century have assumed that it would today be found unconstitutional.

Subsequent Reports to Congress have documented chemical changes in soil and freshwater ecosystems, nitrogen saturation, decreases in amounts of nutrients in soil, episodic acidification, regional haze, and damage to historical monuments.

Subsequent to the discovery of the CMB, hundreds of cosmic microwave background experiments have been conducted to measure and characterize the signatures of the radiation.

Subsequent scholars examining the Italian and Spanish texts have been unable, however, to confirm Toland's observation.

" Subsequent gatherings of the Pythons have included an urn said to contain Chapman's ashes.

Subsequent versions are the same but have an updated Windows Media Center.

Subsequent decisions by regulators in the US have been criticized as hubristic.

Subsequent activations of the button between the initial activation and the request being satisfied have no effect.

Subsequent albums have explored other musical directions such as pop, rock and electronica.

Subsequent sets have featured no new cards featuring Nevinyrral, although the character is sporadically quoted on the flavor text of various cards.

Subsequent mannerists stressed intellectual conceits and artistic virtuosity, features that have led later critics to accuse them of working in an unnatural and affected " manner " ( maniera ).

Subsequent historians examining the Early Modern witch trials, particularly Carlo Ginzburg, Eva Pocs and Emma Wilby have also emphasised that the accounts in many of the witch trials represent visionary experiences, containing within them imaginary and surreal elements, which goes against Murray's rationalization of the trial accounts.

Subsequent holders of the title have included her successor as Irish president Mary McAleese, Professor John F. Larkin Q. C., Irish Human Rights Commissioner and prominent pro-choice activist Senator Ivana Bacik.

Subsequent artists to have releases on the label include Ape School, Cougar, cross-genre punk band The Death Set and The Heavy.

Subsequent composers have tended to follow Wagner's example, though some, such as Stravinsky in his The Rake's Progress have bucked the trend.

Subsequent tours have since been created by PokerStars, such as Latin American Poker Tour and Asia Pacific Poker Tour, as well as other national tours.

Subsequent stages in the process have more in common with etching than with lithographic printing.

Subsequent to the development of the Shoe Doctrine, states have enacted so-called long-arm statutes, by which courts in a state can serve process and thus exercise jurisdiction over a party located outside the state.

Subsequent experiments and observations have supported the initial evolutionary explanation of the phenomenon.

Subsequent non-canon books have featured him as the Enterprise's new first officer after the departure of William Riker to his own command.

Subsequent translators have tended to work in a similar manner.

Subsequent writers have noted that this was misleading, because the United Kingdom had a very closely connected legislature and executive, with further links to the judiciary ( though combined with judicial independence ).