By 1963 – 4 Gödel would disavow Herbrand – Gödel recursion and the λ-calculus in favor of the Turing machine as the definition of " algorithm " or " mechanical procedure " or " formal system ".

By March 1963 however, after the visit of Colonel Michael Greene of the United States Army, and the resulting ' Greene Plan ,' the pattern of bilaterally agreed military assistance to various Congolese military components, instead of a single unified effort, was already taking shape.

By the age of 16 he graduated to folk music, and in 1963 he teamed with his first professional outfit, the Shilos.

In 1992, author Ted Nelson – who coined both terms in 1963 – wrote: By now the word " hypertext " has become generally accepted for branching and responding text, but the corresponding word " hypermedia ", meaning complexes of branching and responding graphics, movies and sound – as well as text – is much less used.

By 1963, Holden was exporting cars to Africa, the Middle East, South-East Asia, the Pacific Islands, and the Caribbean.

By 1963, the company had tried several small niche businesses, such as a cab company and a love hotel.

By 1963, this balance clearly tipped towards Beijing.

By 1963 telephone wire had been laid from Beijing to the capitals of all provinces, autonomous regions, and large cities, while in turn, provincial capitals and autonomous regions were connected to the administrative seats of the counties, smaller municipalities and larger market towns.

By 1963 a quarter of Venezuelan households had television ; a figure rising to 45 % by 1969 and 85 % by 1982.

By 1963 a quarter of Venezuelan households had television ; a figure rising to 45 % by 1969 and 85 % by 1982.

By 1963, the Hanford Site was home to nine nuclear reactors along the Columbia River, five reprocessing plants on the central plateau, and more than 900 support buildings and radiological laboratories around the site.

By 1935, Wright had completed his first novel, Cesspool, published as Lawd Today ( 1963 ), and in January 1936 his story " Big Boy Leaves Home " was accepted for publication in New Caravan.

By late 1963 Rawhides popularity had declined.

By 1963, 24-hour stores were established in Fort Worth and Dallas, Texas as well as Las Vegas, Nevada.

By 1963 the population had grown to nearly 10, 000.

By 1963, voter registration campaigns in the South were as integral to the Freedom Movement as desegregation efforts.

By the end of the summer of 1963 close to of Howard County farmland had been acquired, and the time was at hand to begin planning what to do with it.

Binge is also known for Sailing By ( 1963 ), the BBC Radio 4 Shipping Forecast theme.

By the early 1960s a more general system was needed, and on July 1, 1963, non-mandatory ZIP codes were announced for the whole country.

By 1963, Nasser had sent 15, 000 Egyptian soldiers to Yemen, but the war remained in a stalemate.

By 1963, the main OAS operatives were either killed or in jail.

By December 1963, they were the biggest thing ever to hit the music business, with 19 out of the top 20 singles in the UK.

By the end of 1961 before An Anthology of Chance Operations was completed ( it was finally published in 1963 by Mac Low and Young ), Maciunas had moved to Germany to escape his creditors.

By November 1963, Irving was in England when he called the London Metropolitan Police with suspicions he had been the victim of a burglary, perpetrated by three men who had gained access to his Mayfair flat claiming to be General Post Office ( GPO ) engineers.

By 1963, the plan had been changed to a dual purpose 55, 000 GRT ship that was designed to cruise in the off season.

By failing to do as he was told instantly -- to take out a permit or return the gun to his car -- he had played into Lord's hands.

By 1898, rustling losses had been driven down to the lowest level ever seen in Wyoming.

By the death of his father in 1888 he had come into possession of the family estate and had re-assumed its traditions.

By the time Lilian had been graduated from public school, her parents were doing quite well.

) By the time the streetcar pulled away, he had fallen in love with Paula.

By this time she had learned that it was futile to argue with her young husband, yet the uncomfortable fact remained: the American Congregationalists were sending them as missionaries to the Far East and paying their salaries.

By the age of six young Johnny indicated that he had the call.

By September 1940 the Suite had developed into a collection of six songs, `` four spirituals, a dream, and a lullaby ''.

By now he had become Regius Professor of Modern History at Cambridge and had been honored by the award of the Order of Merit.

By both standards Thomas had the right to be proud.

By June 19, 1788, he had presented himself to its Commander in Chief, the Governor of the Southern Provinces, the Director of the War College -- The Prince.

By 1783 her legions had managed to annex the Crimea amid scenes of wanton cruelty and now, in this second combat with the Crescent, were aiming at suzerainty over all of the Black Sea's northern shoreline.

By this time word had got around that an American doctor was on the premises.

By this time Woodruff had accurately measured Pike as a man of great personal pride, a man who would fly into a towering rage if his integrity were questioned, and who would be anxious to avenge himself.

By 1834 the art of oratory had reached a very high level in the United States as a literary form.

By the time he was under the covers he had forgotten about seeing Kate.

By 1937 he had clarified his intentions to serve his people: `` I have striven for clarity and melodious idiom, but at the same time I have by no means attempted to restrict myself to the accepted methods of harmony and melody.

By the time the film was released we were three million dollars over-spent, war was imminent and the public apparently had forgotten all about Mother Cabrini.

By this time Churchill was not so cordial toward moving Poland westward as he had been at Teheran, where he and Eden had both heartily approved the idea.

By December, 1958, when ' Abdallah Ibrahim became President of the Council, elections had even greater importance.

By 800 social and cultural security had been achieved, at least on a simple plane ; ;

By this time large numbers of the audience had left the hall.