1. Herbrand Jacques Herbrand. Jacques Herbrand entered the Ecole Normale Supérieureat the age of 17. This was quite exceptional at that time. http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Herbrand.html

Jacques Herbrand Born: 12 Feb 1908 in Paris, France Died: Click the picture above to see a larger version Show birthplace location Previous (Chronologically) Next Biographies Index Previous (Alphabetically) Next Main index Jacques Herbrand After his spell in the army, Herbrand was awarded a Rockefeller fellowship to allow him to study at various places in Europe. His first period, until May 1931, was spent at the University of Berlin where he worked with von Neumann . From Berlin, Herbrand went to Hamburg where he spent the month of June working with Artin Emmy Noether It is incredible how much Herbrand achieved in the short time he had to undertake mathematical research. He made contributions to mathematical logic where Herbrand's theorem on the theory of quantifiers appears in his doctoral thesis. See [5] for discussion of a gap which was found in Herbrand's proof in 1963. Herbrand's theorem establishes a link between quantification theory and sentential logic which is important in that it gives a method to test a formula in quantification theory by successively testing formulas for sentential validity. Since testing for sentential validity is a mechanical process, Herbrand's theorem is today of major importance in software developed for theorem proving by computer. Herbrand also worked on field theory considering abelian extensions of algebraic number fields . In the few months on which he worked on this topic, Herbrand published ten papers. These papers simplify proofs of results by

2. JACQUES HERBRAND Jacques Herbrand (19081931) In July, 1931, Jacques Herbrand worked with Emmy Noether in Göttingen. Near the end of the month, he went mountain-climbing in the French alps with two friends. http://www2.evansville.edu/ck6/bstud/herbrand.html

Jacques Herbrand (1908-1931) mathematician In July, 1931, Jacques Herbrand worked with Emmy Noether in Göttingen. Near the end of the month, he went mountain-climbing in the French alps with two friends. There, in the granite of La Bérarde, near Isére, he fell to his death. It is written in Auguste Dick, Emmy Noether 1882-1935, Birkhäuser Verlag, Basel, 1970 (in German); translated to English, Birkhäuser, Boston,1981 that "Emmy Noether was profoundly shaken by the fate of this extraordinarily promising young mathematician." Months after the event, she wrote, "Mir geht der Tod von Herbrand nicht aus dem Sinn. - I can't get Herbrand's death out of my mind." Herbrand had finished his doctorate at École Normale Supérieure in Paris under Ernest Vessiot in 1929, having matriculated there at the exceptional age of 17 and having ranked first in the entering class. In October, 1929, Herbrand joined the army. In 1931, he was awarded a Rockefeller fellowship that enabled him to study in Germany, first with John von Neumann in Berlin, then during June with Emil Artin in Hamburg, and finally, in July, with Emmy Noether. Although Herbrand his best remembered for work in logic and metamathematics, his interests included algebra in general and ring theory in particular, and it was in this connection that he was collaborating with Noether.

3. A Nitistic P Oin T Of View Herbrand Notes prepared by March 13, 2001 A nitistic point of view herbrand jacques Herbrand (19081931) 1930 Research on the Theory of Demonstration. Herbrand said that his goal was to make the work of L¨owenheim and http://www.thoralf.uwaterloo.ca/htdocs/WWW/PDF/herbrand.pdf

4. JACQUES HERBRAND Jacques Herbrand (19081931) mathematician. In July, 1931, JacquesHerbrand worked with Emmy Noether in Göttingen. Near the end http://faculty.evansville.edu/ck6/bstud/herbrand.html

