|
Showing 1 - 9 of
9 matches in All Departments
Grigori Mints is one the most distinguished proof theorists of our
time. He has contributed significantly not only to the subject in
general but also to most of its applications. This collection of
papers by a number of Mints' colleagues worldwide are both a
personal tribute and a testimony to his breadth and importance by
dealing with all areas in which Mints has worked: from
proof-theoretical reductions through non-classical logics and
category theory to automated theorem proving and proof mining,
i.e., the extraction of mathematical information from formal
proofs. The collection itself is significant for another reason: it
bridges the two logical worlds in which Mints has worked, the world
of the former Soviet Union and that of the West.
Kurt Goedel (1906-1978) did groundbreaking work that transformed
logic and other important aspects of our understanding of
mathematics, especially his proof of the incompleteness of
formalized arithmetic. This book on different aspects of his work
and on subjects in which his ideas have contemporary resonance
includes papers from a May 2006 symposium celebrating Goedel's
centennial as well as papers from a 2004 symposium. Proof theory,
set theory, philosophy of mathematics, and the editing of Goedel's
writings are among the topics covered. Several chapters discuss his
intellectual development and his relation to predecessors and
contemporaries such as Hilbert, Carnap, and Herbrand. Others
consider his views on justification in set theory in light of more
recent work and contemporary echoes of his incompleteness theorems
and the concept of constructible sets.
Kurt Goedel (1906-1978) did groundbreaking work that transformed
logic and other important aspects of our understanding of
mathematics, especially his proof of the incompleteness of
formalized arithmetic. This book on different aspects of his work
and on subjects in which his ideas have contemporary resonance
includes papers from a May 2006 symposium celebrating Goedel's
centennial as well as papers from a 2004 symposium. Proof theory,
set theory, philosophy of mathematics, and the editing of Goedel's
writings are among the topics covered. Several chapters discuss his
intellectual development and his relation to predecessors and
contemporaries such as Hilbert, Carnap, and Herbrand. Others
consider his views on justification in set theory in light of more
recent work and contemporary echoes of his incompleteness theorems
and the concept of constructible sets.
Alfred Tarski, one of the greatest logicians of all time, is widely
thought of as 'the man who defined truth'. His mathematical work on
the concepts of truth and logical consequence are cornerstones of
modern logic, influencing developments in philosophy, linguistics
and computer science. Tarski was a charismatic teacher and zealous
promoter of his view of logic as the foundation of all rational
thought, a bon-vivant and a womanizer, who played the 'great man'
to the hilt. Born in Warsaw in 1901 to Jewish parents, he changed
his name and converted to Catholicism, but was never able to obtain
a professorship in his home country. A fortuitous trip to the
United States at the outbreak of war saved his life and turned his
career around, even while it separated him from his family for
years. By the war's end he was established as a professor of
mathematics at the University of California, Berkeley. There Tarski
built an empire in logic and methodology that attracted students
and distinguished researchers from all over the world. From the
cafes of Warsaw and Vienna to the mountains and deserts of
California, this first full length biography places Tarski in the
social, intellectual and historical context of his times and
presents a frank, vivid picture of a personally and professionally
passionate man, interlaced with an account of his major scientific
achievements.
Kurt Gödel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gödels writings. The first three volumes, already published, consist of the papers and essays of Gödel. The final two volumes of the set deal with Gödel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.
Kurt Gödel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's equations, permitting "time-travel" into the past. This second volume of a comprehensive edition of Gödel's works collects together all his publications from 1938 to 1974. Together with Volume I (Publications 1929-1936), it makes available for the first time in a single source all of his previously published work. Continuing the format established in the earlier volume, the present text includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, a facing English translation of the one German original, and a complete bibliography. Succeeding volumes are to contain unpublished manuscripts, lectures, correspondence, and extracts from the notebooks. Collected Works is designed to be accessible and useful to as wide an audience as possible without sacrificing scientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science. These volumes will also interest scientists and all others who wish to be acquainted with one of the great minds of the twentieth century.
This volume brings together a selection of Solomon Feferman's most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intensionality in mathematics, and key issues in the work of Gödel, Hilbert, and Turing.
Kurt Gödel is regarded as one of the most outstanding logician of the twentieth century, famous for his work on logic and number theory. This third volume of a comprehensive edition of Godel's works comprises a selection of previously unpublished manuscripts and lectures. It includes introductory notes that provide extensive explanations and historical commentary on each of the papers. This book is accessible to a wide audience without sacrificing historical or scientific accuracy and will be an essential part of the working library of both professionals and students.
Alfred Tarski, one of the greatest logicians of all time, is widely
thought of as 'the man who defined truth'. His mathematical work on
the concepts of truth and logical consequence are cornerstones of
modern logic, influencing developments in philosophy, linguistics
and computer science. Tarski was a charismatic teacher and zealous
promoter of his view of logic as the foundation of all rational
thought, a bon-vivant and a womanizer, who played the 'great man'
to the hilt. Born in Warsaw in 1901 to Jewish parents, he changed
his name and converted to Catholicism, but was never able to obtain
a professorship in his home country. A fortuitous trip to the
United States at the outbreak of war saved his life and turned his
career around, even while it separated him from his family for
years. By the war's end he was established as a professor of
mathematics at the University of California, Berkeley. There Tarski
built an empire in logic and methodology that attracted students
and distinguished researchers from all over the world. From the
cafes of Warsaw and Vienna to the mountains and deserts of
California, this first full length biography places Tarski in the
social, intellectual and historical context of his times and
presents a frank, vivid picture of a personally and professionally
passionate man, interlaced with an account of his major scientific
achievements.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|