Topic: Mathematics (Page 7)

You are looking at all articles with the topic "Mathematics". We found 223 matches.

Hint: To view all topics, click here. Too see the most popular topics, click here instead.

🔗 Volume of an n-ball tends to a limiting value of 0 as n goes to infinity

🔗 Mathematics

In geometry, a ball is a region in a space comprising all points within a fixed distance, called the radius, from a given point; that is, it is the region enclosed by a sphere or hypersphere. An n-ball is a ball in an n-dimensional Euclidean space. The volume of a n-ball is the Lebesgue measure of this ball, which generalizes to any dimension the usual volume of a ball in 3-dimensional space. The volume of a n-ball of radius R is R n V n , {\displaystyle R^{n}V_{n},} where V n {\displaystyle V_{n}} is the volume of the unit n-ball, the n-ball of radius 1.

The real number V n {\displaystyle V_{n}} can be expressed by a expression involving the gamma function. It can be computed with several recurrence relations. It can be expressed in terms of A n , {\displaystyle A_{n},} the area of the unit n-sphere.

Discussed on

🔗 Nicolas Bourbaki: The Greatest Mathematician That Never Existed

🔗 Mathematics 🔗 France

Nicolas Bourbaki (French pronunciation: ​[nikɔla buʁbaki]) is the collective pseudonym of a group of mathematicians, predominantly French alumni of the École normale supérieure (ENS). Founded in 1934–1935, the Bourbaki group originally intended to prepare a new textbook in analysis. Over time the project became much more ambitious, growing into a large series of textbooks published under the Bourbaki name, meant to treat modern pure mathematics. The series is known collectively as the Éléments de mathématique (Elements of Mathematics), the group's central work. Topics treated in the series include set theory, abstract algebra, topology, analysis, Lie groups and Lie algebras.

Bourbaki was founded in response to the effects of the First World War which caused the death of a generation of French mathematicians; as a result, young university instructors were forced to use dated texts. While teaching at the University of Strasbourg, Henri Cartan complained to his colleague André Weil of the inadequacy of available course material, which prompted Weil to propose a meeting with others in Paris to collectively write a modern analysis textbook. The group's core founders were Cartan, Claude Chevalley, Jean Delsarte, Jean Dieudonné and Weil; others participated briefly during the group's early years, and membership has changed gradually over time. Although former members openly discuss their past involvement with the group, Bourbaki has a custom of keeping its current membership secret.

The group's namesake derives from the 19th century French general Charles-Denis Bourbaki, who had a career of successful military campaigns before suffering a dramatic loss in the Franco-Prussian War. The name was therefore familiar to early 20th century French students. Weil remembered an ENS student prank in which an upperclassman posed as a professor and presented a "theorem of Bourbaki"; the name was later adopted.

The Bourbaki group holds regular private conferences for the purpose of drafting and expanding the Éléments. Topics are assigned to subcommittees, drafts are debated, and unanimous agreement is required before a text is deemed fit for publication. Although slow and labor-intensive, the process results in a work which meets the group's standards for rigour and generality. The group is also associated with the Séminaire Bourbaki, a regular series of lectures presented by members and non-members of the group, also published and disseminated as written documents. Bourbaki maintains an office at the ENS.

Nicolas Bourbaki was influential in 20th century mathematics, particularly during the middle of the century when volumes of the Éléments appeared frequently. The group is noted among mathematicians for its rigorous presentation and for introducing the notion of a mathematical structure, an idea related to the broader, interdisciplinary concept of structuralism. Bourbaki's work informed the New Math, a trend in elementary math education during the 1960s. Although the group remains active, its influence is considered to have declined due to infrequent publication of new volumes of the Éléments. However the collective's most recent publication appeared in 2016, treating algebraic topology.

Discussed on

🔗 Oliver Heaviside

🔗 Biography 🔗 Mathematics 🔗 Physics 🔗 Telecommunications 🔗 Biography/science and academia 🔗 Energy 🔗 Electrical engineering 🔗 Physics/Biographies 🔗 Devon

