Leo Harrington

Datei:Leo Harrington.jpg

Leo Harrington, 2008

Leo Anthony Harrington (* 17. Mai 1946) ist ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik und Mengenlehre beschäftigt.

Harrington wurde 1973 am Massachusetts Institute of Technology bei Gerald E. Sacks promoviert (Contributions to Recursion Theory on Higher Types).<ref>{{#invoke:WLink|getArticleBase}} im Mathematics Genealogy Project (englisch){{#if: | {{{Kommentar}}} }} {{#if: 22298 | {{#ifeq: {{#property:P549}} | 22298 | | {{#if: {{#property:P549}} | {{#if: | | }} | {{#if: | | }} }} }} }}{{#if: 22298 | Vorlage:MathGenealogyProject/Wartung/id verwendet}}{{#if: | Vorlage:MathGenealogyProject/Wartung/name verwendet}}{{#ifeq:|{{#invoke:WLink|getArticleBase}}|Vorlage:MathGenealogyProject/Wartung/unnötige Verwendung von Parameter 2|}}</ref> Er ist Professor an der University of California, Berkeley.

Harrington bewies 1977 mit Jeff Paris die Unentscheidbarkeit eines Satzes innerhalb der Peano-Arithmetik. 1995 war er Gödel-Lecturer (Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist)).

1976 erhielt er ein Forschungsstipendium der Alfred P. Sloan Foundation (Sloan Research Fellowship). 1978 war er Gastredner auf dem Internationalen Mathematikerkongress in Helsinki (Definability theory).

Zu seinen Doktoranden zählt Ehud Hrushovski.

Weblinks

Datei:Commons-logo.svg

[{{canonicalurl:Commons:Category:{{#if:|{{{1}}}|Leo Harrington}}|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: 

| }}}}

• Homepage in Berkeley

Einzelnachweise

<references />

{{#ifeq: p | p | | {{#if: n8506266630962479 | |

}} }}{{#ifeq:||{{#if: 2023-11-08 | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|2023-11-08|7}}]] }}{{#if: ja | {{#if: 2023-11-08 | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n85062666 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n85062666 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 30962479 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 30962479 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Harrington, Leo | {{#if: Harrington, Leo Anthony (vollständiger Name) | {{#if: US-amerikanischer Mathematiker | {{#if: 17. Mai 1946 | {{#if: | {{#if: | {{#if: |