Kurt Schütte

Kurt Schütte
(Oberwolfach Photo Collection)
Born(1909-10-14)14 October 1909
Salzwedel
Died18 August 1998(1998-08-18) (aged 88)
Munich
Known forFeferman–Schütte ordinal
Scientific career
Thesis Untersuchungen zum Entscheidungsproblem der mathematischen Logik  (1934)
Doctoral advisorDavid Hilbert

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.

Publications

  • Schütte, Kurt (1977), Proof theory, Grundlehren der Mathematischen Wissenschaften, vol. 225, Berlin-New York: Springer-Verlag, pp. xii+299, ISBN 3-540-07911-4, MR 0505313[1]
    • Beweistheorie, Springer, Grundlehren der mathematischen Wissenschaften, 1960; new edition trans. into English as Proof Theory, Springer-Verlag 1977
  • Vollständige Systeme modaler und intuitionistischer Logik, Springer 1968
  • with Wilfried Buchholz: Proof Theory of Impredicative Subsystems of Analysis, Bibliopolis, Naples 1988
  • with Helmut Schwichtenberg: Mathematische Logik, in Fischer, Hirzebruch et al. (eds.) Ein Jahrhundert Mathematik 1890-1990, Vieweg 1990

References

  1. ^ Feferman, Solomon (1979). "Review: Proof theory, by Kurt Schütte" (PDF). Bull. Amer. Math. Soc. (N.S.). 1 (1): 224–228. doi:10.1090/s0273-0979-1979-14562-2.


Stub icon

This article about a German mathematician is a stub. You can help Wikipedia by expanding it.

Read other articles:

Stari Grad, Novi Sad

Stari Grad Стари ГрадKawasan perkotaanKoordinat: Lua error in package.lua at line 80: module 'Module:ISO 3166/data/RS' not found.Negara SerbiaProvinsiVojvodinaDistrikBačka SelatanKota prajaNovi SadLuas • Total0,62 km2 (24 sq mi)Zona waktuUTC+1 (CET) • Musim panas (DST)UTC+2 (CEST)Kode area telepon+381(0)21Plat mobilNS Stari Grad (bahasa Serbia: Стари Град) adalah sebuah kawasan yang terletak di pusat kota Novi Sad, Serbia. Dal...

 

Burung gereja rumah

Burung gereja rumah Passer domesticus JantanBetinaRekaman Status konservasiRisiko rendahIUCN103818789 TaksonomiKerajaanAnimaliaFilumChordataKelasAvesOrdoPasseriformesFamiliPasseridaeGenusPasserSpesiesPasser domesticus Linnaeus, 1758 Tipe taksonomiPasser Tata namaSinonim takson Fringilla domestica Linnaeus, 1758 Passer indicus Jardine and Selby, 1835 Passer arboreus Bonaparte, 1850 (preoccupied) Passer confucius Bonaparte, 1853 Passer rufidorsalis C. L. Brehm, 1855 Passer engimaticus Zarudny,...

 

Dittatura dei colonnelli

Questa voce o sezione sugli argomenti storia contemporanea e Grecia è ritenuta da controllare. Motivo: varie osservazioni personali senza fonte probabile ricerca originale, in particolare la sezione prodromi, ma non solo Partecipa alla discussione e/o correggi la voce. Segui i suggerimenti del progetto di riferimento. Questa voce o sezione sugli argomenti storia contemporanea e Grecia non cita le fonti necessarie o quelle presenti sono insufficienti. Commento: Molte affermazioni s...

Institut Seni Indonesia Yogyakarta

Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. Mohon bantu kami mengembangkan artikel ini dengan cara menambahkan rujukan ke sumber tepercaya. Pernyataan tak bersumber bisa saja dipertentangkan dan dihapus.Cari sumber: Institut Seni Indonesia Yogyakarta – berita · surat kabar · buku · cendekiawan · JSTOR (September 2023) Institut Seni Indonesia Yogyakartaꦆꦤ꧀ꦱ꧀ꦠꦶꦠꦸꦠ꧀​ꦱꦼꦤꦶ​ꦆꦤ꧀ꦢꦺꦴ�...

 

Hermann Schlegel

