|
Showing 1 - 3 of
3 matches in All Departments
This book is dedicated to Andrzej Ehrenfeucht on the occasion of
his 65th birthday. On personal invitation by the volume editors, 22
internationally well-known scientists from mathematical logics and
theoretical computer science participated in this project honoring
an excellent scientist with excellent papers centered around his
scientific work.
The 22 invited papers are presented in topical sections on model
theory, games and logic, graphs and algorithms, pattern matching
and learning, combinatorics of words, algebra of languages, formal
language theory, and computational molecular biology.
|
Adventures of a Mathematician (Paperback)
S.M. Ulam; Introduction by Daniel Hirsch, William G. Mathews; Contributions by Francoise Ulam, Jan Mycielski
|
R858
R563
Discovery Miles 5 630
Save R295 (34%)
|
Ships in 12 - 17 working days
|
This autobiography of mathematician Stanislaw Ulam, one of the
great scientific minds of the twentieth century, tells a story rich
with amazingly prophetic speculations and peppered with lively
anecdotes. As a member of the Los Alamos National Laboratory from
1944 on, Ulam helped to precipitate some of the most dramatic
changes of the postwar world. He was among the first to use and
advocate computers for scientific research, originated ideas for
the nuclear propulsion of space vehicles, and made fundamental
contributions to many of today's most challenging mathematical
projects. With his wide-ranging interests, Ulam never emphasized
the importance of his contributions to the research that resulted
in the hydrogen bomb. Now Daniel Hirsch and William Mathews reveal
the true story of Ulam's pivotal role in the making of the 'Super,'
in their historical introduction to this behind-the-scenes look at
the minds and ideas that ushered in the nuclear age. It includes an
epilogue by Francoise Ulam and Jan Mycielski that sheds new light
on Ulam's character and mathematical originality.
What are mathematical theories? What mathematical objects should
correspond to this informal concept? The classical and most
important answer to these questions is: Theories formalized in
first order logic. But this answer has also some undesirable
features. One of theme is the dependence of such theories upon the
language or the choice of primitive concepts, whereas a slightly
deeper view would identify theories interpretable in each other.
The purpose of the present memoir is to investigate further, to
survey the former work and to point out a number of open problems
about local interpretability.
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.