Oliver Heaviside FRS (; 18 May 1850 – 3 February 1925) was an English self-taught electrical engineer, mathematician, and physicist who adapted complex numbers to the study of electrical circuits, invented mathematical techniques for the solution of differential equations (equivalent to Laplace transforms), reformulated Maxwell's field equations in terms of electric and magnetic forces and energy flux, and independently co-formulated vector analysis. Although at odds with the scientific establishment for most of his life, Heaviside changed the face of telecommunications, mathematics, and science.

Discussed on

🔗 Goodsteins theorem

🔗 Mathematics

In mathematical logic, Goodstein's theorem is a statement about the natural numbers, proved by Reuben Goodstein in 1944, which states that every Goodstein sequence eventually terminates at 0. Laurence Kirby and Jeff Paris showed that it is unprovable in Peano arithmetic (but it can be proven in stronger systems, such as second-order arithmetic). This was the third example of a true statement about natural numbers that is unprovable in Peano arithmetic, after the examples provided by Gödel's incompleteness theorem and Gerhard Gentzen's 1943 direct proof of the unprovability of ε0-induction in Peano arithmetic. The Paris–Harrington theorem gave another example.

Kirby and Paris introduced a graph-theoretic hydra game with behavior similar to that of Goodstein sequences: the "Hydra" (named for the mythological multi-headed Hydra of Lerna) is a rooted tree, and a move consists of cutting off one of its "heads" (a branch of the tree), to which the hydra responds by growing a finite number of new heads according to certain rules. Kirby and Paris proved that the Hydra will eventually be killed, regardless of the strategy that Hercules uses to chop off its heads, though this may take a very long time. Just like for Goodstein sequences, Kirby and Paris showed that it cannot be proven in Peano arithmetic alone.

Discussed on

🔗 Tractatus Logico-Philosophicus

🔗 Mathematics 🔗 Philosophy 🔗 Philosophy/Philosophical literature 🔗 Books 🔗 Philosophy/Logic 🔗 Philosophy/Contemporary philosophy 🔗 Linguistics 🔗 Philosophy/Philosophy of language 🔗 Linguistics/Philosophy of language 🔗 Philosophy/Analytic philosophy

The Tractatus Logico-Philosophicus (widely abbreviated and cited as TLP) is the only book-length philosophical work by the Austrian philosopher Ludwig Wittgenstein that was published during his lifetime. The project had a broad goal: to identify the relationship between language and reality and to define the limits of science. Wittgenstein wrote the notes for the Tractatus while he was a soldier during World War I and completed it during a military leave in the summer of 1918. It was originally published in German in 1921 as Logisch-Philosophische Abhandlung (Logical-Philosophical Treatise). In 1922 it was published together with an English translation and a Latin title, which was suggested by G. E. Moore as homage to Baruch Spinoza's Tractatus Theologico-Politicus (1670).

The Tractatus is written in an austere and succinct literary style, containing almost no arguments as such, but consists of altogether 525 declarative statements, which are hierarchically numbered.

The Tractatus is recognized by philosophers as one of the most significant philosophical works of the twentieth century and was influential chiefly amongst the logical positivist philosophers of the Vienna Circle, such as Rudolf Carnap and Friedrich Waismann and Bertrand Russell's article "The Philosophy of Logical Atomism".

Wittgenstein's later works, notably the posthumously published Philosophical Investigations, criticised many of his ideas in the Tractatus. There are, however, elements to see a common thread in Wittgenstein's thinking, in spite of those criticisms of the Tractatus in later writings. Indeed, the legendary contrast between ‘early’ and ‘late’ Wittgenstein has been countered by such scholars as Pears (1987) and Hilmy (1987). For example, a relevant, yet neglected aspect of continuity in Wittgenstein’s central issues concerns ‘meaning’ as ‘use’. Connecting his early and later writings on ‘meaning as use’ is his appeal to direct consequences of a term or phrase, reflected e.g. in his speaking of language as a ‘calculus’. These passages are rather crucial to Wittgenstein’s view of ‘meaning as use’, though they have been widely neglected in scholarly literature. The centrality and importance of these passages are corroborated and augmented by renewed examination of Wittgenstein’s Nachlaß, as is done in "From Tractatus to Later Writings and Back - New Implications from the Nachlass" (de Queiroz 2023).