Hermann Schlegel Hermann Schlegel (10 Juni 1804 – 17 Januari 1884) adalah seorang pakar ornitologi dan herpetologi asal Jerman. Kehidupan awal dan pendidikan Schlegel lahir di Altenburg, putra dari pendiri pabrik kuningan. Ayahnya mengkoleksi kupu-kupu, yang membuat Schlegel meminati sejarah alam. Suatu saat, penemuan sarang buzzard mendorongnya untuk mempelajari burung, dan bertemu dengan Christian Ludwig Brehm. Referensi Bacaan tambahan Walters, Michael (2003). A History of ...

 

イスラームにおける結婚

イスラームにおける結婚（イスラームにおけるけっこん）とは、二者の間で行われる法的な契約である。新郎新婦は自身の自由な意思で結婚に同意する。口頭または紙面での規則に従った拘束的な契約は、イスラームの結婚で不可欠だと考えられており、新郎と新婦の権利と責任の概要を示している[1]。イスラームにおける離婚は様々な形をとることができ、個�...

Conservation and restoration of historic gardens

An 1835 estate map of the landscaped parkland at Blenheim Palace, in Oxfordshire, England Historic garden conservation is a specialised type of historic preservation and conservation or restoration concerned with historical and landmark gardens and designed landscapes. Profession Practitioners predominantly come from backgrounds in horticulture, garden design, landscape design, and landscape architecture. To prepare a management plan for a historic garden, such experts require knowledge and s...

 

La via lattea (film 1969)

La via latteaUna scena del filmTitolo originaleLa Voie lactée Lingua originalefrancese, latino Paese di produzioneFrancia Anno1969 Durata92 min Rapporto1,66:1 Generegrottesco RegiaLuis Buñuel SoggettoJean-Claude Carrière, Luis Buñuel SceneggiaturaJean-Claude Carrière, Luis Buñuel FotografiaChristian Matras MontaggioLouisette Hautecoeur MusicheLuis Buñuel Interpreti e personaggi Laurent Terzieff: Jean Paul Frankeur: Pierre Bernard Verley: Gesù Édith Scob: la Vergine Maria Alain Cuny: ...

 

观察者网

  此條目介紹的是2012年在上海创办的一家民营新闻媒体。关于1946年在上海创刊的一份周刊，请见「观察 (杂志)」。关于2013年在上海创办、原名「上海觀察」的网络应用程序，请见「上觀新聞」。关于“观察者”的其他含义，请见「观察者」。 此條目過於依赖第一手来源。 (2021年1月17日)请補充第二手及第三手來源，以改善这篇条目。 观察者网观察者网首页在2019年7月...

Laís Souza

Brazilian artistic gymnast Laís SouzaSouza in 2016Personal informationFull nameLais da Silva SouzaCountry represented BrazilBorn (1988-12-13) December 13, 1988 (age 35)Ribeirão Preto, São Paulo, BrazilHeight156 cm (5 ft 1 in)[1]Weight47 kg (104 lb)DisciplineWomen's artistic gymnasticsLevelSenior internationalClubEsporte Clube PinheirosHead coach(es)Oleg OstapenkoChoreographerNadejda OstapenkoRetired2013 Medal record Representing  Brazil ...

 

Dabangii – Mulgii Aayi Re Aayi

Indian drama television series Dabangii – Mulgii Aayi Re AayiGenreDramaActionMysteryDirected byArif AliStarring Rachana Mistry Aamir Dalvi Country of originIndiaOriginal languageHindiNo. of seasons1No. of episodes122ProductionProducers Herumb Khot Nilanjana Purkayasstha Camera setupMulti cameraRunning time20-22 minutesProduction companyInvictus T MediaworksOriginal releaseNetworkSony Entertainment TelevisionRelease30 October 2023 (2023-10-30) –present Dabangii – Mulgii Aayi Re...

 

Beat Feuz