Jacques Herbrand (1908-1931) mathematician In July, 1931, Jacques Herbrand worked with Emmy Noether in Göttingen. Near the end of the month, he went mountain-climbing in the French alps with two friends. There, in the granite of La Bérarde, near Isére, he fell to his death. It is written in Auguste Dick, Emmy Noether 1882-1935, Birkhäuser Verlag, Basel, 1970 (in German); translated to English, Birkhäuser, Boston,1981 that "Emmy Noether was profoundly shaken by the fate of this extraordinarily promising young mathematician." Months after the event, she wrote, "Mir geht der Tod von Herbrand nicht aus dem Sinn. - I can't get Herbrand's death out of my mind." Herbrand had finished his doctorate at École Normale Supérieure in Paris under Ernest Vessiot in 1929, having matriculated there at the exceptional age of 17 and having ranked first in the entering class. In October, 1929, Herbrand joined the army. In 1931, he was awarded a Rockefeller fellowship that enabled him to study in Germany, first with John von Neumann in Berlin, then during June with Emil Artin in Hamburg, and finally, in July, with Emmy Noether. Although Herbrand his best remembered for work in logic and metamathematics, his interests included algebra in general and ring theory in particular, and it was in this connection that he was collaborating with Noether.

5. Jacques Herbrand - Wikipedia Jacques Herbrand. From Wikipedia, the free encyclopedia. Jacques Herbrand(19081931) introduced recursive functions in 1932? Perhaps http://www.wikipedia.org/wiki/Jacques_Herbrand

Main Page Recent changes Edit this page Older versions Special pages Set my user preferences My watchlist Recently updated pages Upload image files Image list Registered users Site statistics Random article Orphaned articles Orphaned images Popular articles Most wanted articles Short articles Long articles Newly created articles Interlanguage links All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk Log in Help Other languages: Polski Jacques Herbrand From Wikipedia, the free encyclopedia. Jacques Herbrand ( ) introduced recursive functions in 1932? Perhaps a paper was published in 1932, and it is reckoned that the recursive functions were introduced by Herbrand in 1932. Edit this page Discuss this page Older versions What links here ... Related changes Other languages: Polski Main Page About Wikipedia Recent changes It was last modified 16:51 Feb 19, 2003. All text is available under the terms of the GNU Free Documentation License Main Page Recent changes Random page ... Bug reports

6. Virtual Encyclopedia Of Mathematics ernst helly eduard helmholtz hermann ludwig ferdinand von heng zhang henrici olausmagnus friedrich erdmann hensel kurt herbrand jacques hermann jakob hermite http://www.lacim.uqam.ca/~plouffe/Simon/supermath.html

