Geometry.Net - the online learning center
Home  - Scientists - Herbrand Jacques

e99.com Bookstore
  
Images 
Newsgroups
Page 4     61-76 of 76    Back | 1  | 2  | 3  | 4 
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  

         Herbrand Jacques:     more detail
  1. Jacques Herbrand: An entry from Gale's <i>Science and Its Times</i>
  2. Logical writings; by Jacques Herbrand, 1971
  3. MODERN LOGIC: FROM FREGE TO GÖDEL: HERBRAND: An entry from Gale's <i>Encyclopedia of Philosophy</i> by Bede Rundle, 2006

61. Alibris - Find Your Favorite Authors And Books At Alibris.
Translate this page jacques Hepp. jacques Herail. jacques Heran. jacques Herbaud. jacques herbrand.jacques Hereng. jacques Herissay. jacques Herman. jacques Herold. jacques Heron.
http://www.alibris.com/authors/authors0163.html
Jacques Boireau Jacques Boisgontier Jacques Boisleve Jacques Boisvert Jacques Boireau Jacques Boisgontier Jacques Boisleve Jacques Boisvert ... Jamal Atwah

62. Liste Des Lieux Et Des Personnes Page D'accueil De La
Translate this page jacques ( N ven 6 avr 1832 ) . jacques ( D ven 8 fév 1856 ) . jacques( M sam 20 sep 1856 ) .. FRANCOIS . BUCHENBACH. .. herbrand .
http://users.swing.be/jm.dumont/ip001.htm
Liste des lieux et des personnes
SOXHLET

Marie Elisabeth
ANDERLUES
DUMONT

Pierre Joseph dit Joseph ( D : lun 26 jan 1880 )
ARQUENNES
MOUTHUYS

Josse (Georges Joseph) ( N : lun 6 nov 1719 )
AUVELAIS
JAMIN
Feuillien ( N : mer 7 juil 1660 ) Feuillien ( M : dim 7 jan 1685 ) Feuillien ( D : sam 5 avr 1732 ) JAUMAIN Barbe JAUMIN Pierre ( D : lun 15 mai 1684 ) SERVAIS Barbe ( N : ven 7 mar 1659 ) Barbe ( M : dim 7 jan 1685 ) AYENEUX JOSET Henri Bernard ( D : mar 28 jan 1834 ) BALATRE FICHEFET BATTICE BOVY Bernard Joseph ( N : ven 23 nov 1860 ) Bernard Joseph ( M : sam 29 juin 1889 ) Jacques ( N : ven 6 avr 1832 ) Jacques Jacques ( M : sam 20 sep 1856 ) FRANCOIS Marie Josephine ( M : sam 29 juin 1889 ) JOSET Jeanne Marie ( M : sam 20 sep 1856 ) ROUFOSSE Marie Catherine ( D : lun 25 juil 1853 ) BLAUGIES MASY Augustin MATHIEU Charles Joseph ( D : mer 24 mai 1837 ) Hyacinthe ( N : mar 25 sep 1781 ) Hyacinthe ROUSSEAU Marie Jeanne ( D : sam 28 juin 1783 ) BOLLAND FRANCOIS Marie Josephine BRULY-DE-PESCHE du PONT Christine ( D : sam 26 mai 1787 ) BUCHENBACH HERBRAND Anna Catharina, dite Anne Catherine

63. Mathematical Fiction -- NEW (or Recently Changed)
The idea is that the mathematical logician jacques herbrand who actually did diein a mountaineering accident the same time that his article was coming out on
http://math.cofc.edu/faculty/kasman/MATHFICT/mf-NEW.html

