Help


[permalink] [id link]
+
Page "Proof theory" ¶ 13
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

central and idea
The idea of a central tank with lines to each house is not in itself a novelty.
In his analysis, however, he touches upon but fails to explore an idea, generally neglected in discussions of the book, which I believe is central to its art -- the importance of human hands as a recurring feature of the narrative.
The central idea of the book of Amos is that God puts his people on the same level as the surrounding nations-God expects the same purity of them all.
One of the central themes of Acts, indeed of the New Testament ( see also Great Commission ) is the universality of Christianity — the idea that Jesus's teachings were for all humanity — Jews and Gentiles alike.
In it Heschel forwards what would become a central idea in his theology: that the prophetic ( and, ultimately, Jewish ) view of God is best understood not as anthropomorphic ( that God takes human form ) but rather as anthropopathic — that God has human feelings.
The central idea of Diophantine geometry is that of a rational point, namely a solution to a polynomial equation or system of simultaneous equations, which is a vector in a prescribed field K, when K is not algebraically closed.
He adumbrated a school of thought that is known as Critical Rationalism with a central tenet being the rejection of the idea that knowledge can ever be justified in the strong form that is sought by most schools of thought.
Secular perennialists espouse the idea that education should focus on the historical development of a continually developing common western base of human knowledge and art, the timeless value of classic thought on central human issues by landmark thinkers, and revolutionary ideas critical to historical western paradigm shifts or changes in world view.
The division of power into separate branches of government is central to the idea of the separation of powers.
A central feature in elementary particle theory is the early 20th century idea of " quanta ", which revolutionized the understanding of electromagnetic radiation and brought about quantum mechanics.
He is widely known for use of the term " central dogma " to summarize an idea that genetic information flow in cells is essentially one-way, from DNA to RNA to protein.
By that time the military and strategic situation of Russia had become more difficult due of the rise of Germany and Japan, and Russian central administration and the idea of Pan-Slavism had grown in Saint Petersburg.
The idea of freedom ( for the theatre against the dominance of its French model ; for religion from the church's dogma ) is his central theme throughout his life.
At least one work of fiction, the film Final Fantasy: The Spirits Within, uses Gaia philosophy as a central point to the plot, and may arguably represent a fictional parallel to Sir James Lovelock in the character of Dr. Cid, who is met with skepticism from the scientific and social community when he promotes the idea of a " living Earth ".
De Camp and Ley also claim that Sir John Leslie expanded on Euler's idea, suggesting two central suns named Pluto and Proserpine ( this was unrelated to the dwarf planet Pluto, which was discovered and named some time later ).
The writer David Hatcher Childress authored Lost Continents and the Hollow Earth ( 1998 ) in which he reprinted the stories of Palmer and defended the hollow earth idea based on alleged tunnel systems beneath South America and central Asia.
With the advent of the PC, the idea was to invoke central systems only when absolutely unavoidable, and to do all application processing with local software on the personal computer.
On 21 December 1865 he was chosen vice-president of the diet, and in March 1866 became president of the sub-committee appointed by the parliamentary commission to draw up the Composition ( commonly known as the Austro-Hungarian Compromise of 1867 ) between Austria and Hungary, of which the central idea, that of the " Delegations ," originated with him.
The central idea of these theories is that language development occurs through the incremental acquisition of meaningful chunks of elementary constituents, which can be words, phonemes, or syllables.
The school's central idea is given as training to use the twin swords of the samurai as effectively as a pair of sword and jutte.
Categories can represent words, ideas, tasks, or other items related to a central key word or idea.
Kaplan's central idea of understanding Judaism as a religious civilization was an easily accepted position within Conservative Judaism, but his naturalistic conception of God was not as acceptable.
The modern predictive approach was pioneered by Bruno de Finetti, with the central idea of exchangeability – that future observations should behave like past observations.
The central argument of the book is an expansion of the utilitarian idea that " the greatest good of the greatest number " is the only measure of good or ethical behaviour.
The idea of personal Biblical interpretation, while central to Puritan beliefs, was shared with most Protestants in general.

central and program
) Like the central processing unit ( CPU ) in a modern computer, the mill would rely upon its own internal procedures, to be stored in the form of pegs inserted into rotating drums called " barrels ", to carry out some of the more complex instructions the user's program might specify.
A central processing unit ( CPU ), also referred to as a central processor unit, is the hardware within a computer system which carries out the instructions of a computer program by performing the basic arithmetical, logical, and input / output operations of the system.
Source code may be converted into an executable file ( sometimes called an executable program or a binary ) by a compiler and later executed by a central processing unit.
One of federal law enforcement ’ s surveillance tools is ‘‘ Project Carnivore ,’’ a Justice Department Internet surveillance program that is administered by the Federal Bureau of Investigation ( FBI ) to access information flowing to and from a central processing unit on a network connection.
Many users fondly remember the LEO III and enthuse about some of its quirkier features, such as having a loudspeaker connected to the central processor which enabled operators to tell whether a program was looping by the distinctive sound it made.
At power-up, the central processor would load its program counter with the address of the boot ROM and start executing ROM instructions.
The SETI @ home program itself runs signal analysis on a " work unit " of data recorded from the central 2. 5 MHz wide band of the SERENDIP IV instrument.
There are also solar panels on buildings, and a central recycling yard with an extensive recycling program.
Unlike the Belgian, British, French and Portuguese colonial masters in central Africa, Germany had developed an educational program for her Africans that involved elementary, secondary and vocational schools.
The educational program for the rulers is the central notion of the proposal.
* In Champa, in the central region of what is now Vietnam, King Indravarman II founds a new dynasty at Indrapura ( Quang Nam ) and initiates a building program featuring the Dong Duong Style of Cham art.
A television network is a telecommunications network for distribution of television program content, whereby a central operation provides programming to many television stations or pay TV providers.
A computer's central processor can only execute program code found in read-only memory ( ROM ), random access memory ( RAM ), or ( for some computers of the 1950s through 1970s ) switches on an operator's front panel.
Mostly funded by India after China's invasion of Tibet in 1959, the modernization program also included the construction of roads linking the Indian plains with central Bhutan.
Under Communism, the Czechoslovak economy in the 1960s was in serious decline and the imposition of central control from Prague disappointed local Communists while the destalinization program caused further disquiet.
In early computers, program memory was expensive, so minimizing the size of a program to make sure it would fit in the limited memory was often central.
* Jewish Renewal has an ordination program, ALEPH, but no central campus.
In spite of the tangible benefits of the program, it met with stiff opposition from the regional socialist party and from the Austrian central bank, which opposed the local currency as an infringement on its powers over the currency.
The Bering Sea also serves as the central location of the Alaskan king crab and Opilio crab seasons, which are chronicled on the Discovery Channel television program Deadliest Catch.
When a user program tries to read or write a word in central memory at address a, the processor will first verify that a is between 0 and FL-1.
The phenomenological tie-in with the sociology of knowledge stems from two key historical sources for Mannheim's analysis: Mannheim was dependent on insights derived from Husserl's phenomenological investigations, especially the theory of meaning as found in Husserl's Logical Investigations of 1900 / 1901 ( Husserl: 2000 ), in the formulation of his central methodological work: " On The Interpretation of Weltanschauung " ( Mannheim: 1993: see fn41 & fn43 )-this essay forms the centerpiece for Mannheim's method of historical understanding and is central to his conception of the sociology of knowledge as a research program ; and The concept of " Weltanschauung " employed by Mannheim has its origins in the hermeneutic philosophy of Wilhelm Dilthey, who relied on Husserl's theory of meaning ( above ) for his methodological specification of the interpretive act ( Mannheim: 1993: see fn38 ).
In a typical central processing unit ( CPU ), PC is a binary counter ( which is the origin of the term program counter ) that may be one of many registers in the CPU hardware.

1.264 seconds.