Kurt Schütte

Kurt Schütte

Kurt Schütte (* 14. Oktober 1909 in Salzwedel; † 18. August 1998 in München) war ein deutscher Mathematiker und Hochschullehrer.

Leben

Kurt Schütte studierte Mathematik, Physik, Chemie und Philosophie in Berlin und an der Universität Göttingen, wo er 1933 bei David Hilbert promovierte. Er war der letzte Doktorand von Hilbert, wurde aber eigentlich von Paul Bernays betreut. Seine Dissertation trägt den Titel Untersuchungen zum Entscheidungsproblem der mathematischen Logik.[1] Danach legte er das Staatsexamen ab und wurde Gymnasiallehrer. Im Zweiten Weltkrieg war er Meteorologe. Danach war er wieder Lehrer und strebte eine wissenschaftliche Karriere als Assistent in Göttingen und Marburg an. 1952 schloss er seine Habilitation ab und wurde 1955 Dozent und 1958 apl. Professor an der Universität Marburg und 1962 Professor an der Universität Kiel. Von 1966 bis zu seiner Emeritierung 1977 hatte er den Lehrstuhl für Mathematische Logik an der Ludwig-Maximilians-Universität München inne. 1959/60 war er auf Einladung von Kurt Gödel am Institute for Advanced Study. Außerdem war er Gastprofessor an der ETH Zürich (1961/62) und an der Pennsylvania State University (1962/63).

In der Beweistheorie geht die Mitte der 1960er Jahre von ihm und unabhängig von Solomon Feferman eingeführte Feferman-Schütte-Ordinalzahl auf ihn zurück.

1953 löste er mit Bartel Leendert van der Waerden das Kusszahlenproblem in drei Dimensionen.

1966 hielt er einen Plenarvortrag auf dem Internationalen Mathematikerkongress in Moskau (Neuere Ergebnisse der Beweistheorie).

Seit 1973 war Schütte ordentliches Mitglied der Bayerischen Akademie der Wissenschaften und war korrespondierendes Mitglied der Österreichischen Akademie der Wissenschaften.

Er hatte 16 Doktoranden, unter ihnen Wolfgang Bibel, Wolfgang Maaß, Wolfram Pohlers und Martin Wirsing.

Herbst 1949 in Oberwolfach, von links: Irmgard Süss, Hans-Heinrich Ostmann, Paul Bernays, Gisbert Hasenjaeger, Arnold Schmidt, Herbert von Kaven, Kurt Schütte

Schriften

  • Beweistheorie, Springer, Grundlehren der mathematischen Wissenschaften, 1960, Englische überarbeitete Neuauflage als Proof Theory, Springer 1977
  • Vollständige Systeme modaler und intuitionistischer Logik, Springer 1968
  • mit Wilfried Buchholz: Proof Theory of Impredicative Subsystems of Analysis, Bibliopolis, Neapel 1988
  • mit Helmut Schwichtenberg: Mathematische Logik, in Fischer, Hirzebruch u. a. (Herausgeber), Ein Jahrhundert Mathematik 1890–1990, Vieweg 1990

Literatur

Einzelnachweise

  1. ↑ Kurt Schütte im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
Personendaten
NAME Schütte, Kurt
KURZBESCHREIBUNG deutscher Mathematiker
GEBURTSDATUM 14. Oktober 1909
GEBURTSORT Salzwedel
STERBEDATUM 18. August 1998
STERBEORT München

Read other articles:

Hijau tentara

Hijau tentara Prajurit Denzipur 2/PS TNI-AD mengenakan seragam pakaian dinas upacara (PDU) berwarna hijau tentaraCommon connotationsAngkatan darat     Koordinat warnaTriplet hex#4B5320sRGBB    (r, g, b)(75, 83, 32)CMYKH   (c, m, y, k)(10, 0, 62, 67)HSV       (h, s, v)(69°, 61%, 33%)SumberColorHexa[1]B: Dinormalkan ke [0–255] (bita)H: Dinormalkan ke [0–100] (ratusan) Hijau tentara (Inggris: Army greencode: en is deprecated ) adalah ...

 

Buntu Raja, Siempat Nempu, Dairi

BunturajaDesaKantor Kepala Desa BunturajaNegara IndonesiaProvinsiSumatera UtaraKabupatenDairiKecamatanSiempat NempuKode pos22261Kode Kemendagri12.11.04.2005 Luas... km²Jumlah penduduk... jiwaKepadatan... jiwa/km² Bunturaja merupakan salah satu desa yang ada di kecamatan Siempat Nempu, Kabupaten Dairi, provinsi Sumatera Utara, Indonesia. Sosial Kemasyarakatan Suku Demografi berdasarkan Marga di Desa Bunturaja[1]   Sihombing (10.6%)  Purba (9.6%)  Ma...

 

Adang Surahman

