Kurt Schütte

Kurt Schütte (14 October 1909 – 18 August 1998) was a German mathematician who worked on proof theory and ordinal analysis. The Feferman–Schütte ordinal, which he showed to be the precise ordinal bound for predicativity, is named after him. He was the doctoral advisor of 16 students, including Wolfgang Bibel, Wolfgang Maaß, Wolfram Pohlers, and Martin Wirsing. Provided by Wikipedia
Showing 1 - 20 results of 35 for search 'Schütte, Kurt', query time: 0.09s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Proof theory

    Proof theory by Schütte, Kurt 1909-1998

    Published 2011
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Zur Beweistheorie von KPM vorgetragen in der Sitzung vom 08. Januar 1993

    Zur Beweistheorie von KPM vorgetragen in der Sitzung vom 08. Januar 1993 by Schütte, Kurt

    Published 1993
    Get full text
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Pi-1/2-Separation und Bar-Induktion

    Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Pi-1/2-Separation und Bar-Induktion by Schütte, Kurt

    Published 1987
    Get full text
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der ... - Separation und Bar-Induktion

    Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der ... - Separation und Bar-Induktion by Buchholz, Wilfried, Schütte, Kurt

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Proof theory

    Proof theory by Schütte, Kurt 1909-1998

    Published 1977
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Proof Theory

    Proof Theory by Schütte, Kurt 1909-1998

    Published 1977
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  7. 7
    Primitiv-rekursive Ordinalzahlfunktionen

    Primitiv-rekursive Ordinalzahlfunktionen by Schütte, Kurt

    Published 1975
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Axiomatische Mengenlehre Vorlesung, gehalten im Wintersemester 1969/70 an der Universität München

    Axiomatische Mengenlehre Vorlesung, gehalten im Wintersemester 1969/70 an der Universität München by Schütte, Kurt 1909-1998

    Published 1970
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Vollständige Systeme modaler und intuitionistischer Logik

    Vollständige Systeme modaler und intuitionistischer Logik by Schütte, Kurt

    Published 1968
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Grundlagen der Analysis im Rahmen einer einfachen Typenlogik Ausz. (mit einigen Erg.) aus d. Vorlesung: Grundlagen d. Math., München, W. S. 1966/67

    Grundlagen der Analysis im Rahmen einer einfachen Typenlogik Ausz. (mit einigen Erg.) aus d. Vorlesung: Grundlagen d. Math., München, W. S. 1966/67 by Schütte, Kurt

    Published 1967
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Beweistheorie

    Beweistheorie by Schütte, Kurt 1909-1998

    Published 1960
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Proof theory of impredicative subsystems of analysis

    Proof theory of impredicative subsystems of analysis by Buchholz, Wilfried, Schütte, Kurt

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit ...-Separation und Bar-Induktion

    Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit ...-Separation und Bar-Induktion by Schütte, Kurt

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit ... Separation und Bar-Induktion

    Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit ... Separation und Bar-Induktion by Schütte, Kurt

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis

    Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis by Buchholz, Wilfried, Schütte, Kurt

    Published 1981
    Get full text
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta-Analysis

    Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta-Analysis by Buchholz, Wilfried, Schütte, Kurt

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Proof theory

    Proof theory by Schütte, Kurt 1909-1998

    Published 1977
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Vollständige Systeme modaler und intuitionistischer Logik

    Vollständige Systeme modaler und intuitionistischer Logik by Schütte, Kurt

    Published 1968
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    Vollständige Systeme modaler und intuitionistischer Logik

    Vollständige Systeme modaler und intuitionistischer Logik by Schütte, Kurt

    Published 1968
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Vollständige Systeme modaler und intuitionistischer Logik

    Vollständige Systeme modaler und intuitionistischer Logik by Schütte, Kurt 1909-1998

    Published 1968

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: