Hilbert's Twenty-Fourth Problem

@article{Thiele2004HilbertsTP,
  title={Hilbert's Twenty-Fourth Problem},
  author={R{\"u}dger Thiele},
  journal={Journal of Automated Reasoning},
  year={2004},
  volume={29},
  pages={67-89}
}
  • Rüdger Thiele
  • Published 25 September 2002
  • Mathematics
  • Journal of Automated Reasoning
For almost a century, a treasure lay hidden in a library in Germany, hidden until a remarkable discovery was made. Indeed, for most of the twentieth century, all of science thought that Hilbert had posed twenty-three problems, and no others. In the mid-1990s, however, as a result of a thorough reading of Hilbert's files, a twenty-fourth problem was found (in a notebook, in file Cod. ms. D. Hilbert 600:3), a problem that might have a profound effect on research. This newly discovered problem… 
On the Background to Hilbert’s Paris Lecture “Mathematical Problems”
Much has been written about the famous lecture on “Mathematical Problems” (Hilbert 1901) that David Hilbert delivered at the Second International Congress of Mathematicians, which took place in Paris
A Forgotten Theory of Proofs ?
  • E. Engeler
  • Mathematics
    Log. Methods Comput. Sci.
  • 2019
TLDR
This essay attempts to revive the idea of an algebra of proofs, place MacLane’s thesis work and its vision in a new framework and try to address his original vision.
On the Complexity of Hilbert's 17th Problem
TLDR
It is able to show, assuming a standard conjecture in complexity theory, that it is impossible that every non-negative, n-variate, degree four polynomial can be represented as a sum of squares of a small number of rational functions.
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 9 (22) 2006
TLDR
The paper will discuss methodological and cognitive premises of posing the question of decidability as well as the ideas that have been born since the appearance of the problem of decodability, and suggest a computer that could cross the barriers of the Turing machine.
CDD: 510.1 HILBERT BETWEEN THE FORMAL AND THE INFOR- MAL SIDE OF MATHEMATICS
In this article we analyze the key concept of Hilbert’s axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert’s foundation of geometry
The Flowering of Automated Reasoning
  • L. Wos
  • Mathematics
    Mechanizing Mathematical Reasoning
  • 2005
TLDR
This article celebrates with obvious joy the role automated reasoning now plays for mathematics and logic and evidences the realization of a dream thought impossible just four decades ago by almost all.
Hilbert, completeness and geometry
This paper aims to show how the mathematical content of Hilbert's Axiom of Completeness consists in an attempt to solve the more general problem of the relationship between intuition and
Proof Nets for Intuitionistic Logic
TLDR
This thesis provides a cut elimination procedure for the new proof nets and proves termination and confluence for this reduction system, thus effectively a new notion of the equivalence of intuitionistic proofs.
The Strategy of Cramming
  • L. Wos
  • Mathematics
    Journal of Automated Reasoning
  • 2004
TLDR
A new strategy, cramming, is offered that can serve well in an attempt to answer an open question or in an attempts to find a shorter proof, and is relevant to circuit design and program synthesis.
A PERSONAL PERSPECTIVE ON DEEP INFERENCE AND COMPUTER SCIENCE
TLDR
While attempting to relate process algebras to linear logic, it was realised that Gentzen’s formalisms were inherently inadequate to express the most primitive notion of composition in computer science: sequential composition, so in deep inference the formalisms themselves had to be ‘linearised’.
...
...

References

SHOWING 1-10 OF 188 REFERENCES
Hilbert's new problem.
Throughout the twentieth century, the worlds of logic and mathematics were well aware of Hilbert’s twenty-three problems and the challenge they ofiered. Although not known until very recently, there
A Sideways Look at Hilbert ’ s Twenty-three Problems of 1900
752 NOTICES OF THE AMS VOLUME 47, NUMBER 7 A s the nineteenth century drew to its close, David Hilbert (1862–1943), then regarded as a leading mathematician of his generation, presented a list of
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded
Partial realizations of Hilbert's program
§0. Introduction. What follows is a write-up of my contribution to the symposium “Hilbert's Program Sixty Years Later” which was sponsored jointly by the American Philosophical Association and the
Missing Proofs Found
TLDR
The finding of missing proofs of the cited types, as well as of other types, is the focus of this article and heavy use of McCune's automated reasoning program OTTER, reliance on a variety of powerful strategies this program offers, and employment of diverse methodologies are presented.
How Metaphysical is "Deepening the Foundations"? - Hahn and Frank on Hilbert's Axiomatic Method
Only recently, David Hilbert's program to axiomatize the sciences according to the pattern of geometry has left the shade of his formalist program in the foundations of mathematics. This relative
David Hilbert and his mathematical work
A great master of mathematics passed away when David Hilbert died in Gottingen on February the 14th, 1943, at the age of eighty-one. In retrospect it seems to us that the era of mathematics upon
Hilbert’s Program to Axiomatize Physics (in Analogy to Geometry) and Its Impact on Schlick, Carnap and Other Members of the Vienna Circle
In recent years the works of Friedman, Howard and many others have made obvious what perhaps was always self-evident. Namely, that the philosophy of the logical empiricists was shaped primarily by
Mathematical developments arising from Hilbert problems
Part 1: Hilbert's first problem: The continuum hypothesis by D. A. Martin What have we learnt from Hilbert's second problem? by G. Kreisel Problem IV: Desarguesian spaces by H. Busemann Hilbert's
...
...