HOME

TheInfoList



OR:

Edward Nelson (May 4, 1932 – September 10, 2014) was an American mathematician. He was professor in the Mathematics Department at
Princeton University Princeton University is a private university, private Ivy League research university in Princeton, New Jersey, United States. Founded in 1746 in Elizabeth, New Jersey, Elizabeth as the College of New Jersey, Princeton is the List of Colonial ...
. He was known for his work on
mathematical physics Mathematical physics is the development of mathematics, mathematical methods for application to problems in physics. The ''Journal of Mathematical Physics'' defines the field as "the application of mathematics to problems in physics and the de ...
and
mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...
. In mathematical logic, he was noted especially for his internal set theory, and views on ultrafinitism and the
consistency In deductive logic, a consistent theory is one that does not lead to a logical contradiction. A theory T is consistent if there is no formula \varphi such that both \varphi and its negation \lnot\varphi are elements of the set of consequences ...
of
arithmetic Arithmetic is an elementary branch of mathematics that deals with numerical operations like addition, subtraction, multiplication, and division. In a wider sense, it also includes exponentiation, extraction of roots, and taking logarithms. ...
. In
philosophy of mathematics Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship to other areas of philosophy, particularly epistemology and metaphysics. Central questions posed include whether or not mathem ...
he advocated the view of formalism rather than
platonism Platonism is the philosophy of Plato and philosophical systems closely derived from it, though contemporary Platonists do not necessarily accept all doctrines of Plato. Platonism has had a profound effect on Western thought. At the most fundam ...
or
intuitionism In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fu ...
. He also wrote on the relationship between religion and mathematics.


Biography

Edward Nelson was born in
Decatur, Georgia Decatur () is a city and the county seat of DeKalb County, Georgia, DeKalb County, Georgia (U.S. state), Georgia, United States, part of the Atlanta metropolitan area. With a population of 24,928 in the 2020 United States census, 2020 census, th ...
, in 1932. He spent his early childhood in
Rome Rome (Italian language, Italian and , ) is the capital city and most populated (municipality) of Italy. It is also the administrative centre of the Lazio Regions of Italy, region and of the Metropolitan City of Rome. A special named with 2, ...
where his father worked for the Italian YMCA. At the advent of
World War II World War II or the Second World War (1 September 1939 – 2 September 1945) was a World war, global conflict between two coalitions: the Allies of World War II, Allies and the Axis powers. World War II by country, Nearly all of the wo ...
, Nelson moved with his mother to
New York City New York, often called New York City (NYC), is the most populous city in the United States, located at the southern tip of New York State on one of the world's largest natural harbors. The city comprises five boroughs, each coextensive w ...
, where he attended high school at the
Bronx High School of Science The Bronx High School of Science is a State school, public Specialized high schools in New York City, specialized high school in the Bronx in New York City. It is operated by the New York City Department of Education. Admission to Bronx Science ...
. His father, who spoke fluent Russian, stayed in St. Petersburg in connection with issues related to
prisoners of war A prisoner of war (POW) is a person held captive by a belligerent power during or immediately after an armed conflict. The earliest recorded usage of the phrase "prisoner of war" dates back to 1610. Belligerents hold prisoners of war for a ...
. After the war, his family returned to Italy and he attended the Liceo Scientifico Giovanni Verga in Rome. He received his Ph.D. in 1955 from the
University of Chicago The University of Chicago (UChicago, Chicago, or UChi) is a Private university, private research university in Chicago, Illinois, United States. Its main campus is in the Hyde Park, Chicago, Hyde Park neighborhood on Chicago's South Side, Chic ...
, where he worked with Irving Segal. He was a member of the
Institute for Advanced Study The Institute for Advanced Study (IAS) is an independent center for theoretical research and intellectual inquiry located in Princeton, New Jersey. It has served as the academic home of internationally preeminent scholars, including Albert Ein ...
from 1956 to 1959. He held a position at
Princeton University Princeton University is a private university, private Ivy League research university in Princeton, New Jersey, United States. Founded in 1746 in Elizabeth, New Jersey, Elizabeth as the College of New Jersey, Princeton is the List of Colonial ...
starting in 1959, attaining the rank of professor there in 1964 and retiring in 2013. In 2012 he became a fellow of the
American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...
. He died in
Princeton, New Jersey The Municipality of Princeton is a Borough (New Jersey), borough in Mercer County, New Jersey, United States. It was established on January 1, 2013, through the consolidation of the Borough of Princeton, New Jersey, Borough of Princeton and Pri ...
, on September 10, 2014.


Academic work


Stochastic quantum mechanics