7. Classmark Author Title Item Status Barcode Serials (item Status AB, herbrand jacques, Logical writings Jacques Herbrand edited by WarrenD. Goldfarb a translation of the ‰crits logiques, 01, 1500618820. http://www.maths.bris.ac.uk/~amnag/library/mathsclass.htm

Classmark Author Title Item status Barcode Serials (item status 57 = Holdings record) Unclassified Fundamenta mathematicae Proceedings of symposia in pure mathematics Stack 1400 American Mathematical Society translations Annual review of fluid mechanics Annual review of fluid mechanics Annual review of fluid mechanics Annual review of fluid mechanics Books ABL Ablowitz Mark J. Solitons and the inverse scattering transform Mark J. Ablowitz and Harvey Segur ACH Acheson D.J. Elementary fluid dynamics D.J. Acheson AB Ackermann W. Wilhelm Solvable cases of the decision problem by W. Ackermann AIN Ainley Stephen Mathematical puzzles Stephen Ainley AND Anderson John D. John David Fundamentals of aerodynamics John D. Anderson, Jr. AND Anderson John D. John David 1930- Fundamentals of aerodynamics John D. Anderson, Jr APE Apel John R. John Ralph 1930- Principles of ocean physics John R. Apel ARI Aris Rutherford Vectors, tensors, and the basic equations of fluid mechanics Rutherford Aris ATH Athreya K.B. Krishna B.

8. Lukax - Matematika Na Internetu prosince 1927. Ceský matematik. herbrand jacques Narozen 12. února1908, zemrel 27. cervence 1931. Francouzský matematik a logik. http://www.czech-ware.net/lukax/osob/h.asp

9. HermesNet : Directory Di Logica : Logica Della Ricorsività Translate this page Alonzo Church Alonzo Church Introduzione alla vita e al pensiero di Church.Jacques herbrand jacques Herbrand Scheda biografico-concettuale. http://www.hermesnet.it/~hermesnet/directory/logica/logica_ricorsivita/

HOME TECNOLOGIA POLITICA CORPO ... DIRECTORY Sei qui: Homepage Directory Logica Laboratorio Filosofico Telematico Comunità virtuale di ricerca teoretica. STRUMENTI Schede biografiche Schede essenziali e chiare dei filosofi dalla A alla Z Bibliografie complete link alle bibliografie complete dei filosofi. Recensioni Tutte le recensioni delle ultime uscite editoriali. Biblioteche e Opac Dove trovare testi, opere e cataloghi. Indicazioni utili a tutti. Gallery Una galleria incredibile dei più grandi pensatori! Mediateca Ascolta la voce della cultura: un'essenziale raccolta di file! La Directory Un'ampia e dettagliata directory di filosofia, utile per ogni ricerca! Babbage, Post, Turing, Church, Herbrand, Skolem Charles Babbage: Charles Babbage Institute Scheda biografico- concettuale. Charles Babbage Introduzione al pensiero e alla figura di Babbage.

10. Livres Anciens, Rare, Ancien, Precieux, Livres D'occasion, Gravures, Cartes Post Translate this page 05 €. Référence 8123-TF en vente à Librairie Tournefeuille- Montolieu, France - 33+ 0.4 68 24 89 15, herbrand jacques. Ecrits http://www.livre-rare-book.com/Matieres/id/1062k.html

(3918 librairies) Rejoignez livre-rare-book Vente Publique Ecrivez-nous Liens / Links ... livre-rare-book librairies, livres d'occasion, anciens et modernes THESAURUS MOTEUR DE RECHERCHE Mathématiques aba bev bou cas ... laf - lhe - mon pel rie son ... Bouquinerie Saint Lambert - Paris, France - 33+ 01 44 19 85 53 LHEMER ( Derrick Norman). FACTOR TABLE FOR THE FIRST TEN MILLIONS. Containing SMALLEST FACTOR OF EVERY NUMBER NO DIVISIBLE BY 2,3,5 or 7 BETWENN THE LIMITS and 10017000. New york, HAFNER, 1956. 43x31 cm à l'italienne, 476 pages. Simili cuir marron. Bon état. SPRL Henri Godts - Bruxelles, Belgique - 32 (0)2 647 85 48 L'HOSPITAL, marquis G.F.A. de.- Analyse des infiniment petits pour l'intelligence des lignes courbes. Seconde édition. Paris, François Montalant, 1716. In-4 : xvi-181-[1] pp., 11 h.-t. dépliants (1 pl. déreliée, qqs taches ou mouill. marginales, qqs ff. lég. brunis). Rel. moderne hybride : demi-basane brune, dos fleuronné doré à nerfs, pièce de titre. Ce livre sera disponible dans la Vente publique du samedi 29 mars 2003 (Hôtel des ventes St-Georges) à Bruxelles. Le prix affiché ici est un prix d'estimation ! Seconde édition posthume (l'originale date de 1696) de ce classique en calcul différentiel dû au marquis de L'Hospital (1661-1704), membre de l'Académie des Sciences, fait probablement peu courant pour un noble à l'époque. # Wellcome 514; # Brunet Table, 7981 (éd. de 1781). Estimation de vente publique :

11. Marmot Library Network /Marmot August Bernhard Valentin 1735 1766 1957 1 Herbold Bruce 1989 1 Herbold Greg 19971 Herbort Diane 1992 1 Herbote Burkhard 2 herbrand jacques 1908 1931 1971 1 http://www.millennium.marmot.org:90/kids/1899,1901/search/aHerbote, Burkhard./ah