Discussed on

🔗 Gömböc

🔗 Mathematics

The gömböc (Hungarian: [ˈɡømbøt͡s]) is a convex three-dimensional homogeneous body that when resting on a flat surface has just one stable and one unstable point of equilibrium. Its existence was conjectured by the Russian mathematician Vladimir Arnold in 1995 and proven in 2006 by the Hungarian scientists Gábor Domokos and Péter Várkonyi. The gömböc shape is not unique; it has countless varieties, most of which are very close to a sphere and all with a very strict shape tolerance (about 0.1 mm per 100 mm).

The most famous solution, capitalized as Gömböc to distinguish it from the generic gömböc, has a sharpened top, as shown in the photo. Its shape helped to explain the body structure of some tortoises in relation to their ability to return to equilibrium position after being placed upside down. Copies of the gömböc have been donated to institutions and museums, and the largest one was presented at the World Expo 2010 in Shanghai in China. In December 2017, a 4.5 m gömböc statue was installed in the Corvin Quarter in Budapest.

Discussed on

🔗 Vickrey Auction

🔗 Mathematics 🔗 Economics 🔗 Game theory

A Vickrey auction or sealed-bid second-price auction (SBSPA) is a type of sealed-bid auction. Bidders submit written bids without knowing the bid of the other people in the auction. The highest bidder wins but the price paid is the second-highest bid. This type of auction is strategically similar to an English auction and gives bidders an incentive to bid their true value. The auction was first described academically by Columbia University professor William Vickrey in 1961 though it had been used by stamp collectors since 1893. In 1797 Johann Wolfgang von Goethe sold a manuscript using a sealed-bid, second-price auction.

Vickrey's original paper mainly considered auctions where only a single, indivisible good is being sold. The terms Vickrey auction and second-price sealed-bid auction are, in this case only, equivalent and used interchangeably. In the case of multiple identical goods, the bidders submit inverse demand curves and pay the opportunity cost.

Vickrey auctions are much studied in economic literature but uncommon in practice. Generalized variants of the Vickrey auction for multiunit auctions exist, such as the generalized second-price auction used in Google's and Yahoo!'s online advertisement programmes (not incentive compatible) and the Vickrey–Clarke–Groves auction (incentive compatible).

Discussed on

🔗 L-System

🔗 Computer science 🔗 Mathematics 🔗 Systems

An L-system or Lindenmayer system is a parallel rewriting system and a type of formal grammar. An L-system consists of an alphabet of symbols that can be used to make strings, a collection of production rules that expand each symbol into some larger string of symbols, an initial "axiom" string from which to begin construction, and a mechanism for translating the generated strings into geometric structures. L-systems were introduced and developed in 1968 by Aristid Lindenmayer, a Hungarian theoretical biologist and botanist at the University of Utrecht. Lindenmayer used L-systems to describe the behaviour of plant cells and to model the growth processes of plant development. L-systems have also been used to model the morphology of a variety of organisms and can be used to generate self-similar fractals.

Discussed on

🔗 Fuzzy Logic

🔗 Mathematics 🔗 Philosophy 🔗 Statistics

Fuzzy logic is a form of many-valued logic in which the truth values of variables may be any real number between 0 and 1 both inclusive. It is employed to handle the concept of partial truth, where the truth value may range between completely true and completely false. By contrast, in Boolean logic, the truth values of variables may only be the integer values 0 or 1.

The term fuzzy logic was introduced with the 1965 proposal of fuzzy set theory by Lotfi Zadeh. Fuzzy logic had, however, been studied since the 1920s, as infinite-valued logic—notably by Łukasiewicz and Tarski.

Fuzzy logic is based on the observation that people make decisions based on imprecise and non-numerical information. Fuzzy models or sets are mathematical means of representing vagueness and imprecise information (hence the term fuzzy). These models have the capability of recognising, representing, manipulating, interpreting, and utilising data and information that are vague and lack certainty.

Fuzzy logic has been applied to many fields, from control theory to artificial intelligence.

Discussed on