Jacques Herbrand

Sur Jacques Herbrand (1908-1931), dont l’article souligne l’ampleur des intérêts, notamment son attention aux développements récents des sciences physiques, son œuvre en informatique qui, dans sa postérité tardive, renforce la pertinence d’un rapprochement avec von Neumann, que Herbrand rencontre d’ailleurs lors de son séjour en Allemagne en 1930, et dont il connaissait le mémoire de 1927 sur la non-contradiction de l’arithmétique. – La lecture de Principia; – La rencontre avec le programme de Hilbert; – L’année allemande; – Métamathématique et philosophie des mathématiques. La situation de Herbrand : Peut-on définir l’évidence effective ?; Signes mathématiques, référence et déréférence.