Alfred Tarski (nonfiction): Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
 
(One intermediate revision by the same user not shown)
Line 6: Line 6:


His biographers Anita and Solomon Feferman state that, "Along with his contemporary, [[Kurt Gödel (nonfiction)|Kurt Gödel]], he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models."
His biographers Anita and Solomon Feferman state that, "Along with his contemporary, [[Kurt Gödel (nonfiction)|Kurt Gödel]], he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models."
== Banach–Tarski paradox ==
[[File:Banach-Tarski Paradox.svg|thumb|An illustration of the effects of the Banach–Tarski paradox.]]
The Banach–Tarski paradox is a theorem in set-theoretic geometry, which states the following: Given a solid ball in 3‑dimensional space, there exists a decomposition of the ball into a finite number of disjoint subsets, which can then be put back together in a different way to yield two identical copies of the original ball. Indeed, the reassembly process involves only moving the pieces around and rotating them without changing their shape. However, the pieces themselves are not "solids" in the usual sense, but infinite scatterings of points. The reconstruction can work with as few as five pieces.[1]
A stronger form of the theorem implies that given any two "reasonable" solid objects (such as a small ball and a huge ball), the cut pieces of either one can be reassembled into the other. This is often stated informally as "a pea can be chopped up and reassembled into the Sun" and called the "pea and the Sun paradox".
The reason the Banach–Tarski theorem is called a paradox is that it contradicts basic geometric intuition. "Doubling the ball" by dividing it into parts and moving them around by rotations and translations, without any stretching, bending, or adding new points, seems to be impossible, since all these operations ought, intuitively speaking, to preserve the volume. The intuition that such operations preserve volumes is not mathematically absurd and it is even included in the formal definition of volumes. However, this is not applicable here because in this case it is impossible to define the volumes of the considered subsets. Reassembling them reproduces a volume, which happens to be different from the volume at the start.
Unlike most theorems in geometry, the proof of this result depends in a critical way on the choice of axioms for set theory. It can be proven using the axiom of choice, which allows for the construction of non-measurable sets, i.e., collections of points that do not have a volume in the ordinary sense, and whose construction requires an uncountable number of choices.[2]
It was shown in 2005 that the pieces in the decomposition can be chosen in such a way that they can be moved continuously into place without running into one another.[3]


== In the News ==
== In the News ==
Line 41: Line 54:
* [[Patrick Suppes (nonfiction)]] - Influenced
* [[Patrick Suppes (nonfiction)]] - Influenced
* [[Wanda Szmielew (nonfiction)]] - Doctoral student
* [[Wanda Szmielew (nonfiction)]] - Doctoral student
* [[Robert Vaught[ (nonfiction)]] - Doctoral student
* [[Robert Vaught (nonfiction)]] - Doctoral student


External links:
External links:

Latest revision as of 20:26, 14 January 2020

Alfred Tarski (1968).

Alfred Tarski (/ˈtɑːrski/; January 14, 1901 – October 26, 1983), born Alfred Teitelbaum, was a Polish-American logician and mathematician of Polish-Jewish descent.

Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school of logic and the Warsaw school of mathematics, he immigrated to the United States in 1939 where he became a naturalized citizen in 1945. Tarski taught and carried out research in mathematics at the University of California, Berkeley from 1942 until his death in 1983.

A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.

His biographers Anita and Solomon Feferman state that, "Along with his contemporary, Kurt Gödel, he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models."

Banach–Tarski paradox

An illustration of the effects of the Banach–Tarski paradox.

The Banach–Tarski paradox is a theorem in set-theoretic geometry, which states the following: Given a solid ball in 3‑dimensional space, there exists a decomposition of the ball into a finite number of disjoint subsets, which can then be put back together in a different way to yield two identical copies of the original ball. Indeed, the reassembly process involves only moving the pieces around and rotating them without changing their shape. However, the pieces themselves are not "solids" in the usual sense, but infinite scatterings of points. The reconstruction can work with as few as five pieces.[1]

A stronger form of the theorem implies that given any two "reasonable" solid objects (such as a small ball and a huge ball), the cut pieces of either one can be reassembled into the other. This is often stated informally as "a pea can be chopped up and reassembled into the Sun" and called the "pea and the Sun paradox".

The reason the Banach–Tarski theorem is called a paradox is that it contradicts basic geometric intuition. "Doubling the ball" by dividing it into parts and moving them around by rotations and translations, without any stretching, bending, or adding new points, seems to be impossible, since all these operations ought, intuitively speaking, to preserve the volume. The intuition that such operations preserve volumes is not mathematically absurd and it is even included in the formal definition of volumes. However, this is not applicable here because in this case it is impossible to define the volumes of the considered subsets. Reassembling them reproduces a volume, which happens to be different from the volume at the start.

Unlike most theorems in geometry, the proof of this result depends in a critical way on the choice of axioms for set theory. It can be proven using the axiom of choice, which allows for the construction of non-measurable sets, i.e., collections of points that do not have a volume in the ordinary sense, and whose construction requires an uncountable number of choices.[2]

It was shown in 2005 that the pieces in the decomposition can be chosen in such a way that they can be moved continuously into place without running into one another.[3]

In the News

Fiction cross-reference

Nonfiction cross-reference

External links:

Retrieved from "https://gnomonchronicles.com/w/index.php?title=Alfred_Tarski_(nonfiction)&oldid=45771"