a list compiled by Alex Kasman
Department of Mathematics
College of Charleston
Works of Mathematical Fiction
NOTE: This page does not list all of our cataloged works of mathematical fiction. For the entire list see our homepage
NEW (or recently changed)
    A Matter of Mathematics
    Brian Wilson Aldiss
      A space/time shortcut is found connecting the earth to the moon. Its use provokes an alien response, consisting of a device encoding within it some very strange mathematics....

    (last modified Mar 25 13:09)
    Antibodies

    Charles Stross
      P vs NP is perhaps the greatest problem of theoretical computer science, and has attracted attention of a range of mathematicians, from logic to topology. It's one of the seven Clay Millennium Prize problems (click here)....

    (last modified Mar 25 13:07)
    Heavy Weather

    Bruce Sterling
      Tornado weather in Texas gets worse over the coming decades, and a team headed by a supergenius mathematician confronts the ultimate tornado. Includes explicit summaries of his mathematical prowess (surprisingly, not chaos theory) and of his complete social incompetence (not a surprise,...
    (last modified Mar 25 12:47) A Deadly Medley of Smedley F(eargus) Gwynplaine MacIntyre
      Paradox Patrol officer Julie Anne Callender, with the help of her brother Gregorian and her uncle Newgate, track down yet again the timecrime master of evil Smedley Faversham (and atrocious punmeister) and his two evil henchmen, who happen to be quantum entangled clones of himself from...

64. Genealogy Index For Surnames Beginning With A
Kenneth A. (living) Andrus, Kenneth Arvine (living) Anfinson, herbrand (ABT. 1654)Archambault, Denis (163025 AUG 1651) Archambault, jacques (1604-BEF
http://home.ican.net/~jenseng/idxa.htm
Genealogy Index for surnames beginning with A
Back to Main Page
Aagesen, Absalon
Aase, Oluff
(-AFT. 1601)
Aastrom, Thomas

Abbott, Edward Howard 'Ted'
(living)
Abbott, Jennifer Elizabeth
(living)
Abbott, Scott Howard
(living)
Abraham-Courville, Isreal
(ABT. 1836-)
Abraham-Courville, Joseph

Abrahamsdtr., Marie

Abrego, Alecia Karen
(living)
Abrego, Genevieve Marie
(living) Abrego, Havilah Dorien (living) Abrego, Sarah Kathleen (living) Abrego, Zackery Achin, Jeanne (dit St. Andre) Acres, Charles Henri Acton, Eliza ... Adalbert, Marquis D;Ivree (ABT. 880-) Adam, Allan Adam, Marie Anne Adams, ? Rev. Adams, Brad E. ... Adams, Jonathan Scott (living) Adams, Mary Adams, Stephen Rev. Adamsdtr., Brita Adamsson, Adam ... Addy, Rosemary Elizabeth (living) Adelbert, Adrian, Cori (living) Aga, Johannes Torgilson (BEF. 1590-AFT. 1644) Aga, Torgils Johannesson (ABT. 1585-1657) Aga, Torgils Johannesson Agness, (ABT. 1750-) Agotness, Clifford G. Ahern, Aikens, Albert Ainley, Althea Irene ... Albee, Irene Cora (living) Albrect, June (living) Albright, Alice Aldham, Angela Michelle (living) Aldham, John Richard

65. HISTORICAL THINGS IN NUMBER THEORY
biography). Hans Arnold Heilbronn (MacTutor); Kurt Hensel (MacTutor);jacques herbrand (MacTutor); Charles Hermite (MacTutor); David Hilbert
http://www.math.uga.edu/~ntheory/N14.html
Historical things in Number Theory

66. AISC 1998
3540-64960-3 @proceedings{DBLPconf/aisc/1998, editor = {jacques Calmet and Edition(Springer LINK); Melvin Fitting Bertrand Russell, herbrand's Theorem, and
http://www.informatik.uni-trier.de/~ley/db/conf/aisc/aisc1998.html
AISC 1998: Plattsburgh, New York, USA
Jacques Calmet Jan A. Plaza (Eds.): Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings. Lecture Notes in Computer Science 1476 Springer 1998, ISBN 3-540-64960-3 DBLP
Invited Talks
Regular Talks

67. Untitled Document
What one can do, however, following the classical work of jacques herbrand for firstorderlogic, is to give a general mathematical technique for constructing
http://www.coginst.uwf.edu/users/phayes/RDFS2OWL-largeOWLdomains.html
Herbrand interpretations of large OWL. Peter and Ian have expressed reservations about large OWL based on worries that the semantics described here may be coherent. The concern is that the syntactic freedom allowed in large OWL, where for example one can do such peculiar things as apply OWL restrictions to RDFS properties and classes, might somehow cause the OWL and RDFS semantic conditions to interact in unforseen ways, and these interactions might somehow render the semantics incoherent or trivial; for example, if the conditions made it impossible to construct a large-OWL interpretation, then all large OWL graphs would be inconsistent. The purpose of this note is alleviate these concerns by showing that coherent interpretations can be constructed for many large-OWL graphs. (The constructions involved are rather technical, but then the concerns are rather abstruse. The large-OWL semantic conditions do impose some conditions on any interpretation. They require the universe to be at least countably infinite, for example, since it is required to be nonempty and also to contain elements whose class extensions are all the finite subsets of itself. Thus, any graph which asserts that the universe is finite, for example:

68. CAUL Database
Translate this page Abstract Em 1930, jacques herbrand deu uma caracterização das validadesde primeira ordem em termos de tautologias apropriadas.
http://caul.cii.fc.ul.pt/pt/seminar212.html
Centro de Álgebra da
Universidade de Lisboa
Seminários de Álgebra
Fevereiro 2003
"Os teoremas de Herbrand e Parsons revisitados"
Fernando Ferreira
(CMAF, Universidade de Lisboa, Portugal)
Sexta-feira, 21 de Fevereiro de 2003, 16h, Anfiteatro Abstract: Em 1930, Jacques Herbrand deu uma caracterização das validades de primeira ordem em termos de tautologias apropriadas. Enunciaremos e daremos um esboço de demonstração (via teoria dos modelos) deste teorema para um caso particular. Com base neste teorema, damos uma nova demonstração do teorema de Charles Parsons de 1970/72 que caracteriza as funções demonstravelmente totais da aritmética de Peano com indução restrita a predicados r.e.. Este resultado de Parsons pode ser visto como uma realização "parcial" do programa de Hilbert. Falaremos brevemente sobre esta temática. Local:
Complexo Interdisciplinar da Universidade de Lisboa
Av. Prof. Gama Pinto, 2
1649-003 Lisboa Tel: Fax:
E-mail:
caul@cii.fc.ul.pt URL: http://caul.cii.fc.ul.pt/

69. Photo Gallery
Translate this page 043. Leibniz Gödels Lieblingsphilosoph. 044. jacques herbrand. 045. Gottlob Frege.046. Bertrand Russell. 047. Georg Cantor. 048. Menger und DePauli-Schimanovich 1978.
http://www.univie.ac.at/bvi/photo-gallery/p7.htm
Jacques Herbrand Gottlob Frege Bertrand Russell Georg Cantor Jacques Herbrand Gottlob Frege Bertrand Russell Georg Cantor ... Menger und DePauli-Schimanovich 1978

70. Institut De France / Actualités
Translate this page Séance publique. - Remise des prix thématiques de mathématique Le prixJacques herbrand sera remis à M. Albert COHEN, professeur au laboratoire d
http://www.institut-de-france.fr/actualites/archives/lettreinfo11.htm
L ETTRE D'INFORMATION Sommaire archives
Autres informations
Rappel S
Lundi 11
Institut de France
Le Prix de Recherche 2000 de la Fondation AGF Athena/Institut de France :
sciences
- Réunion du bureau.
Salon de l'Académie (réunion non publique).
- Réunion du CODHOS, présidée par M. François JACOB, académicien.
Salle 4, à 14 heures (réunion non publique).
- Séance publique.
- Remise des prix thématiques de mathématique :
- Remise des prix thématiques de biologie animale et végétale : Grande salle des séances, de 15 heures à 16 heures (dans la limite des places disponibles). Salle 4, de 17 h 30 à 19 heures. sciences morales et politiques Salon Dupont-Sommer, à 14 heures (réunion non publique). - Réunion de la section de législation, droit public et jurisprudence. Salle 3, à 14 heures (réunion non publique). - Séance publique. Petite salle des séances, à 14 h 45 (exclusivement sur invitation et dans la limite des places disponibles).

71. Ôï Èåþñçìá ôïõ Herbrand
The summary for this Greek page contains characters that cannot be correctly displayed in this language/character set.
http://lpis.csd.auth.gr/prolog/Logic_Programming/node9.html
3.4 Ôï Èåþñçìá ôïõ Herbrand
Óýìöùíá ìå ôïí ïñéóìü ôçò éêáíïðïéçóéìüôçôáò (satisfiability), ãéá íá åëÝãîïõìå áí Ýíáò ôýðïò äåí åßíáé éêáíïðïéÞóéìïò, ðñÝðåé í' áðïäåßîïõìå ôï øåýäïò ôïõ ùò ðñïò üëåò ôéò åñìçíåßåò êáé ðåñéï÷Ýò (domains). Ùóôüóï, ìéá ôÝôïéá åñãáóßá åßíáé áñêåôÜ åðßðïíç êáé óå ðïëëÝò ðåñéðôþóåéò áêáôüñèùôç. éá êáëÞ ìáò ôý÷ç, õðÜñ÷åé ìéá ðåñéï÷Þ ðïõ åßíáé ôÝôïéá, þóôå áí êÜðïéïò ôýðïò åßíáé øåõäÞò êÜôù áðü ïðïéáäÞðïôå åñìçíåßá óôç óõãêåêñéìÝíç ðåñéï÷Þ, ôüôå äåí åßíáé éêáíïðïéÞóéìïò. éá Ýíá óõãêåêñéìÝíï ôýðï ôï óýìðáí Herbrand ôïõ the Herbrand universe of ). Ç ïíïìáóßá ïöåßëåôáé óôï Üëëï ëïãéêü Jacques Herbrand. L ôï óýìðáí Herbrand U L L L L âÜóç Herbrand B L L L êáèþò êáé áðü ôïõò üñïõò áðü ôï óýìðáí Herbrand U L . Èá ïíïìÜæïõìå ìéá åñìçíåßá åíüò ôýðïõ óôï óýìðáí Herbrand, åñìçíåßá Herbrand Herbrand interpretation Ïé åñìçíåßåò Herbrand åßíáé éäéáßôåñá ÷ñÞóéìåò óôéò ðåñéðôþóåéò ôùí ðñïôÜóåùí. Áðïäåéêíýåôáé üôé Ýíá óýíïëï ðñïôÜóåùí Ý÷åé Ýíá ìïíôÝëï, áí êáé ìüíïí áí Ý÷åé Ýíá ìïíôÝëï Herbrand. Ôïýôï óçìáßíåé üôé üôáí åëÝã÷ïõìå ôï ìç-éêáíïðïéÞóéìï åíüò óõíüëïõ ðñïôÜóåùí, ìðïñïýìå íá ðåñéïñßóïõìå ôçí åñãáóßá ìáò óå ìïíôÝëá Herbrand.
Mon Apr 5 16:25:43 EEST 1999

72. Herbrand
The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set.
http://www.ki.rim.or.jp/~omura/library/herbrand_link.html
Herbrand‚ÉŠÖ‚·‚郊ƒ“ƒNŽÊ^‚à‚ ‚é

73. Citations: Constraint Logic Programming Languages - Cohen (ResearchIndex)
21 3 Implementation Our tool has three major components a . jacques Cohen Herbrandconstraint theory, H, is obtained by choosing 5 C = f=g interpreted
http://citeseer.nj.nec.com/context/44441/0
75 citations found. Retrieving documents...
Cohen J., Constraint Logic Programming languages , Communications of the ACM, 33 7, 1990, 5268.
Home/Search
Document Not in Database Summary ACM TOC Related Articles ... Check
This paper is cited in the following contexts:
First 50 documents Next 50
The REDO Project: Final Report - Bowen, Breuer, Lano (1991)
(7 citations) (Correct) ....to generate plausible values for j : cr(P#Q,M S:F,Psi) ensure(S= J= F) cr(P,M S:J,Psi) cr(Q,M J:F,Psi) So some clever encoding of the ensure clause (and other arithmetic clauses) is necessary when using standard Prolog. However, the newly emerging field of constraint logic programming whichallows a variety of constraints (including numerical constraints) to be added to a logic program allows the clause ensure(S= J= F) to be encoded as a simple constraint S= J, J= F, and then the same program may be used for both forward and reverse compilation without alteration. So if ....
Cohen J., Constraint Logic Programming languages , Communications of the ACM, 33 7, 1990, 5268. Specification, Verification and Prototyping of an Optimized.. - He, Bowen (1994)

74. FrancoGene - Index Des Immigrants Français En Amérique Du Nord
Translate this page Dest Québec. LORN , Jean jacques (M). INSEE99140. Pl Bâle. Zone Seine.Dest Québec. LOTMAN/ALBRIN, Jean-Baptiste bHerbrand (M). INSEE99404.
http://www.genealogie.com/migrants/0091.html
[Index]
[Page d'accueil FrancoGene]
LONGUEVILLE (de), .., chevalier (M). INSEE:00rech. Pl: . Zone: . Dest: Québec, Louisiane. LONLABARD, Jean (M). INSEE:47001. Pl: Agen (St-Jean). Zone: Lot-et-Garonne. Dest: Québec. LOPES, Alphonse (M). INSEE:99134. Pl: Grenade. Zone: Espagne, Andalucia, Grenade. Dest: Québec. LOPEZ dit MADERE, Emmanuel (M). INSEE:99139. Pl: Ile-de-Madère. Zone: Portugal, Madère. Dest: Québec. LOPISE, Barthélemy (M). INSEE:99134. Pl: . Zone: Espagne, Catalogne. Dest: Québec. LOPPÉ, Renée (F). INSEE:72291. Pl: St-Jean-de-la-Motte. Zone: Sarthe. Dest: Québec. LOQUET dit DE LA POMMERAY, Guillaume (M). INSEE:35288. Pl: St-Malo. Zone: Ille-et-Vilaine. Dest: Louisiane. LOQUET dit DUPONT, François (M). INSEE:35288. Pl: St-Malo. Zone: Ille-et-Vilaine. Dest: Québec. LORD, Anne (F). INSEE:99404. Pl: Nouvelle-Angleterre. Zone: Etats-Unis. Dest: Québec. LORD ou LAURE dit LAMONTAGNE, Julien (M). INSEE:Orléanais. Pl: Orléanais (province). Zone: . Dest: Acadie. LOREAU dit FLORENTIN, Edmé (M).

75. SMAI : Société Mathématique Appliquées Et Industrielles
Translate this page Il a obtenu la médaille de bronze du CNRS en 1998, le prix Clay en 2000, le prixJacques herbrand de l'Académie des Sciences en 2001, et donc la médaille
http://smai.emath.fr/actualites/discours-smai-smf.php
ACM Annuaire MaTeXo MathDoc ... Postes SMAI SMF A ccueil P ... emracs Les messages de la Liste-SMAI Les Comptes-Rendus
Discours au Ministère dans le cadre de la fête de la science
Madame le Ministre,
Dans votre votre message en l'honneur de Laurent Lafforgue, qui a été lu le 22 août dernier à l'Ambassade de France par Monsieur Paul-Jean Ortiz, vous proposiez de profiter de la Fête de la Science pour organiser la présente cérémonie, et vous souhaitiez que la SMF et la SMAI apportent leur soutien actif pour faire de cet événement une fête en l'honneur de l'ensemble des mathématiciens. C'est un grand plaisir pour nos deux associations de répondre à votre attente, et je profite de l'occasion pour vous remercier d'avoir souligné le dynamisme de nos deux sociétés, qui en effet oeuvrent avec constance pour le développement et le rayonnement des mathématiques''.
Les mathématiques françaises ont été à l'honneur lors du dernier congrès international des mathématiciens qui s'est tenu en Chine en août: bien entendu la médaille Fields qui a été remise à Laurent Lafforgue a été le point culminant de cette reconnaissance,
Né à Antony en 1966, Laurent Lafforgue entre à l'Ecole Normale Supérieure de la rue d'Ulm en 1986. En 1990 il est recruté par le CNRS comme attaché de recherche dans l'équipe d'arithmétique et géométrie algébrique du laboratoire de mathématiques de l'Université Paris Sud à Orsay. En 1994 il soutient sa thèse sous la direction de Gérard Laumon. Le titre de sa thèse est Chtoucas de Drinfeld. Il est actuellement Professeur à l'Institut des Hautes Etudes Scientifiques de Bures sur Yvette.

76. Sonstiges
Translate this page Universität Karlsruhe (TH) - Fakultät für Informatik LehrstuhlProf. Dr. P. Deussen Informatik III im WS 2001/2002,
http://iseran.ira.uka.de/lehre/info3-winter2001/sonstiges
Universität Karlsruhe (TH) - Fakultät für Informatik
Lehrstuhl Prof. Dr. P. Deussen
Informatik III im WS 2001/2002 Lernmaterial Mitteilungen Organisation Sonstiges ... Informatik III im WS 2001/2002 > Sonstiges
Aktuelles: Mündliche Prüfungen (Termine) Mündliche Prüfungen Ergebnisse der Klausur vom 12. April (weitere Meldungen)
Sonstiges
1 Ariadne und Theseus
2 Biographien

3 Chomsky (Süddeutsche Zeitung)

4 Hieroglyphen
...
11 Turing, Alan

Letzte Änderungen
11.02.2002. Neu: RoboRally
29.01.2002. Neu: Knowhow-Computer 15.01.2002. Neu: SableCC - Ein Parsergenerator
1 Ariadne und Theseus
Ariadne - Die erste Informatikerin Palast von Knossos Theseus im Alter
2 Biographien
(aus "The MacTutor History of Mathematics archive" Boole, George Church, Alonzo Gödel, Kurt ... Turing, Alan
3 Chomsky (Süddeutsche Zeitung)
In der Süddeutschen Zeitung vom 10. Oktober 2001 gab es einen Beitrag über Noam Chomsky
4 Hieroglyphen
Hieroglyphen Stein von Rosette
5 JavaCC - Ein Parsergenerator
JavaCC ist ein Parsergenerator für SLL(k)-Grammatiken. Er kann bei

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 4     61-76 of 76    Back | 1  | 2  | 3  | 4 

free hit counter