Alfred Horn (Mathematiker)

Datei:Prof Alfred Horn of East Palisades CA 1973 passport photo.jpg

Alfred Horn

Alfred Horn (* 17. Februar 1918 in Lower East Side, Manhattan, in New York; † 16. April 2001 in Pacific Palisades, Kalifornien) war ein amerikanischer Mathematiker. In seinem 1951 veröffentlichten Werk On sentences which are true of direct unions of algebras führte er die Horn-Klauseln und Horn-Formeln ein, die ab den 1970er Jahren die Grundlage für die logische Programmierung bildete.

Leben

Alfred Horn wuchs in Manhattan auf. Seine Eltern waren beide taub, und Horns Vater starb, als Alfred drei Jahre alt war. Später zog er nach Brooklyn, wo er den Großteil seiner Kindheit verbrachte.

Er besuchte das City College of New York und später die New York University, wo er den Master-Grad für Mathematik erhielt. 1946 erhielt er den Ph. D. an der University of California, Berkeley mit einer Schrift über die Lösungen von Integralgleichungen: The Asymptotic Behavior of Solutions of Integral Equations.<ref>{{#invoke:WLink|getArticleBase}} im Mathematics Genealogy Project (englisch){{#if: | {{{Kommentar}}} }} {{#if: 31660 | {{#ifeq: {{#property:P549}} | 31660 | | {{#if: {{#property:P549}} | {{#if: | | }} | {{#if: | | }} }} }} }} abgerufen am 7. Mai 2024.</ref> 1947 wurde er Professur für Mathematik an der University of California in Los Angeles, wo er bis zu seinem Ruhestand 1988 blieb. Er veröffentlichte 35 Werke.

Im Jahr 2001 starb er an Prostatakrebs, an dem er bereits acht Jahre zuvor erkrankt war.

Weblinks

[{{canonicalurl:Commons:Category:{{#if:Alfred Horn (mathematician)|Alfred Horn (mathematician)|Alfred Horn (Mathematiker)}}|uselang=de}} Commons: {{#if:Alfred Horn|Alfred Horn|{{#if:Alfred Horn (mathematician)|Alfred Horn (mathematician)|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if:

    | {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if: Alfred Horn (mathematician)

   | {{#ifeq: {{#invoke:Str|left|alfred horn (mathematician)|9}} 
       | category:

| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung

<templatestyles src="Webarchiv/styles.css" />{{#if:

      | {{#ifeq: {{{wayback}}} | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor. | {{#invoke:WLink|getEscapedTitle|Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor.}} | {{#invoke:Webarchiv|getdomain|http://www.math.ucla.edu/info/horn.html}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|{{{wayback}}}}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor. | {{#invoke:WLink|getEscapedTitle|Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor.}} | {{#invoke:Webarchiv|getdomain|http://www.math.ucla.edu/info/horn.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|{{{wayback}}}}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor. | {{#invoke:WLink|getEscapedTitle|Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor.}} | {{#invoke:Webarchiv|getdomain|http://www.math.ucla.edu/info/horn.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor. | {{#invoke:WLink|getEscapedTitle|Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor.}} | {{#invoke:Webarchiv|getdomain|http://www.math.ucla.edu/info/horn.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor. | {{#invoke:WLink|getEscapedTitle|Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor.}} | {{#invoke:Webarchiv|getdomain|http://www.math.ucla.edu/info/horn.html}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 20130905163259
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor. | {{#invoke:WLink|getEscapedTitle|Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor.}} | {{#invoke:Webarchiv|getdomain|http://www.math.ucla.edu/info/horn.html}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:20130905163259|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.math.ucla.edu/info/horn.html}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor.
    | {{#if: {{#invoke:WLink|isBracketedLink|Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor.}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.math.ucla.edu/info/horn.html%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.math.ucla.edu/info/horn.html%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.math.ucla.edu/info/horn.html }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}. Auf: Math.UCLA.edu. (Reprint der Palisades Post). Nachruf (englisch).

Alfred Horn in der Datenbank zbMATH

Einzelnachweise

{{#ifeq: p | p | | {{#if: 107881329993144782938945841395 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 107881329993144782938945841395 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 1078813299 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 1078813299 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 93144782938945841395 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 93144782938945841395 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Horn, Alfred | {{#if: | {{#if: US-amerikanischer Mathematiker | {{#if: 17. Februar 1918 | {{#if: Manhattan | {{#if: 16. April 2001 | {{#if: Pacific Palisades, Kalifornien, USA |

Personendaten
NAME	Horn, Alfred }}
ALTERNATIVNAMEN	}}
KURZBESCHREIBUNG	US-amerikanischer Mathematiker }}
GEBURTSDATUM	17. Februar 1918 }}
GEBURTSORT	Manhattan }}
STERBEDATUM	16. April 2001 }}
STERBEORT	Pacific Palisades, Kalifornien, USA }}

Vorlage:Wikidata-Registrierung