WORD AUTHOR TITLE SUBJECT Adams State College Aspen School District Basalt Regional Library District Colorado Mountain College Durango Public Library Durango Public Library Juvenile Eagle Valley Library District Eagle Valley Library Juvenile Garfield County Public Library Garfield County Public Library Juvenile Gunnison County Public Library Gunnison Public Library, Juvenile Collection Mesa County Public Library Mesa County Public Library, Juvenile Collection Mesa Valley School District 51 Mesa Valley School District 51 Elementary Schools Mesa State College Pitkin County Library Pitkin County Library, Juvenile Collection Plateau Valley School Plateau Valley School, Elementary Southwest Library Services Steamboat Springs Community Libraries Steamboat Springs Juvenile Collection Summit County Public Library Summit County Library, Juvenile Collection Wilkinson Public Library Wilkinson Public Library, Juvenile Vail Library Basalt Regional Library, Juvenile Collection ASD Elementary School ASD Middle School Lib. ASD High School Library GCP Carbondale Branch GCP Glenwood Branch GCP New Castle Branch GCP Parachute Branch GCP Rifle Branch GCP Silt Branch Grand County Grand County Juvenile SD51 Appleton Elementary SD51 Bookcliff Middle Sch SD51 Broadway Elementary SD51 Central High School SD51 Chatfield Elementary SD51 Clifton Elementary SD51 Columbine Elementary SD51 Dos Rios Elementary SD51 East Middle School SD51 Fruita High School SD51 Fruita Middle School SD51 Fruitvale Elementary

12. Computer Science Celebrities Translate this page Kurt Gödel Kurt Gödel (1906 - 1978), Willard Van Orman Quine Willard VanOrman Quine (1908 - 2000), Jacques herbrand jacques Herbrand (1908 - 1931). http://www.informatik.haw-hamburg.de/~owsnicki/celebs.html

Computer Science Celebrities Some might be a bit unexpected, but anyway. Links open in a new window! Aristotle (384 B.C. - 399 B.C.) Abu Ja'far Muhammad ibn Musa Al-Khwarizmi (780? - 850?) Blaise Pascal (1623 - 1662) Gottfried Wilhelm von Leibniz (1646 - 1716) Immanuel Kant (1724 - 1804) Johann Carl Friedrich Gauss (1777 - 1855) Charles Babbage (1791 - 1871) Ada Countess of Lovelace (1815 - 1852) Gottlob Frege (1848 - 1925) David Hilbert (1862 - 1943) Bertrand Russel (1872 - 1970) Ludwig Wittgenstein (1889 - 1951) Rudolf Carnap (1891 - 1970) Alfred Tarski (1902 - 1983) John von Neumann (1903 - 1957) Willard Van Orman Quine (1908 - 2000) Jacques Herbrand (1908 - 1931) Stephen Cole Kleene (1909 - 1994) Konrad Zuse (1910 - 1995) Alan Mathison Turing (1912 - 1954) Claude Elwood Shannon (1916 - 2001) Noam Chomsky (1928 -) Edsger Wybe Dijkstra (1930 - 2002) Niklaus Wirth (1934 -) Donald Ervin Knuth (1938 -) Saul Kripke (1940 -)

13. Belgian Championships G. Lukowski Freddy Herbrand Freddy Herbrand Freddy herbrand jacquesSepton Albert Van Hoorn ? Paul Van Hamme ? Albert http://www.gbrathletics.com/nc/bel.htm

