Edward Nelson
   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 research university in Princeton, New Jersey. Founded in 1746 in Elizabeth as the College of New Jersey, Princeton is the fourth-oldest institution of higher education in the United States and one of the ...
. He was known for his work on
mathematical physics Mathematical physics refers to the development of 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 developme ...
and
mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...
. In mathematical logic, he was noted especially for his
internal set theory Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the nonstandard analysis introduced by Abraham Robinson. Instead of adding new elements to the real numbers, N ...
, and views on
ultrafinitism In the philosophy of mathematics, ultrafinitism (also known as ultraintuitionism,International Workshop on Logic and Computational Complexity, ''Logic and Computational Complexity'', Springer, 1995, p. 31. strict formalism,St. Iwan (2000),On the U ...
and the
consistency In classical deductive logic, a consistent theory is one that does not lead to a logical contradiction. The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a theory is consistent ...
of arithmetic. In
philosophy of mathematics The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in peop ...
he advocated the view of
formalism Formalism may refer to: * Form (disambiguation) * Formal (disambiguation) * Legal formalism, legal positivist view that the substantive justice of a law is a question for the legislature rather than the judiciary * Formalism (linguistics) * Scie ...
rather than
platonism Platonism is the philosophy of Plato and philosophical systems closely derived from it, though contemporary platonists do not necessarily accept all of the doctrines of Plato. Platonism had a profound effect on Western thought. Platonism at l ...
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 f ...
. He also wrote on the relationship between religion and mathematics.


Biography

Edward Nelson was born in Decatur, Georgia in 1932. He spent his early childhood in
Rome , established_title = Founded , established_date = 753 BC , founder = King Romulus (legendary) , image_map = Map of comune of Rome (metropolitan city of Capital Rome, region Lazio, Italy).svg , map_caption ...
where his father worked for the Italian YMCA. At the advent of
World War II World War II or the Second World War, often abbreviated as WWII or WW2, was a world war that lasted from 1939 to 1945. It involved the vast majority of the world's countries—including all of the great powers—forming two opposing ...
, Nelson moved with his mother to
New York City New York, often called New York City or NYC, is the most populous city in the United States. With a 2020 population of 8,804,190 distributed over , New York City is also the most densely populated major city in the Un ...
, where he attended high school at the
Bronx High School of Science The Bronx High School of Science, commonly called Bronx Science, is a public 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 involves passing the Sp ...
. His father, who spoke fluent
Russian Russian(s) refers to anything related to Russia, including: *Russians (, ''russkiye''), an ethnic group of the East Slavic peoples, primarily living in Russia and neighboring countries *Rossiyane (), Russian language term for all citizens and peo ...
, stayed in
St. Petersburg Saint Petersburg ( rus, links=no, Санкт-Петербург, a=Ru-Sankt Peterburg Leningrad Petrograd Piter.ogg, r=Sankt-Peterburg, p=ˈsankt pʲɪtʲɪrˈburk), formerly known as Petrograd (1914–1924) and later Leningrad (1924–1991), i ...
in connection with issues related to prisoners of war. 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, U of C, or UChi) is a private university, private research university in Chicago, Illinois. Its main campus is located in Chicago's Hyde Park, Chicago, Hyde Park neighborhood. The University of Chic ...
, where he worked with Irving Segal. He was a member of the
Institute for Advanced Study The Institute for Advanced Study (IAS), located in Princeton, New Jersey, in the United States, is an independent center for theoretical research and intellectual inquiry. It has served as the academic home of internationally preeminent schola ...
from 1956 to 1959. He held a position at
Princeton University Princeton University is a private research university in Princeton, New Jersey. Founded in 1746 in Elizabeth as the College of New Jersey, Princeton is the fourth-oldest institution of higher education in the United States and one of the ...
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 Princeton is a municipality with a borough form of government in Mercer County, in the U.S. state of New Jersey. It was established on January 1, 2013, through the consolidation of the Borough of Princeton and Princeton Township, both of whi ...
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 to ...
s, the mathematical treatment of quantum field theory, the use of stochastic processes in
quantum mechanics Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistr ...
, and the reformulation of
probability theory Probability theory 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 expressing it through a set ...
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 epsilon–delta ...
. For many years he worked on
mathematical physics Mathematical physics refers to the development of 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 developme ...
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 In mathematics, the four color theorem, or the four color map theorem, states that no more than four colors are required to color the regions of any map so that no two adjacent regions have the same color. ''Adjacent'' means that two regions sha ...
: What is the chromatic number, 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 scientific skepticism, micromagic, philosophy, religion, and literatureespecially the writings of Lew ...
in his October 1960
Mathematical Games A mathematical game is a game whose rules, strategies, and outcomes are defined by clear mathematical parameters. Often, such games have simple rules and match procedures, such as Tic-tac-toe and Dots and Boxes. Generally, mathematical games ne ...
column. The chromatic number problem, also now known as the
Hadwiger–Nelson problem In geometric graph theory, the Hadwiger–Nelson problem, named after Hugo Hadwiger and Edward Nelson, asks for the minimum number of colors required to color the plane such that no two points at distance 1 from each other have the same color. ...
, was a favorite of Paul Erdős, who mentioned it frequently in his problems lectures. In 2018,
Aubrey de Grey Aubrey David Nicholas Jasper de Grey (; born 20 April 1963) is an English author and biomedical gerontologist. He is the author of ''The Mitochondrial Free Radical Theory of Aging'' (1999) and co-author of ''Ending Aging'' (2007). He is known ...
showed that ''χ'' ≥ 5..


Foundations of mathematics

In the later part of his career, he worked on mathematical logic and the foundations of mathematics. One of his goals was to extend IST (
Internal Set Theory Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the nonstandard analysis introduced by Abraham Robinson. Instead of adding new elements to the real numbers, N ...
—a version of a portion of
Abraham Robinson Abraham Robinson (born Robinsohn; October 6, 1918 – April 11, 1974) was a mathematician who is most widely known for development of nonstandard analysis, a mathematically rigorous system whereby infinitesimal and infinite numbers were reincorp ...
'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 epsilon–delta ...
) 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, including the problem of whether P is equal to NP or not; and automated proof checking. In September 2011, Nelson announced that he had proved that Peano arithmetic was logically inconsistent. An error was found in the proof by Terry Tao, and Nelson retracted the claim.


Publications


Selected papers

* *


Books

* * * * * *


See also

*
Hidden variable theory In physics, hidden-variable theories are proposals to provide explanations of quantum mechanical phenomena through the introduction of (possibly unobservable) hypothetical entities. The existence of fundamental indeterminacy for some measurem ...
* Influence of non-standard analysis * Stochastic process * 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 Mathematical physicists