Prof. Ir.Adang SurahmanM.Sc., Ph.D.Pjs. Rektor ITB 2004-2005 Pejabat Sementara Rektor Institut Teknologi BandungMasa jabatan23 Oktober 2004 – 29 Januari 2005 PendahuluIr. Kusmayanto Kadiman, Ph.D.PenggantiProf. Dr. Ir. Djoko Santoso, M.Sc. Informasi pribadiLahirAdang Surahman7 September 1954 (umur 69)Cimahi, Jawa Barat, IndonesiaKebangsaanIndonesiaAlma materIr./S1 - ITB M.Sc./S2 - Virginia Polytechnic Institute and State University, USA Ph.D./Dr. - Lehigh University, USASuntin...

Kim Ji-hyun (penyanyi)

Dalam nama Korean ini, nama keluarganya adalah Kim. Kim Ji-hyunInformasi latar belakangLahir16 Agustus 1972 (umur 51)Korea SelatanPekerjaanPenyanyiPemeranTahun aktif1994–sekarangArtis terkaitRoo'raNama KoreaHangul김지현 Alih AksaraGim Ji-hyeonMcCune–ReischauerKim Chihyŏn Kim Ji-hyun (Korea: 김지현code: ko is deprecated ; lahir 16 Agustus 1972)[1] adalah penyanyi dan pemeran Korea Selatan. Ia memulai debut pada tahun 1994 sebagai anggota grup musik Roo'ra,[2] ya...

 

الدورى الكندى الممتاز 2019

الدورى الكندى الممتاز 2019 البلد كندا  الرياضه كورة قدم  الموسم 1  تاريخ 2019  تاريخ الانتهاء 2 نوفمبر 2019  عدد المشاركين الفايز نادى فورجى  عدد المباريات تعديل  الدورى الكندى الممتاز 2019 (بالانجليزى: 2019 Canadian Premier League) هوا موسم رياضى فى كورة قدم اتعمل فى كندا سنة 201...

 

Daftar Duta Besar Indonesia untuk Suriah

Duta Besar Indonesia untuk SuriahLambang Kementerian Luar Negeri Republik IndonesiaPetahanaWajid Fauzisejak 7 Januari 2019Ditunjuk olehPresiden IndonesiaPejabat perdanaMohammed MuinDibentuk1950[1]Situs webkemlu.go.id/damascus/id Berikut adalah daftar diplomat Indonesia yang pernah menjabat Duta Besar Republik Indonesia untuk Suriah: No. Foto Nama Mulai menjabat Selesai menjabat Merangkap Diangkat oleh Ref. — Zeini HasanKuasa Usaha Juli 1956 Oktober 1959 [1] — Djailin ...

Meuse (département)

Pour les articles homonymes, voir Meuse (homonymie). Meuse Administration Pays France Région Grand Est Création du département 4 mars 1790 (234 ans) Chef-lieu(Préfecture) Bar-le-Duc Sous-préfectures CommercyVerdun Président duconseil départemental Jérôme Dumont (DVD) Préfet Pascale Trimbach[1] Code Insee 55 Code ISO 3166-2 FR-55 Code Eurostat NUTS-3 FR412 Démographie Gentilé Meusiens Population 181 919 hab. (2021) Densité 29 hab./km2 Géographie Coordonnées ...

 

عبد السلام عارف

عبد السلام عارف الرئيس الثاني لجمهورية العراق الرئيس عبد السلام عارف عام 1964 رئيس جمهورية العراق القائد الأعلى للقوات المسلحة العراقية رئيس المجلس الوطني لقيادة الثورة في المنصب8 فبراير 1963 – 13 أبريل 1966 (3 سنواتٍ وشهران و5 أيامٍ) الحاكم رشيد مصلح التكريتي الحكومة قائمة...

 

Cuban Five

Group of Cuban intelligence officers who were arrested and imprisoned in Miami by U.S. authorities Wasp Network redirects here. For the film, see Wasp Network (film). Some of this article's listed sources may not be reliable. Please help improve this article by looking for better, more reliable sources. Unreliable citations may be challenged and removed. (October 2021) (Learn how and when to remove this template message) A poster in front of Plaza de la Revolución, Havana, calling for the re...

United States women's national under-17 basketball team

United StatesFIBA ranking1stFIBA zoneFIBA AmericasNational federationUSA BasketballCoachSue PhillipsWorld ChampionshipsAppearances6Medals Gold: 2010, 2012, 2014, 2018, 2022 Bronze: 2016Americas ChampionshipsAppearances5Medals Gold: 2009, 2011, 2013, 2017 Bronze: 2015 The USA women's national under-17 basketball team is the women's basketball team, administered by USA Basketball, that represents the United States in international under-17 and under-16 (under age 17 and under age 16) women's ba...

 

Ro60-0175