BELGIAN CHAMPIONSHIPS First held in 1889 (men) and 1921 (women). This page lists winners of standard individual track and field events since 1960 where known. MEN 100 Metres 200 Metres 400 Metres Edouard Leroy Paul Poels Paul Poels Ignace Van der Cam Paul Poels Paul Poels Paul Poels Guy Stas Lambert Micha Alfons Brydenbach Frank Verhelst Lambert Micha Ronald Desruelles Ronald Desruelles Frank Verhelst Jacques Borlée Ronald Desruelles Jacques Borlée Ronald Desruelles Ronald Desruelles Ronald Desruelles Ronald Desruelles Patrick Stevens Patrick Stevens Patrick Stevens Patrick Stevens Patrick Stevens Patrick Stevens Patrick Stevens Patrick Stevens Erik Wijmeersch Patrick Stevens Erik Wijmeersch Patrick Stevens Patrick Stevens Bongelemba Bongelo Erik Wijmeersch Adhémar? Schoufs Jacques Pennewaert Paul Poels Paul Poels Paul Poels Paul Poels Paul Poels Guy Stas Alfons Brydenbach Alfons Brydenbach Reno Roelandt Lambert Micha Reno Roelandt Jacques Borlée Frank Verhelst Jacques Borlée Kris Poté Jacques Borlée Jacques Borlée Ronald Desruelles Jeroen Fischer Jeroen Fischer Patrick Stevens Patrick Stevens Patrick Stevens Jeroen Fischer Patrick Stevens Patrick Stevens Patrick Stevens Erik Wijmeersch Patrick Stevens Erik Wijmeersch Erik Wijmeersch Erik Wijmeersch Patrick Stevens Erik Wijmeersch Cedric Van Branteghem Louis De Clerck Jacques Pennewaert Jacques Pennewaert Willy Vandenwyngaerden Willy Vandenwyngaerden Willy Vandenwyngaerden Jacques Pennewaert Gabriel De Geyter Alfons Brydenbach Mario De Marchi Christian Allemeersch Alfons Brydenbach Alfons Brydenbach Alfons Brydenbach

14. References For Herbrand References for jacques herbrand. Books WD Goldfarb (ed.), Logical Writings of jacquesherbrand (Reidel, 1971). Articles C Chevalley, jacques herbrand, Stud. http://www-gap.dcs.st-and.ac.uk/~history/References/Herbrand.html

References for Jacques Herbrand Biography in Dictionary of Scientific Biography (New York 1970-1990). Books: W D Goldfarb (ed.), Logical Writings of Jacques Herbrand (Reidel, 1971). Articles: C Chevalley, Jacques Herbrand, Stud. Logic Foundations Math. (Amsterdam-New York, 1982), 1-2. Stud. Logic Foundations Math. (Amsterdam-New York, 1982), 3-7. B Dreben, P Andrews and S Aanderaa, False lemmas in Herbrand, Bull. Amer. Math. Soc. J van Heijenoort, L'oeuvre logique de Jacques Herbrand et son contexte historique, Stud. Logic Foundations Math. (Amsterdam-New York, 1982), 57-85. Main index Birthplace Maps Biographies Index History Topics ... Anniversaries for the year JOC/EFR December 1996 School of Mathematics and Statistics University of St Andrews, Scotland The URL of this page is: http://www-history.mcs.st-andrews.ac.uk/history/References/Herbrand.html

15. H H règle de coupure ne peut pas du tout être éliminée. herbrand, jacques (Paris, 1908La Bérarde, 1931) herbrand 68. http://www.irisa.fr/lande/ridoux/LPAZ/node53.html

Best viewed in 24pt and full-screen Next: I-J-K Up: A-Z Previous: G H horn (A / B) Pol :- horn A Pol , horn B Pol . horn (qqsoit F) MOINS :- pi x ( horn (F x) MOINS ) . horn (A / B) PLUS :- horn A PLUS , horn B PLUS . horn (existe F) PLUS :- pi x ( horn (F x) PLUS ) . Spécification des formules de Horn en termes de polarités Harrop Ronald (1926) [ Harrop 56 Harrop 60 ]. Après avoir montré que des énoncés de la forme (ou ) ne sont démontrables que si soit soit l'est (ou l'est pour un terme ), Harrop a recherché des résultats similaires pour des énoncés de la forme (ou ). La question est donc de savoir si on peut se contenter de preuves constructives pour démontrer ces énoncés. Harrop a montré que pour que la démontrabilité de ces formules puisse se réduire à la démontrabilité constructive, il fallait que les occurrences de et dans la formule soient contraintes. Cette contrainte aboutit à la notion de formule de Harrop, et à celle de formule héréditaire de Harrop si on veut que toutes les étapes de la démonstration de ou (ou ) soit constructives.

