Corpus ID: 15965624

JACQUES HERBRAND : LIFE , LOGIC , AND AUTOMATED DEDUCTION

@inproceedings{Anellis2007JACQUESH,
  title={JACQUES HERBRAND : LIFE , LOGIC , AND AUTOMATED DEDUCTION},
  author={I. Anellis and P. Bussotti and Lawrence Charles Paulson},
  year={2007}
}
The lives of mathematical prodigies who passed away very early after groundbreaking work invoke a fascination for later generations: The early death of Niels Henrik Abel (1802–1829) from ill health after a sled trip to visit his fiancé for Christmas; the obscure circumstances of Evariste Galois’ (1811–1832) duel; the deaths of consumption of Gotthold Eisenstein (1823–1852) (who sometimes lectured his few students from his bedside) and of Gustav Roch (1839–1866) in Venice; the drowning of the… Expand
8 Citations
A series of revisions of David Poole’s specificity
  • 5
HERBRAND’s Fundamental Theorem in the Eyes of JEAN VAN HEIJENOORT
  • 8
  • Highly Influenced
Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining
  • 3
  • PDF
Hilbert's epsilon as an operator of indefinite committed choice
  • 23
  • PDF

References

SHOWING 1-10 OF 170 REFERENCES
Only Two Letters: The Correspondence between Herbrand and Gödel
  • W. Sieg
  • Computer Science, Mathematics
  • Bulletin of Symbolic Logic
  • 2005
  • 20
Symbolic Logic
  • 470
  • PDF
Extensions of Some Theorems of Gödel and Church
  • J. Rosser
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1936
  • 311
  • PDF
What Is Symbolic Computation?
  • 24
  • PDF
...
1
2
3
4
5
...