Zum Inhalt springen

Martin Davis

aus Wikipedia, der freien Enzyklopädie

Vorlage:Hinweisbaustein

Datei:Martin Davis.jpg
Martin Davis, vor 2010

Martin Davis (* 8. März<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:|{{#if:Martin David Davis|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Martin David Davis}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://mathshistory.st-andrews.ac.uk/Biographies/Davis/%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Martin David Davis}}}}|[{{#invoke:URLutil|getNormalized|1=https://mathshistory.st-andrews.ac.uk/Biographies/Davis/}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Martin David Davis}}}}]}}{{#if:| ({{{format}}}{{#if:mathshistory.st-andrews.ac.uk2011-07{{#if: 2023-01-05 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}} 

          | )
          | {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://mathshistory.st-andrews.ac.uk/Biographies/Davis/%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://mathshistory.st-andrews.ac.uk/Biographies/Davis/}}%7C%7C}}}}{{#if:Martin David Davis|{{#if:{{#invoke:WLink|isValidLinktext|1=Martin David Davis|lines=0}}||}}}}{{#if: mathshistory.st-andrews.ac.uk| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=mathshistory.st-andrews.ac.uk}}}}{{#if: | {{{hrsg}}}{{#if: 2011-07|,|{{#if: 2023-01-05 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 2011-07| {{#if:{{#invoke:DateTime|format|2011-07|noerror=1}}
            |{{#invoke:DateTime|format|2011-07|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2011-07|class=Zitationswartung}} }}{{#if: |,|{{#if: 2023-01-05 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2023-01-05 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2011-07|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:1329966||(?)}}}}}}{{#if: 2023-01-05|;}}}}{{#if: 2023-01-05| {{#if:2011-07{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-01-05 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-01-05|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-01-05|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:mathshistory.st-andrews.ac.uk2011-07{{#if: 2023-01-05 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:en|en|de}}|de||
          {{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2011-07{{#if: 2023-01-05 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if: 

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}} 

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch: 

   |0|=Vorlage:Toter Link/Core{{#if: https://mathshistory.st-andrews.ac.uk/Biographies/Davis/
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://mathshistory.st-andrews.ac.uk/Biographies/Davis/
      | {{#if:{{#invoke:URLutil|isWebURL|https://mathshistory.st-andrews.ac.uk/Biographies/Davis/}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://mathshistory.st-andrews.ac.uk/Biographies/Davis/ Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://mathshistory.st-andrews.ac.uk/Biographies/Davis/
       | {{#if:{{#invoke:URLutil|isWebURL|https://mathshistory.st-andrews.ac.uk/Biographies/Davis/}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://mathshistory.st-andrews.ac.uk/Biographies/Davis/ }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://mathshistory.st-andrews.ac.uk/Biographies/Davis/
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://mathshistory.st-andrews.ac.uk/Biographies/Davis/
      | {{#if:{{#invoke:URLutil|isWebURL|https://mathshistory.st-andrews.ac.uk/Biographies/Davis/}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://mathshistory.st-andrews.ac.uk/Biographies/Davis/ Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://mathshistory.st-andrews.ac.uk/Biographies/Davis/
       | {{#if:{{#invoke:URLutil|isWebURL|https://mathshistory.st-andrews.ac.uk/Biographies/Davis/}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://mathshistory.st-andrews.ac.uk/Biographies/Davis/ }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref> 1928 in New York City; † 1. Januar 2023) war ein US-amerikanischer Logiker und theoretischer Informatiker.

Leben

Davis wurde 1928 als Kind polnischer Immigranten in der Bronx<ref>www.yiddishbookcenter.org.</ref> (New York City) geboren.

Er studierte zunächst Mathematik am City College of New York. Während dieser Zeit wurde seine Entwicklung stark durch Emil Leon Post beeinflusst. 1950 promovierte er bei Alonzo Church an der Princeton University. Anschließend war er ein Jahr an der University of Illinois at Urbana-Champaign als Research Instructor tätig. Danach arbeitete er als Programmierer des 1951 fertiggestellten Rechners ORDVAC der University of Illinois. Während dieser Zeit schrieb er die erste Version seines 1958 erschienenen Buches Computability and Unsolvability, das zu den Klassikern der theoretischen Informatik gehört.

Von 1952 bis 1954 war er Gast am Institute for Advanced Study in Princeton. Nach verschiedenen Tätigkeiten, unter anderem an der University of California, Davis, den Bell Telephone Laboratories und für die RAND Corporation, ging er 1965 als Professor an die New York University. Ab 1969 baute er dort das Department of Computer Science auf. Nach 31-jähriger Tätigkeit an der Universität wechselte er 1996 in den Ruhestand, den er zusammen mit seiner Ehefrau Virginia in Berkeley verlebte.

Martin Davis starb am 1. Januar 2023.<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Eugenio Omodeo, Alberto Policriti, Domenico Cantone|Eugenio Omodeo, Alberto Policriti, Domenico Cantone: }}{{#if:|{{#if:In memoriam: Martin Davis – Association for Logic Programming|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=In memoriam: Martin Davis – Association for Logic Programming}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://logicprogramming.org/2023/01/in-memoriam-martin-davis/%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=In memoriam: Martin Davis – Association for Logic Programming}}}}|[{{#invoke:URLutil|getNormalized|1=https://logicprogramming.org/2023/01/in-memoriam-martin-davis/}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=In memoriam: Martin Davis – Association for Logic Programming}}}}]}}{{#if:| ({{{format}}}{{#if:Logicprogramming.orgAssociation for Logic Programming2023-01-03{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}} 

          | )
          | {{#if:{{#ifeq:en-US|de||{{#if:en-US|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://logicprogramming.org/2023/01/in-memoriam-martin-davis/%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://logicprogramming.org/2023/01/in-memoriam-martin-davis/}}%7C%7C}}}}{{#if:In memoriam: Martin Davis – Association for Logic Programming|{{#if:{{#invoke:WLink|isValidLinktext|1=In memoriam: Martin Davis – Association for Logic Programming|lines=0}}||}}}}{{#if: Logicprogramming.org| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Logicprogramming.org}}}}{{#if: Association for Logic Programming| Association for Logic Programming{{#if: 2023-01-03|,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 2023-01-03| {{#if:{{#invoke:DateTime|format|2023-01-03|noerror=1}}
            |{{#invoke:DateTime|format|2023-01-03|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2023-01-03|class=Zitationswartung}} }}{{#if: |,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2023-01-03Association for Logic Programming|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:1329966||(?)}}}}}}{{#if: 2023-01-04|;}}}}{{#if: 2023-01-04| {{#if:2023-01-03Association for Logic Programming{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-01-04 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-01-04|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-01-04|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en-US|de||{{#if:en-US|1}}}}|{{#if:Logicprogramming.orgAssociation for Logic Programming2023-01-03{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:en-US|en-US|de}}|de||
          {{#invoke:Multilingual|format|en-US|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en-US|en-US|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2023-01-03{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en-US|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if: 

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}} 

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch: 

   |0|=Vorlage:Toter Link/Core{{#if: https://logicprogramming.org/2023/01/in-memoriam-martin-davis/
       | {{#if:  | [3] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://logicprogramming.org/2023/01/in-memoriam-martin-davis/
      | {{#if:{{#invoke:URLutil|isWebURL|https://logicprogramming.org/2023/01/in-memoriam-martin-davis/}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://logicprogramming.org/2023/01/in-memoriam-martin-davis/ Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://logicprogramming.org/2023/01/in-memoriam-martin-davis/
       | {{#if:{{#invoke:URLutil|isWebURL|https://logicprogramming.org/2023/01/in-memoriam-martin-davis/}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://logicprogramming.org/2023/01/in-memoriam-martin-davis/ }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://logicprogramming.org/2023/01/in-memoriam-martin-davis/
       | {{#if:  | [4] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://logicprogramming.org/2023/01/in-memoriam-martin-davis/
      | {{#if:{{#invoke:URLutil|isWebURL|https://logicprogramming.org/2023/01/in-memoriam-martin-davis/}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://logicprogramming.org/2023/01/in-memoriam-martin-davis/ Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://logicprogramming.org/2023/01/in-memoriam-martin-davis/
       | {{#if:{{#invoke:URLutil|isWebURL|https://logicprogramming.org/2023/01/in-memoriam-martin-davis/}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://logicprogramming.org/2023/01/in-memoriam-martin-davis/ }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>

Leistungen

Bekannt wurde Martin Davis vor allem durch die 1961 gemeinsam mit Hilary Putnam und Julia Robinson veröffentlichte Arbeit The decision problem for exponential Diophantine equations,<ref>Annals of Mathematics (2) 74 (1961) 425 - 436</ref> welche die Grundlagen zur Lösung von David Hilberts zehntem Problem durch Juri Matijassewitsch lieferte. Bedeutend sind auch das Davis-Putnam-Verfahren und der Davis-Putnam-Logemann-Loveland-Algorithmus (DPLL).

Ehrungen

Martin Davis erhielt 1974 den Lester Randolph Ford Award<ref>für Hilberts tenth problem is unsolvable, American Mathematical Monthly, Band 80, 1973, S. 233</ref> und 1975 den Chauvenet-Preis der Mathematical Association of America. Die American Mathematical Society hat ihn 1975 mit dem Leroy P. Steele Prize geehrt. 2005 wurde er mit dem Herbrand Award ausgezeichnet. 1962 hielt er einen Vortrag auf dem Internationalen Mathematikerkongress in Stockholm (Quantification theory as a free variable calculus). Er war Fellow der American Mathematical Society.

Publikationen

  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}

Weblinks

[{{canonicalurl:Commons:Category:{{#if:|{{{1}}}|Martin Davis}}|uselang=de}} Commons: {{#if:|{{{2}}}|{{#if:|{{{1}}}|{{#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: 

   | {{#ifeq: {{#invoke:Str|left||9}} 
       | category:
| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung

Einzelnachweise

<references />

{{#ifeq: p | p | | {{#if: 116040866n5003560385381152 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 116040866n5003560385381152 | |

}} }}{{#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: 116040866 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 116040866 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n50035603 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n50035603 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 85381152 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 85381152 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Davis, Martin | {{#if: | {{#if: amerikanischer Logiker | {{#if: 8. März 1928 | {{#if: New York | {{#if: 1. Januar 2023 | {{#if: |
Personendaten
NAME Davis, Martin

}}

ALTERNATIVNAMEN

}}

KURZBESCHREIBUNG amerikanischer Logiker

}}

GEBURTSDATUM 8. März 1928

}}

GEBURTSORT New York

}}

STERBEDATUM 1. Januar 2023

}}

STERBEORT

}}

Vorlage:Wikidata-Registrierung

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Martin_Davis&oldid=1329966“