16. Herbrand Biography of jacques herbrand (19081931) jacques herbrand. Born 12 Feb 1908 in Paris, France http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Herbrand.html

Jacques Herbrand Born: 12 Feb 1908 in Paris, France Died: Click the picture above to see a larger version Show birthplace location Previous (Chronologically) Next Biographies Index Previous (Alphabetically) Next Main index Jacques Herbrand After his spell in the army, Herbrand was awarded a Rockefeller fellowship to allow him to study at various places in Europe. His first period, until May 1931, was spent at the University of Berlin where he worked with von Neumann . From Berlin, Herbrand went to Hamburg where he spent the month of June working with Artin Emmy Noether It is incredible how much Herbrand achieved in the short time he had to undertake mathematical research. He made contributions to mathematical logic where Herbrand's theorem on the theory of quantifiers appears in his doctoral thesis. See [5] for discussion of a gap which was found in Herbrand's proof in 1963. Herbrand's theorem establishes a link between quantification theory and sentential logic which is important in that it gives a method to test a formula in quantification theory by successively testing formulas for sentential validity. Since testing for sentential validity is a mechanical process, Herbrand's theorem is today of major importance in software developed for theorem proving by computer. Herbrand also worked on field theory considering abelian extensions of algebraic number fields . In the few months on which he worked on this topic, Herbrand published ten papers. These papers simplify proofs of results by

17. Herbrand, Jacques herbrand, jacques (19081931). French mathematical prodigy who originatedsome innovatory concepts in the field of mathematical logic. http://www.cartage.org.lb/en/themes/Biographies/MainBiographies/H/Herbrand/1.htm

18. Mathematicians William Rowan Hankel, Hermann Hardy, Godfrey Harold Hargreaves, James Hausdorff,Felix, Heine, Heinrich Eduard Herapath, John herbrand, jacques Hermite, Charles http://www.cartage.org.lb/en/themes/Biographies/Categories/Scientists/Mathematic

19. EMMY NOETHER'S NOTE ON HERBRAND'S DEATH jacques herbrand, Théorie arithmétique des corps de nombres de degréinfini, Mathematische Annalen 106 (1932) 473501. Following http://faculty.evansville.edu/ck6/bstud/ennote.html

Emmy Noether's note on Herbrand's death Shown here is a note written in Emmy Noether's hand, sent to an editor of Mathematische Annalen, and published as a preface to the article, Jacques Herbrand, "Théorie arithmétique des corps de nombres de degré infini," Mathematische Annalen Following is a partial translation, based on that given on page 43 of James W. Brewer and Martha K. Smith, editors, Emmy Noether: A Tribute to Her Life and Work, Marcel Dekker, New York, 1981: Jacques Herbrand, born on the 12th of February, 1908, in Paris, was killed on the 27th of July, 1931, while mountain-climbing in the French Alps. One of the strongest mathematical talents has passed on with him, just during a time of the most intensive work, while he was full of ideas for the future. The last year of his life, which he spent with a Rockefeller scholarship in Germany, brought him into close contact, both scienfically and personally, with a number of German mathematicians . . . Jacques Herbrand Emmy Noether Clark Kimberling Home Page

20. Herbrand Portrait Portrait of jacques herbrand jacques herbrand. JOC/EFR August 2001 http://www-history.mcs.st-and.ac.uk/history/PictDisplay/Herbrand.html

Jacques Herbrand JOC/EFR August 2001 The URL of this page is: http://www-history.mcs.st-andrews.ac.uk/history/PictDisplay/Herbrand.html

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 1     1-20 of 76    1  | 2  | 3  | 4  | Next 20