| |
|
Jacques Herbrand
Sie befinden Sie in: Formelsammlung Lexikon > j > Jacques Herbrand |
|
Jacques Herbrand |
|
Jacques Herbrand (* 12. Februar 1908 in Paris; ? 27. Juli
1931 in La Bérarde) war ein französischer
Logiker.
Nach ihm sind das Herbrand-Modell und der Satz von Herbrand
in der Prädikatenlogik benannt. Seine Erkenntnisse in der
Prädikatenlogik werden als Herbrand-Theorie zusammengefasst.
Stichworte
- Herbrand-Universum
- Herbrand-Struktur
- Herbrand-Expansion
Weblinks
- Biographie (http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Herbrand.html) (engl.)
|
|
|
|
|
|
Lexikon Eintrag Drucken | Dokument als PDF downloaden |
Dieser Artikel stammt aus Wikipedia,
der freien Enzyklopädie und steht unter der GNU Free Documentation Licence. |
zum Seitenanfang
|
| » Unterstüzt von: |
 |
|

|
|