Jacques Herbrand


Jacques Herbrand

Jacques Herbrand (12 de febrero de 1908 - 27 de julio de 1931) fue un matemático francés, que trabajó en lógica matemática.

Jacques Herbrand.

Egresado de la Escuela Normal Superior de París. Pasó un corto período también en la Universidad de Göttingen. Introdujo la noción de función recursiva.

El Teorema de Herbrand es uno de los primeros resultados teoría de la demostración, establece un nexo entre cuantificación y lógica de primer orden cuya importancia es el proveer un método para verificar la validez de una fórmula con cuantificadores basándose en la verificación sucesiva de la validez de fórmulas de primer orden. Dado que la verificación de validez se puede realizar mecánicamente, el Teorema de Herbrand justifica el trabajo de las herramientas de software desarrolladas para demostración asistida por computador.

El cociente de Herbrand es un tipo de característica de Euler, utilizada en álgebra homológica.

Todo esto en un breve lapso, puesto que Jacques Herbrand murió a los 23 años en un accidente de montaña en los Alpes.


Enlaces externos


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Jacques Herbrand — (* 12. Februar 1908 in Paris; † 27. Juli 1931 in La Bérarde) war ein französischer Logiker, Algebraiker und Zahlentheoretiker. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Jacques Herbrand — (February 12, 1908 July 27, 1931) was a French mathematician who was born in Paris, France and died in La Bérarde, Isère, France. He worked in mathematical logic and class field theory. He introduced recursive functions. Herbrand s theorem refers …   Wikipedia

  • Jacques Herbrand — (1908 1931) fue un matemático francés, que trabajó en lógica matemática. Egresado de la Escuela Normal Superior de París. Pasó un corto período también en la Universidad de Göttingen. Introdujo la noción de función recursiva. El Teorema de… …   Enciclopedia Universal

  • Jacques Herbrand — Pour les articles homonymes, voir Herbrand. Dernière photographie de Jacques Herbrand prise au cours de l excursion où il trouva la mort Jacques Herbrand, né à Paris le 12 février …   Wikipédia en Français

  • Herbrand's theorem — is a fundamental result of mathematical logic obtained by Jacques Herbrand (1930). [J. Herbrand: Recherches sur la theorie de la demonstration. Travaux de la Societe des Sciences et des Lettres de Varsovie, Class III, Sciences Mathematiques et… …   Wikipedia

  • Herbrand — bezeichnet Herbrand (Waggonfabrik), eine ehemalige Waggonfabrik in Köln Den Familiennamen Herbrand tragen: Jacob Heerbrand (1521 1600), deutscher reformierter Theologe Jacques Herbrand (1908 1931), französischer Logiker Siehe auch: Herbrand… …   Deutsch Wikipedia

  • HERBRAND (J.) — HERBRAND JACQUES (1908 1931) Logicien et mathématicien français né à Paris et mort à Saint Christophe en Oisans dans un accident de montagne. La brève carrière de Jacques Herbrand est marquée par sa démonstration, essentiellement correcte, d’un… …   Encyclopédie Universelle

  • Jacques — Jacques, die französische Form des männlichen Vornamens Jakob. Bekannte Namensträger sind: Inhaltsverzeichnis 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 …   Deutsch Wikipedia

  • Herbrand-Theorie — Der nach Jacques Herbrand, einem französischen Logiker, benannte Satz von Herbrand (engl. Herbrand s theorem, was gelegentlich nicht ganz korrekt als Herbrand Theorie übersetzt wird) in der Prädikatenlogik lautet: Sei F eine geschlossene Formel… …   Deutsch Wikipedia

  • Herbrand-Interpretation — Eine zu einer prädikatenlogischen Formel F passende Struktur heißt Herbrand Struktur, wenn folgende Eigenschaften erfüllt sind: Das Universum ist das aus F generierte Herbrand Universum, also . Die Interpretationen I sind Herbrand… …   Deutsch Wikipedia


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.