Swiss alpine skier Beat FeuzFeuz in 2012Personal informationBorn (1987-02-11) 11 February 1987 (age 37)Schangnau, Bern,SwitzerlandOccupationAlpine skierHeight1.72 m (5 ft 8 in)Skiing careerDisciplinesDownhill, super-G, combinedClubSchangnauWorld Cup debut10 December 2006 (age 19)Websitebeat-feuz.chOlympicsTeams3 – (2014, 2018, 2022)Medals3 (1 gold)World ChampionshipsTeams5 – (2011, 2015–21)Medals3 (1 gold)World CupSeasons14 – (2007, 2010–2012,  ...

1997 United Kingdom general election

1997 United Kingdom general election ← 1992 1 May 1997 2001 → ← outgoing memberselected members →All 659 seats to the House of Commons330 seats needed for a majorityOpinion pollsRegistered43,846,152[1]Turnout71.3% (6.4%)   First party Second party Third party   Leader Tony Blair John Major Paddy Ashdown Party Labour Conservative Liberal Democrats Leader since 21 July 1994 4 July 1995[n 1] 16 July 1988 Leader's...

 

一中同表

一中同表，是台灣处理海峡两岸关系问题的一种主張，認為中华人民共和国與中華民國皆是“整個中國”的一部份，二者因為兩岸現狀，在各自领域有完整的管辖权，互不隶属，同时主張，二者合作便可以搁置对“整个中國”的主权的争议，共同承認雙方皆是中國的一部份，在此基礎上走向終極統一。最早是在2004年由台灣大學政治学教授張亞中所提出，希望兩岸由一中各表�...

 

كهف بلومبوس

كهف بلومبوسمعلومات عامةالبلد  جنوب إفريقيا الإحداثيات 34°24′52″S 21°13′21″E / 34.4144°S 21.2225°E / -34.4144; 21.2225 تعديل - تعديل مصدري - تعديل ويكي بيانات كهف بلومبوس هو موقع أثري يقع على بعد حوالى 300 كلم شرق كيب تاون على الساحل الجنوبي بجنوب أفريقيا. ويحتوي الكهف على أدوات من �...

Gillian Anderson

American actress (born 1968) Gillian AndersonOBEAnderson in 2017BornGillian Leigh Anderson (1968-08-09) August 9, 1968 (age 55)Chicago, Illinois, U.S.EducationDePaul University (BFA)Occupations Actress writer activist Years active1983–presentSpouses Clyde Klotz ​ ​(m. 1994; div. 1997)​ Julian Ozanne ​ ​(m. 2004; div. 2007)​[1]Partners Mark Griffiths (2006–2012) Peter Morgan (2...

 

منتخب أستراليا لكأس ديفيز

منتخب أستراليا لكأس ديفيز البلد أستراليا  الاتحاد اتحاد التنس الأسترالي  [لغات أخرى]‏ المدرب جوشوا إيغل [1] تصنيف ITF 10 ▼ 1 كأس ديفيز سنوات اللعب 89 Ties played (W–L) 229 (167–62) سنوات فيمجموعة العالم 26 (46–22) عدد مرات الفوز في كأس ديفيز 28 (1907  [لغات أخرى]‏، 1908  [ل�...

 

دفيد سالومون ابو

دفيد سالومون ابو   معلومات شخصية الميلاد 10 مايو 1986 (العمر 38 سنة)جوس[1]  الطول 1.74 م (5 قدم 8 1⁄2 بوصة) مركز اللعب وسط الجنسية نيجيريا  المسيرة الاحترافية1 سنوات فريق م. (هـ.) 2004–2005 إنييمبا إنترناشونال 2006 غنتشلربيرليغي 6 (0) 2006–2008 ديجون 13 (1) 2008–2010 كريتيل 51 (9) 2...

Detective K: Secret of the Virtuous Widow

Detective K: Secret Of Virtuous WidowSutradaraKim Suk-YoonProduserKim-Jo Gang-Soo, Lee Sun-Mi, Choi Jae-Won, Choi Jong-Ho, Jo Yoon-JinDitulis olehLee Choon-Hyung Lee Nam-Kyu Kim Tak-Hwan (novel)PemeranKim Myung-min Han Ji-Min Oh Dal-SuPenata musikPark Ji-woongSinematograferJang Nam-ChulPenyuntingKim Sun-minDistributorShowbox/MediaplexTanggal rilis 27 Januari 2011 (2011-01-27) Durasi115 menitNegaraKorea SelatanBahasaKorea Detective K: Secret of the Virtuous Widow (Hangul: �...

 

Gianni Versace

Italian fashion designer (1946–1997) This article is about the fashion designer. For his company, see Versace. Gianni VersaceVersace in 1990BornGiovanni Maria Versace(1946-12-02)2 December 1946Reggio, Calabria, ItalyDied15 July 1997(1997-07-15) (aged 50)Jackson Memorial Hospital, Miami, Florida, U.S.Cause of deathMurder (gunshot wounds)Resting placenear Cernobbio, ItalyOccupationLuxury fashion designerLabelVersacePartnerAntonio D'Amico (1982–1997)RelativesSanto Versace (brother)...