Hilbert's Twenty-Fourth Problem

@article{Thiele2003HilbertsTP,
  title={Hilbert's Twenty-Fourth Problem},
  author={R. Thiele},
  journal={The American Mathematical Monthly},
  year={2003},
  volume={110},
  pages={1 - 24}
}
  • R. Thiele
  • Published 2003
  • Mathematics
  • The American Mathematical Monthly
or almost a century, a treasure lay hidden in a library in Germany, hidden until a remarkable discovery d t was made. Indeed, for most of the twentieth century, all of science thought that Hilbert had pose wenty-three problems, and no others. In the mid-1990s, however, as a result of a thorough reading of p Hilbert's files, a twenty-fourth problem was found (in a notebook, in file Cod. Ms. D. Hilbert 600:3), a roblem that might have a profound effect on research. This newly discovered problem… Expand
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 ParisExpand
Mathematics Made in Germany: On the Background to Hilbert’s Paris Lecture
Submissions should be uploaded to http://tmin.edmgr.com or to be sent directly to David E. Rowe, rowe@mathematik.uni-mainz.de M uch has been written about the famous lecture on ‘‘MathematicalExpand
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 andExpand
The Origin of Hilbert's Axiomatic Method1
This chapter examines how Hilbert’s axiomatic approach gradually consolidated over the last decade of the nineteenth century. It goes on to explore the way this approach was actually manifest in itsExpand
HILBERT BETWEEN THE FORMAL AND THE INFORMAL 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 geometryExpand
Identity of proofs based on normalization and generality
  • K. Dosen
  • Mathematics, Computer Science
  • Bull. Symb. Log.
  • 2003
TLDR
The generality proposal was rather neglected in logic, though related matters were much studied in pure category theory in connection with coherence problems, and there are also links to low-dimensional topology and linear algebra. Expand
Paradox, Harmony, and Crisis in Phenomenology
Husserl’s first work formulated what proved to be an algorithmically complete arithmetic, lending mathematical clarity to Kronecker’s reduction of analysis to finite calculations with integers.Expand
NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
Abstract Natural Formalization proposes a concrete way of expanding proof theory from the meta-mathematical investigation of formal theories to an examination of “the concept of the specificallyExpand
A simple theory of every 'thing'.
TLDR
It is attempted to show that every 'thing', from particles to mind, can be partitioned into systemic states by virtue of self-organising symmetry break, i.e. self-entropy in terms of the balance between risk and ambiguity to achieve epistemic gain. Expand
Towards Hilbert's 24 th Problem:
Proofs Without Syntax [37] introduced polynomial-time checkable combinatorial proofs for classical propositional logic. This sequel approaches Hilbert’s 24 th Problem with combinatorial proofs asExpand
...
1
2
3
...

References

SHOWING 1-10 OF 118 REFERENCES
Hilbert's Twenty-Fourth Problem
TLDR
Hilbert's twenty-fourth problem is presented, its relation to certain studies in automated reasoning, and open questions to be attacked are presented, questions that may prove of substantial interest to mathematicians, logicians, and (perhaps in a slightly different manner) to those researchers primarily concerned with automated reasoning. Expand
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, thereExpand
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 ofExpand
Partial Realizations of Hilbert's Program
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 Association forExpand
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, heraldedExpand
Edward Arthur Milne - The relations of mathematics to science
Abstract This is a transcript of Milne's manuscript notes for a talk which he gave to fellow members of the Cambridge University Natural Science Club in his rooms at Trinity College, Cambridge, onExpand
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 relativeExpand
Automating the Search for Elegant Proofs
  • L. Wos
  • Computer Science
  • Journal of Automated Reasoning
  • 2004
TLDR
The research reported in this article was spawned by a colleague's request to find an elegant proof to replace his proof consisting of 816 deduced steps, and the methodology used to obtain the far shorter proof is presented in detail through a sequence of experiments. Expand
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'sExpand
Zermelo and the Skolem Paradox
TLDR
On October 4, 1937, Zermelo composed a small note entitled “Relativismus in Set Theory and the So-Called Theorem of Skolem” in which he gives a refutation of “Skolem's paradox”, which strongly documents his view of mathematics as based on a world of objects that could only be grasped adequately by infinitary means. Expand
...
1
2
3
4
5
...