中文
相关论文

相关论文: Robert F. Coleman 1954-2014

200 篇论文

The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the…

综合文献 · 计算机科学 2017-01-11 Solomon Feferman

April 25, 2003, marked the 100th anniversary of the birth of Andrei Nikolaevich Kolmogorov, the twentieth century's foremost contributor to the mathematical and philosophical foundations of probability. The year 2003 was also the 70th…

历史与综述 · 数学 2018-02-19 Glenn Shafer , Vladimir Vovk

We discuss the legacy of Alan Turing and his impact on computability and analysis.

逻辑 · 数学 2018-12-10 Jeremy Avigad , Vasco Brattka

I was interested in the work of Solomon Marcus in Mathematical Linguistics as a high-school student. Later, I had the opportunity to discuss with him about many topics. He was a polymath. We wrote a paper together, and I refereed an…

历史与综述 · 数学 2026-04-20 Florin Felix Nichita

General Relativity (GR) was created in November 1915 and since its creation and up to now this theory has undergone many tests. The first realistic cosmological models were proposed in the works of Friedman, written in the 1920s. For a long…

物理学史与哲学 · 物理学 2025-08-08 Alexander F. Zakharov

Vladimir Andreevich Uspensky [1930-2018] was one of the Soviet pioneers of the theory of computation and mathematical logic in general (and my teacher and thesis advisor). This paper is the survey of his mathematical works and their…

历史与综述 · 数学 2021-07-05 Alexander Shen

Robert A. Millikan (1868-1953) was the second American to win the Nobel Prize in physics. At the peak of his influence, no scientist save Einstein was more admired by the American public. Millikan, the head of the California Institute of…

物理学史与哲学 · 物理学 2024-02-20 Thomas Hales

Professor Dr. Karl Dragutin Rakos passed away on October 31, 2011 one day before his 86th birthday. With that the Vienna astronomical community lost a valued researcher, university teacher and co-founder of modern astrophysical research at…

天体物理仪器与方法 · 物理学 2012-09-17 Andrew P. Odell

We present a method for completing a premetric space, in the sense introduced by F. Richman in the context of constructive Mathematics without countable choice.

逻辑 · 数学 2018-08-07 Jose Andrés Quintero , Carlos Uzcátegui

Boris Venkov passed away on November 10 2011 just 5 days before his 77th birthday. This article gives a short survey of the mathematical work of Boris Venkov in this direction.

历史与综述 · 数学 2012-01-10 Gabriele Nebe

With this contribution we would like to remember Chandra M. R. Kintala who passed away in November 2009. We will give short overviews of his CV and his contributions to the field of theoretical and applied computer science and, given the…

形式语言与自动机理论 · 计算机科学 2010-08-11 Martin Kappes , Andreas Malcher , Detlef Wotschke

Leopold Halpern, who was a close associate of both Erwin Schroedinger and Paul Dirac before making his own mark as a theoretical physicist of the first rank, died in Tallahassee, Florida on 3 June 2006 after a valiant struggle with cancer.…

广义相对论与量子宇宙学 · 物理学 2007-05-23 James M. Overduin , Hans S. Plendl

Fermat's Last Theorem is proved by using the philosophical and mathematical knowledge of 1637 when the French mathematician Pierre de Fermat claimed to have a truly marvelous proof of his conjecture. Our approach consists of setting three…

综合数学 · 数学 2022-04-13 Hector Ivan Nunez

The 75th anniversary of Turing's seminal paper and his centennial year anniversary occur in 2011 and 2012, respectively. It is natural to review and assess Turing's contributions in diverse fields in the light of new developments that his…

计算复杂性 · 计算机科学 2014-02-10 Miguel-Angel Martin-Delgado

Wasssily Hoeffding's terminal illness and untimely death in 1991 put an end to efforts that were made to interview him for Statistical Science. An account of his scientific work is given in Fisher and Sen [The Collected Works of Wassily…

统计方法学 · 统计学 2009-06-23 Nicholas I. Fisher , Willem R. van Zwet

This is a historical article on J. C. Corbin, a nineteenth century mathematician and the founding president of the Historically Black University of Arkansas at Pine Bluff. This version omits the figures that appeared in the published…

历史与综述 · 数学 2024-02-08 Jesse Leo Kass

Inspired by the relation between the algebra of complex numbers and plane geometry, William Rowan Hamilton sought an algebra of triples for application to three dimensional geometry. Unable to multiply and divide triples, he invented a…

历史与综述 · 数学 2016-06-13 Govind S. Krishnaswami , Sonakshi Sachdev

2023 year marks the hundredth birth anniversary of prominent Russian mathematician and thinker Igor Rostislavovich Shafarevich (1923-2017). The article presents a selection of quotations from various works of him, devoted to the future of…

历史与综述 · 数学 2025-10-27 Alexey Remizov

In 1972 H. L. Montgomery announced a remarkable connection between the distribution of the zeros of the Riemann zeta-function and the distribution of eigenvalues of large random Hermitian matrices. Since then a number of startling…

数论 · 数学 2009-09-25 J. Brian Conrey

Mathematical population genetics is only one of Kingman's many research interests. Nevertheless, his contribution to this field has been crucial, and moved it in several important new directions. Here we outline some aspects of his work…

概率论 · 数学 2010-05-26 Warren J. Ewens , Geoffrey A. Watterson