Nelson made contributions to the theory of infinite-dimensional
group representation In the mathematical field of representation theory, group representations describe abstract groups in terms of bijective linear transformations of a vector space to itself (i.e. vector space automorphisms); in particular, they can be used ...
s, the mathematical treatment of
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct phy ...
, the use of
stochastic process In probability theory and related fields, a stochastic () or random process is a mathematical object usually defined as a family of random variables in a probability space, where the index of the family often has the interpretation of time. Sto ...
es in
quantum mechanics Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
, and the reformulation of
probability theory Probability theory or probability calculus is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expre ...
in terms of
non-standard analysis The history of calculus is fraught with philosophical debates about the meaning and logical validity of fluxions or infinitesimal numbers. The standard way to resolve these debates is to define the operations of calculus using (ε, δ)-definitio ...
. For many years he worked on
mathematical physics Mathematical physics is the development of mathematics, mathematical methods for application to problems in physics. The ''Journal of Mathematical Physics'' defines the field as "the application of mathematics to problems in physics and the de ...
and probability theory, and he retained a residual interest in these fields, particularly in connection with possible extensions of stochastic mechanics to field theory.


Four color problem

In 1950, Nelson formulated a popular variant of the four color problem: What is the
chromatic number In graph theory, graph coloring is a methodic assignment of labels traditionally called "colors" to elements of a graph. The assignment is subject to certain constraints, such as that no two adjacent elements have the same color. Graph coloring i ...
, denoted \chi, of the plane? In more detail, what is the smallest number of colors sufficient for coloring the points of the Euclidean plane such that no two points of the same color are unit distance apart? We know by simple arguments that 4 ≤ ''χ'' ≤ 7. The problem was introduced to a wide mathematical audience by
Martin Gardner Martin Gardner (October 21, 1914May 22, 2010) was an American popular mathematics and popular science writer with interests also encompassing magic, scientific skepticism, micromagic, philosophy, religion, and literatureespecially the writin ...
in his October 1960
Mathematical Games A mathematical game is a game whose rules, strategies, and outcomes are defined by clear mathematics, mathematical parameters. Often, such games have simple rules and match procedures, such as tic-tac-toe and dots and boxes. Generally, mathemati ...
column. The chromatic number problem, also now known as the Hadwiger–Nelson problem, was a favorite of
Paul Erdős Paul Erdős ( ; 26March 191320September 1996) was a Hungarian mathematician. He was one of the most prolific mathematicians and producers of mathematical conjectures of the 20th century. pursued and proposed problems in discrete mathematics, g ...
, who mentioned it frequently in his problems lectures. In 2018, Aubrey de Grey showed that ''χ'' ≥ 5..


Foundations of mathematics

In the later part of his career, he worked on mathematical logic and the
foundations of mathematics Foundations of mathematics are the mathematical logic, logical and mathematics, mathematical framework that allows the development of mathematics without generating consistency, self-contradictory theories, and to have reliable concepts of theo ...
. One of his goals was to extend IST ( Internal Set Theory—a version of a portion of Abraham Robinson's
non-standard analysis The history of calculus is fraught with philosophical debates about the meaning and logical validity of fluxions or infinitesimal numbers. The standard way to resolve these debates is to define the operations of calculus using (ε, δ)-definitio ...
) in a natural manner that includes external functions and sets, in a way that provides an external function with specified properties unless there is a finitary obstacle to its existence. Other work centered on fragments of arithmetic, studying the divide between those theories interpretable in Raphael Robinson's arithmetic and those that are not;
computational complexity In computer science, the computational complexity or simply complexity of an algorithm is the amount of resources required to run it. Particular focus is given to computation time (generally measured by the number of needed elementary operations ...
, including the problem of whether P is equal to NP; and
automated proof checking In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human–machine collaboration. This involves some sort of interactive proof edi ...
. In September 2011, Nelson announced he had proved that
Peano arithmetic In mathematical logic, the Peano axioms (, ), also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th-century Italian mathematician Giuseppe Peano. These axioms have been used nea ...
was logically inconsistent. An error was found in the proof by Terence Tao, and Nelson retracted the claim.


Publications


Selected papers

* *


Books

* * * * * *


See also

* Hidden variable theory * Influence of non-standard analysis *
Stochastic process In probability theory and related fields, a stochastic () or random process is a mathematical object usually defined as a family of random variables in a probability space, where the index of the family often has the interpretation of time. Sto ...
* Stochastic quantum mechanics * Stochastic electrodynamics


References


Notes


Sources

* * * * * * * *


External links


Curriculum Vitae – Edward Nelson

Mathematics and Faith – Edward Nelson

Edward Nelson's Homepage
*


Mathematics and Religion Discussion

The Limitation of Mental and Physical Reality Discussion
{{DEFAULTSORT:Nelson, Edward 1932 births Members of the United States National Academy of Sciences Fellows of the American Mathematical Society 20th-century American mathematicians 21st-century American mathematicians American logicians Set theorists University of Chicago alumni Princeton University faculty 2014 deaths American mathematical physicists