# Herbrand's Fundamental Theorem - an encyclopedia article

@article{Wirth2015HerbrandsFT, title={Herbrand's Fundamental Theorem - an encyclopedia article}, author={Claus-Peter Wirth}, journal={arXiv: Logic}, year={2015} }

Herbrand's Fundamental Theorem provides a constructive characterization of derivability in first-order predicate logic by means of sentential logic. Sometimes it is simply called "Herbrand's Theorem", but the longer name is preferable as there are other important "Herbrand theorems" and Herbrand himself called it "Th\'eor\`eme fondamental". It was ranked by Bernays [1957] as follows: "In its proof-theoretic form, Herbrand's Theorem can be seen as the central theorem of predicate logic. It…

## One Citation

### A series of revisions of David Poole’s specificity

- Computer ScienceAnnals of Mathematics and Artificial Intelligence
- 2015

In the middle of the 1980s, David Poole introduced a semantic, model-theoretic notion of specificity to the artificial-intelligence community. Since then it has found further applications in…

## References

SHOWING 1-10 OF 66 REFERENCES

### Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining

- MathematicsArXiv
- 2014

The inner structure of Herbrand’s Fundamental Theorem and the questions of its quality and its depth are discussed and why Bernays called it “the central theorem of predicate logic” and considered the form of its expression to be “concise and felicitous”.

### HERBRAND’s Fundamental Theorem in the Eyes of JEAN VAN HEIJENOORT

- MathematicsLogica Universalis
- 2012

The inner structure of Herbrand’s Fundamental Theorem and the questions of its quality and its depth are discussed and why Bernays called it “the central theorem of predicate logic” and considered the form of its expression to be “concise and felicitous”.

### Historical Development of Modern Logic

- PhilosophyLogica Universalis
- 2012

Modern Logic began in 1879, the year in which Gottlob Frege (1848–1925) published his Begriffsschrift. In less than ninety pages this booklet presented a number of discoveries that changed the face…

### A note on the Entscheidungsproblem

- MathematicsJournal of Symbolic Logic
- 1936

It is shown that the general case of the Entscheidungsproblem is unsolvable in any system of symbolic logic which is adequate to a certain portion of arithmetic and is ω-consistent.

### Principia Mathematica

- PhilosophyNature
- 1911

THIS work contains some thousands of propositions, each, with its proof, expressed in a shorthand so concise that if they were all expanded into ordinary language, the room taken up would be ten…

### Symbolic Logic

- HistoryNature
- 1881

MR. McCOLL still expresses surprise at my declining to answer a Yes or No question which he was pleased to put to me in NATURE (vol. xxiv. p. 124). It was, I should think, almost unique in a…

### Writing mathematics well

- Education
- 1987

Communicating mathematics well is an important part of doing mathematics. As you write up your homework solutions, keep these things in mind: • Write in sentences. Complete thoughts are sentences…

### Logic as calculus and logic as language

- PhilosophySynthese
- 2004

Answering Schroder’s criticisms of Begriffsschrift, Frege states that, unlike Boole’s, his logic is not a calculus ratiocinator, or not merely a calculus ratiocinator, but a lingua characterica.1 If…

### On computable numbers, with an application to the Entscheidungsproblem

- Computer ScienceProc. London Math. Soc.
- 1937

This chapter discusses the application of the diagonal process of the universal computing machine, which automates the calculation of circle and circle-free numbers.

### Grundzüge der theoretischen Logik

- Philosophy
- 1928

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche…