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}
}

• I. Anellis, P. Bussotti, Lawrence Charles Paulson
• Published 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

Save to Library

Create Alert

Cite

Launch Research Feed