Chemical compound Ro60-0175Identifiers IUPAC name (S)-6-Chloro-5-fluoro-1H-indole-2-propanamine CAS Number169675-09-6 YPubChem CID3045227IUPHAR/BPS274ChemSpider2308002UNIIYQP8J4N96AChEBICHEBI:142183ECHA InfoCard100.189.524 Chemical and physical dataFormulaC11H12ClFN2Molar mass226.68 g·mol−13D model (JSmol)Interactive image SMILES C[C@@H](Cn1ccc2c1cc(c(c2)F)Cl)N InChI InChI=1S/C11H12ClFN2/c1-7(14)6-15-3-2-8-4-10(13)9(12)5-11(8)15/h2-5,7H,6,14H2,1H3/t7-/m0/s1Key:XJJZQXUGLLXTHO-ZETC...

 

ابن القاص

ابن القاص معلومات شخصية مكان الميلاد آمل تاريخ الوفاة سنة 946   مواطنة إيران  الحياة العملية المهنة متصوف  تعديل مصدري - تعديل   ابن القاص، أبو العباس، أحمد بن أبي أحمد الطبري الشافعي، كان واليا على طرطوس ومات بها مرابطا عام 335.[1] قال عنه في سير أعلام النبلاء: «ال...

Liceo imperiale di Carskoe Selo

Questa voce sugli argomenti scuole e architetture di San Pietroburgo è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Liceo imperiale di Carskoe SeloIl cortile del liceo imperiale UbicazioneStato Russia CittàPuškin OrganizzazioneTipoliceo Fondazione1811 Mappa di localizzazione Modifica dati su Wikidata · ManualeCoordinate: 59°43′03″N 30°23′49″E / 59.7175°N 30.3969...

 

2020年夏季奧林匹克運動會波蘭代表團

2020年夏季奥林匹克运动会波兰代表團波兰国旗IOC編碼POLNOC波蘭奧林匹克委員會網站olimpijski.pl（英文）（波兰文）2020年夏季奥林匹克运动会（東京）2021年7月23日至8月8日（受2019冠状病毒病疫情影响推迟，但仍保留原定名称）運動員206參賽項目24个大项旗手开幕式：帕维尔·科热尼奥夫斯基（游泳）和马娅·沃什乔夫斯卡（自行车）[1]闭幕式：卡罗利娜·纳亚（皮划艇）&#...

 

Air Force Specialty Code

Alphanumeric code used by the US Air Force to identify a specific job The Air Force Specialty Code (AFSC) is an alphanumeric code used by the United States Air Force to identify a specific job. Officer AFSCs consist of four characters and enlisted AFSCs consist of five characters. A letter prefix or suffix may be used with an AFSC when more specific identification of position requirements and individual qualifications is necessary. The AFSC is similar to the Military Occupational Specialty Co...

Trade Act of 2002

United States trade law The Trade Act of 2002 (Pub. L.Tooltip Public Law (United States) 107–210 (text) (PDF), H.R. 3009, 116 Stat. 933, enacted August 6, 2002; 19 U.S.C. §§ 3803–3805; U.S. Trade Promotion Authority Act) granted the President of the United States the authority to negotiate trade deals with other countries and gives Congress the approval to only vote up or down on the agreement, not to amend it. This authority is sometimes called fast-t...

 

مايكل جونز (لاعب كرة قدم)

  لمعانٍ أخرى، طالع مايكل جونز (توضيح). مايكل جونز (بالإنجليزية: Michael Jones)‏  معلومات شخصية الميلاد 24 مارس 1947   سندرلاند  تاريخ الوفاة 9 أغسطس 2022 (75 سنة) [1]  مركز اللعب مدافع الجنسية المملكة المتحدة  المسيرة الاحترافية1 سنوات فريق م. (هـ.) 1963–1969 ديربي كاونتي 0 ...

 

Ebenaceae

Family of flowering plants Ebenaceae Diospyros sandwicensis Scientific classification Kingdom: Plantae Clade: Tracheophytes Clade: Angiosperms Clade: Eudicots Clade: Asterids Order: Ericales Family: EbenaceaeGürke[1] Genera See text The Ebenaceae are a family of flowering plants belonging to order Ericales. The family includes ebony and persimmon among about 768[2] species of trees and shrubs. It is distributed across the tropical and warmer temperate regions of the world. ...

كزافييه فيليب

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أبريل 2019) كزافييه فيليب (بالفرنسية: Xavier Philippe)‏  معلومات شخصية الميلاد 22 نوفمبر 1980 (44 سنة)  أميان  مواطنة فرنسا  الحياة العملية المهنة مجدف  اللغات الفرنسية&...

 

Rumah Sakit Umum Pusat dr. J. Leimena

Rumah Sakit Umum Pusat dr. J. LeimenaKementerian Kesehatan Republik IndonesiaGeografiLokasiJalan R. Suprapto No. 123, Rumah Tiga, Teluk Ambon, Ambon, Maluku, IndonesiaKoordinat3°39′41″S 128°11′11″E / 3.6614°S 128.1865°E / -3.6614; 128.1865OrganisasiAsuransi kesehatanBPJS KesehatanPendanaanRumah sakit publik (nirlaba)JenisRumah sakit umumPelayananRanjang pasien450 tempat tidurHelipadYaSejarahDibuka16 Oktober 2019; 4 tahun lalu (2019-10-16) Rumah Sakit U...