|
Definition And Computation
A definition is a statement of the meaning of a term (a word, phrase, or other set of symbols). Definitions can be classified into two large categories: intensional definitions (which try to give the sense of a term), and extensional definitions (which try to list the objects that a term describes).Lyons, John. "Semantics, vol. I." Cambridge: Cambridge (1977). p.158 and on. Another important category of definitions is the class of ostensive definitions, which convey the meaning of a term by pointing out examples. A term may have many different senses and multiple meanings, and thus require multiple definitions. In mathematics, a definition is used to give a precise meaning to a new term, by describing a condition which unambiguously qualifies what a mathematical term is and is not. Definitions and axioms form the basis on which all of modern mathematics is to be constructed. Basic terminology In modern usage, a definition is something, typically expressed in words, that attac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pope Gregory I
Pope Gregory I ( la, Gregorius I; – 12 March 604), commonly known as Saint Gregory the Great, was the bishop of Rome from 3 September 590 to his death. He is known for instigating the first recorded large-scale mission from Rome, the Gregorian mission, to convert the then largely pagan Anglo-Saxons to Christianity. Gregory is also well known for his writings, which were more prolific than those of any of his predecessors as pope. The epithet Saint Gregory the Dialogist has been attached to him in Eastern Christianity because of his ''Dialogues''. English translations of Eastern texts sometimes list him as Gregory "Dialogos", or the Anglo-Latinate equivalent "Dialogus". A Roman senator's son and himself the prefect of Rome at 30, Gregory lived in a monastery he established on his family estate before becoming a papal ambassador and then pope. Although he was the first pope from a monastic background, his prior political experiences may have helped him to be a talented administ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hobbit
Hobbits are a fictional race of people in the novels of J. R. R. Tolkien. About half average human height, Tolkien presented hobbits as a variety of humanity, or close relatives thereof. Occasionally known as halflings in Tolkien's writings, they live barefooted, and dwell in homely underground houses which have windows, as they are typically built into the sides of hills. Their feet have naturally tough leathery soles (so they do not need shoes) and are covered on top with curly hair. Hobbits first appeared in the 1937 children's novel ''The Hobbit'', whose titular hobbit is the protagonist Bilbo Baggins, who is thrown into an unexpected adventure involving a dragon. In its sequel, ''The Lord of the Rings'', the hobbits Frodo Baggins, Sam Gamgee, Pippin Took, and Merry Brandybuck are primary characters who all play key roles in fighting to save their world ("Middle-earth") from evil. In ''The Hobbit'', hobbits live together in a small town called Hobbiton, which in ''The Lor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Posterior Analytics
The ''Posterior Analytics'' ( grc-gre, Ἀναλυτικὰ Ὕστερα; la, Analytica Posteriora) is a text from Aristotle's ''Organon'' that deals with demonstration, definition, and scientific knowledge. The demonstration is distinguished as ''a syllogism productive of scientific knowledge'', while the definition marked as ''the statement of a thing's nature, ... a statement of the meaning of the name, or of an equivalent nominal formula''. Content In the ''Prior Analytics'', syllogistic logic is considered in its formal aspect; in the ''Posterior'' it is considered in respect of its matter. The "form" of a syllogism lies in the necessary connection between the premises and the conclusion. Even where there is no fault in the form, there may be in the matter, i.e. the propositions of which it is composed, which may be true or false, probable or improbable. When the premises are certain, true, and primary, and the conclusion formally follows from them, this is demonstratio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aristotle
Aristotle (; grc-gre, Ἀριστοτέλης ''Aristotélēs'', ; 384–322 BC) was a Greek philosopher and polymath during the Classical period in Ancient Greece. Taught by Plato, he was the founder of the Peripatetic school of philosophy within the Lyceum and the wider Aristotelian tradition. His writings cover many subjects including physics, biology, zoology, metaphysics, logic, ethics, aesthetics, poetry, theatre, music, rhetoric, psychology, linguistics, economics, politics, meteorology, geology, and government. Aristotle provided a complex synthesis of the various philosophies existing prior to him. It was above all from his teachings that the West inherited its intellectual lexicon, as well as problems and methods of inquiry. As a result, his philosophy has exerted a unique influence on almost every form of knowledge in the West and it continues to be a subject of contemporary philosophical discussion. Little is known about his life. Aristotle was born in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subset
In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are unequal, then ''A'' is a proper subset of ''B''. The relationship of one set being a subset of another is called inclusion (or sometimes containment). ''A'' is a subset of ''B'' may also be expressed as ''B'' includes (or contains) ''A'' or ''A'' is included (or contained) in ''B''. A ''k''-subset is a subset with ''k'' elements. The subset relation defines a partial order on sets. In fact, the subsets of a given set form a Boolean algebra (structure), Boolean algebra under the subset relation, in which the join and meet are given by Intersection (set theory), intersection and Union (set theory), union, and the subset relation itself is the Inclusion (Boolean algebra), Boolean inclusion relation. Definition If ''A'' and ''B'' are sets and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Classics
Classics or classical studies is the study of classical antiquity. In the Western world, classics traditionally refers to the study of Classical Greek and Roman literature and their related original languages, Ancient Greek and Latin. Classics also includes Greco-Roman philosophy, history, archaeology, anthropology, art, mythology and society as secondary subjects. In Western civilization, the study of the Greek and Roman classics was traditionally considered to be the foundation of the humanities, and has, therefore, traditionally been the cornerstone of a typical elite European education. Etymology The word ''classics'' is derived from the Latin adjective '' classicus'', meaning "belonging to the highest class of citizens." The word was originally used to describe the members of the Patricians, the highest class in ancient Rome. By the 2nd century AD the word was used in literary criticism to describe writers of the highest quality. For example, Aulus Gellius, in his ''Att ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Enumerative Definition
An enumerative definition of a concept or term is a special type of extensional definition that gives an explicit and exhaustive listing of all the objects that fall under the concept or term in question. Enumerative definitions are only possible for finite sets and only practical for relatively small sets. An example of an enumerative definition for the set ; extant monotreme species (for which the intensional definition is ''species of currently-living mammals that lay eggs'') would be : platypuses : echidnae: :: short-beaked echidna :: long-beaked echidnae: ::: Sir David's long-beaked echidna ::: eastern long-beaked echidna ::: western long-beaked echidna See also * Definition * Extension * Extensional definition * Set notation * Enumeration An enumeration is a complete, ordered listing of all the items in a collection. The term is commonly used in mathematics and computer science to refer to a listing of all of the elements of a set. The precise requirements for an enum ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian-British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. He is considered by some to be the greatest philosopher of the 20th century. From 1929 to 1947, Wittgenstein taught at the University of Cambridge. In spite of his position, during his entire life only one book of his philosophy was published, the 75-page ''Logisch-Philosophische Abhandlung'' (''Logical-Philosophical Treatise'', 1921), which appeared, together with an English translation, in 1922 under the Latin title ''Tractatus Logico-Philosophicus''. His only other published works were an article, "Some Remarks on Logical Form" (1929); a book review; and a children's dictionary. His voluminous manuscripts were edited and published posthumously. The first and best-known of this posthumous series is the 1953 book ''Philosophical Investigations''. A su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rhombus
In plane Euclidean geometry, a rhombus (plural rhombi or rhombuses) is a quadrilateral whose four sides all have the same length. Another name is equilateral quadrilateral, since equilateral means that all of its sides are equal in length. The rhombus is often called a "diamond", after the diamonds suit in playing cards which resembles the projection of an octahedral diamond, or a lozenge, though the former sometimes refers specifically to a rhombus with a 60° angle (which some authors call a calisson after the French sweet – also see Polyiamond), and the latter sometimes refers specifically to a rhombus with a 45° angle. Every rhombus is simple (non-self-intersecting), and is a special case of a parallelogram and a kite. A rhombus with right angles is a square. Etymology The word "rhombus" comes from grc, ῥόμβος, rhombos, meaning something that spins, which derives from the verb , romanized: , meaning "to turn round and round." The word was used both by Eucl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rectangle
In Euclidean plane geometry, a rectangle is a quadrilateral with four right angles. It can also be defined as: an equiangular quadrilateral, since equiangular means that all of its angles are equal (360°/4 = 90°); or a parallelogram containing a right angle. A rectangle with four sides of equal length is a ''square''. The term "oblong" is occasionally used to refer to a non-square rectangle. A rectangle with vertices ''ABCD'' would be denoted as . The word rectangle comes from the Latin ''rectangulus'', which is a combination of ''rectus'' (as an adjective, right, proper) and ''angulus'' (angle). A crossed rectangle is a crossed (self-intersecting) quadrilateral which consists of two opposite sides of a rectangle along with the two diagonals (therefore only two sides are parallel). It is a special case of an antiparallelogram, and its angles are not right angles and not all equal, though opposite angles are equal. Other geometries, such as spherical, elliptic, and hyperboli ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quadrilateral
In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, derived from greek "tetra" meaning "four" and "gon" meaning "corner" or "angle", in analogy to other polygons (e.g. pentagon). Since "gon" means "angle", it is analogously called a quadrangle, or 4-angle. A quadrilateral with vertices A, B, C and D is sometimes denoted as \square ABCD. Quadrilaterals are either simple (not self-intersecting), or complex (self-intersecting, or crossed). Simple quadrilaterals are either convex or concave. The interior angles of a simple (and planar) quadrilateral ''ABCD'' add up to 360 degrees of arc, that is :\angle A+\angle B+\angle C+\angle D=360^. This is a special case of the ''n''-gon interior angle sum formula: ''S'' = (''n'' − 2) × 180°. All non-self-crossing quadrilaterals tile the plane, b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
