Anne Sjerp Troelstra

Anne Sjerp Troelstra
Born(1939-08-10)10 August 1939
Maartensdijk, Utrecht
Died7 March 2019(2019-03-07) (aged 79)
Blaricum
NationalityDutch
Alma materUniversity of Amsterdam
Scientific career
FieldsMathematics
InstitutionsUniversity of Amsterdam
Thesis Intuitionistic General Topology  (1966)
Doctoral advisorArend Heyting
Doctoral students
Troelstra (right) with Helmut Schwichtenberg and Yiannis Moschovakis (left), 2002.

Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

He was a constructivist logician, who was influential in the development of intuitionistic logic[1] With Georg Kreisel, he was a developer of the theory of choice sequences.[2] He wrote one of the first texts on linear logic,[3] and, with Helmut Schwichtenberg, he co-wrote an important book on proof theory.[4]

He became a member of the Royal Netherlands Academy of Arts and Sciences in 1976.[5] Troelstra died on 7 March 2019.[6]

Notes

  1. ^ MARTIN LÖB (1921–2006) Archived 23 December 2006 at the Wayback Machine
  2. ^ Marion, Mathieu (1998), Wittgenstein, Finitism, and the Foundations of Mathematics, New York: Oxford University Press, p. 205, ISBN 0-19-823516-X
  3. ^ Jervell, Herman Ruge (1996), "Review: Lectures on Linear Logic by A. S. Troelstra", Journal of Symbolic Logic, 61 (1): 336–38, doi:10.2307/2275616, JSTOR 2275616, S2CID 117923544
  4. ^ Dyckhoff, Roy (1998), "Review: Basic Proof Theory by A. S. Troelstra; H. Schwichtenberg", Journal of Symbolic Logic, 63 (4): 1605–06, doi:10.2307/2586674, JSTOR 2586674, S2CID 118433941
  5. ^ "Anne Troelstra". Royal Netherlands Academy of Arts and Sciences. Archived from the original on 14 February 2016. Retrieved 14 February 2016.
  6. ^ "Anne Troelstra (1939-2019)". illc.uva.nl. Retrieved 13 March 2019.


Flag of NetherlandsScientist icon Stub icon

This article about a Dutch scientist is a stub. You can help Wikipedia by expanding it.

Stub icon

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

Read other articles:

Darul Harbi

Harbi, daerah musuh Darul Harbi merupakan daerah wilayah, atau negara musuh.[1] Istilah ini merujuk pada suatu daerah yang sedang dalam situasi perang di sebuah negara Islam.[1] Rakyat dan pemerintah daerah musuh ini mengancam, memengaruhi, memaksa agar orang-orang Islam di sana meninggalkan agamanya.[1] Kaum Muslim menganggap orang-orang yang berada di daerah Harbi adalah musuh.[1] Maka, kaum Muslim diizinkan untuk melawan dan berperang dengan mereka sampai me...

 

Guyot Horizon

Guyot HorizonBatimetri dari Guyot Horizon (NOAA).Kedalaman puncak1.443 mTinggi3.400-3.500 mLokasiLokasiSamudra PasifikPegungunganPegunungan Pasifik TengahKoordinat19°07.9′N 169°27.6′W / 19.1317°N 169.4600°W / 19.1317; -169.4600GeologiJenisGuyotUsia batuanPaling tua sekitar Masa Albium hingga Kala Kapur akhir Guyot Horizon adalah sebuah guyot di Pegunungan Pasifik Tengah yang diperkirakan terbentuk pada Periode Kapur. Guyot ini terletak di sebelah barat Hawaii, ...

 

Borivoj II dari Bohemia

Borivoj II (juga Bořivoj atau Borivoi) (tahun 1064 – 2 Februari 1124) merupakan seorang adipati Bohemia sejak tanggal 25 Desember 1100 sampai Mei 1107 dan sejak Desember 1117 sampai 16 Agustus 1120. Ia merupakan adik tiri dan pewaris Bretislaus II. Ia aslinya ditentang oleh Adipati Oldrich dari Brno, sepupunya, yang telah memulihkan benteng yang semula disita oleh ayahnya dan perang saudarapun terjadi. Oldrich bermaksud untuk mengakui kekuasaan Henry IV, Kaisar Romawi Suci, dan dengan dem...

Lav Diaz

Lav DiazLahirLavrente Indico Diaz30 Desember 1958 (umur 65)[1]Datu Paglas, Maguindanao, Mindanao, Filipina[1]PekerjaanSutradara, produser, penulis latar, penyuntingKarya terkenalEvolution of a Filipino FamilyMelancholiaNorte, the End of History Lavrente Indico Diaz (kelahiran 30 Desember 1958) adalah seorang pembuat film independen Filipina. Ia memenangkan beberapa penghargaan internasional seperti penghargaan untuk Film Terbaik di Festival Film Internasional Singapura, ...

 

WZDA

Radio station in Beavercreek, Ohio WZDABeavercreek, OhioBroadcast areaDayton metro areaFrequency103.9 MHz (HD Radio)BrandingDayton's New Country 103-9ProgrammingFormatCountry musicAffiliationsPremiere NetworksOwnershipOwneriHeartMedia, Inc.(iHM Licenses, LLC)Sister stationsWCHD, WIZE, WMMX, WONE, WTUEHistoryFirst air dateJune 18, 1962 (as WHBM)Former call signsWHBM (1962-1978)WDJX (1978-1981)WDJX-FM (1981-1983)WYMJ-FM (1983-1994)WRVF (1994-1995)WXEG (1995-2015)Technical informationFacility ID...

 

Kali Pelus

Kali PelusSungai PelusJembatan di atas Kali Pelus dekat pemandian Kejawar di sekitar tahun 1900LokasiNegaraIndonesiaProvinsiJawa TengahInformasi lokalZona waktuWIB (UTC+7)GeoNames6390178 Kali Pelus adalah sebuah sungai di Banyumas dan Jawa Tengah, Indonesia.[1] Geografi Sungai ini mengalir di wilayah selatan pulau Jawa yang beriklim muson tropis (kode: Am menurut klasifikasi iklim Köppen-Geiger).[2] Suhu rata-rata setahun sekitar 23 °C. Bulan terpanas adalah Maret, deng...

Asal-usul manusia modern dari Afrika

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Recent African origin of modern humans di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat...

 

Lista lesbica italiana

Questa voce o sezione sull'argomento LGBT è priva o carente di note e riferimenti bibliografici puntuali. Sebbene vi siano una bibliografia e/o dei collegamenti esterni, manca la contestualizzazione delle fonti con note a piè di pagina o altri riferimenti precisi che indichino puntualmente la provenienza delle informazioni. Puoi migliorare questa voce citando le fonti più precisamente. Segui i suggerimenti del progetto di riferimento. La Lista lesbica italiana al Gay pride di Bari (2...

 

Pe dengan kait tengah

Huruf KirilPe dengan kait tengah Alfabet KirilHuruf SlaviaАА́А̀А̂А̄ӒБВГҐДЂЃЕЕ́ÈЕ̂ЁЄЖЗЗ́ЅИИ́ЍИ̂ЙІЇЈКЛЉМНЊОŌПРСС́ТЋЌУУ́ У̀У̂ӮЎФХЦЧЏШЩЪЫЬЭЮЯHuruf non-SlaviaӐА̊А̃Ӓ̄ӔӘӘ́Ә̃ӚВ̌ҒГ̑Г̣Г̌ҔӺҒ̌ӶД̌Д̣Д̆ӖЕ̄Е̃Ё̄Є̈ӁҖӜҘӞЗ̌З̱З̣ԐԐ̈ӠӢИ̃ҊӤҚӃҠҞҜК̣ԚӅԮԒӍӉҢԨӇҤО́О̀О̆О̂О̃ӦӦ̄ӨӨ̄Ө́Ө̆ӪҨԤР̌ҎҪС̣С̱Т̌Т̣ҬУ̃Ӱ Ӱ́Ӱ̄ӲҮҮ́ҰХ̣Х̱...

Military of ancient Egypt

Overview of the military of ancient Egypt Ancient Egyptian War Wheels Ancient Egypt was an ancient civilization of eastern North Africa, concentrated along the northern reaches of the Nile River in Egypt. The civilization coalesced around 3150 BC[1] with the political unification of Upper and Lower Egypt under the first pharaoh, and it developed over the next three millennia.[2] Its history occurred in a series of stable kingdoms, separated by periods of relative instability k...

 

Franco Giorgetti

Disambiguazione – Se stai cercando il cestista argentino, vedi Franco Giorgetti (cestista). Questa voce o sezione sull'argomento ciclisti italiani non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento. Franco Giorgetti Nazionalità  Italia Ciclismo Specialità Pista, strada Termine carriera 1943 CarrieraS...

 

Morten Tyldum

Morten Tyldum Morten Tyldum (Bergen, 19 maggio 1967) è un regista norvegese. Ha ricevuto una candidatura all'Oscar al miglior regista per The Imitation Game. Indice 1 Biografia 2 Carriera 3 Filmografia 3.1 Regista 3.1.1 Cinema 3.1.2 Televisione 3.2 Produttore esecutivo 4 Riconoscimenti 5 Note 6 Altri progetti 7 Collegamenti esterni Biografia Cresciuto a Bergen, dai 5 agli 8 anni ha vissuto a Tønsberg per poi trasferirsi a Sotra per un breve periodo e poi nuovamente nella sua città natale d...

美国众议院

此條目需要补充更多来源。 (2021年7月4日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：美国众议院 — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源（判定指引）。 美國眾議院 United States House of Representatives第118届美国国会众议院徽章 众议院旗...

 

Paralayang pada Pekan Olahraga Nasional 2021

Paralayang pada Pekan Olahraga Nasional 2021LokasiBumi Perkemahan Cendrawasih Waena, Kota JayapuraTanggal30 September – 12 Oktober 2021← 20162024 → Medali Perolehan medali   *   Tuan rumah penyelenggara (Papua)PeringkatProvinsiEmasPerakPerungguTotal1 Jawa Timur622102 Jawa Barat20353 Jawa Tengah14274 Banten14055 Sumatera Barat11136 Daerah Khusus Ibukota Jakarta10127 Papua*01128 Sulawesi Tengah0011 Sul...

 

Padmavathi Temple

Hindu temple in Andhra Pradesh, India Padmavathi Temple, TiruchanurPradhana (Main) Gopuram of Sri Padmavathi Ammavari Temple, TiruchanurReligionAffiliationHinduismDistrictTirupatiDeityPadmavathiFestivalsBrahmotsavam, Panchami Teertham, Varalakshmi VratamGoverning bodyTirumala Tirupati DevasthanamsLocationLocation Tiruchanur, TirupatiStateAndhra PradeshCountry IndiaPadmavathi Temple, Tiruchanur, Tirupati, Andhra PradeshGeographic coordinates13°36′28.1″N 79°27′00.4″E / &#...

Florence Cathedral

Church in Tuscany, Italy Church in Tuscany, ItalyFlorence CathedralCathedral of Saint Mary of the FlowerCattedrale di Santa Maria del FioreDuomo di Firenze (Italian)Cathedral Sanctae Mariae Floris (Latin)Brunelleschi's Dome, the nave, and Giotto's Campanile of the Cattedrale di Santa Maria del Fiore as seen from Michelangelo HillFlorence CathedralLocation in Florence, Italy43°46′23″N 11°15′25″E / 43.77306°N 11.25694°E / 43.77306; 11.25694LocationF...

 

Protein family

Group of evolutionarily-related proteins The human cyclophilin family, as represented by the structures of the isomerase domains of some of its members A protein family is a group of evolutionarily related proteins. In many cases, a protein family has a corresponding gene family, in which each gene encodes a corresponding protein with a 1:1 relationship. The term protein family should not be confused with family as it is used in taxonomy. Proteins in a family descend from a common ancestor an...

 

Campionato del mondo formula 1 motonautica

F1H2o CategoriaInshore NazioneMondiale Prima edizione1981 Piloti21 Squadre9 Pilota campione (2022) Shaun Torrente Squadra campione (2022) Team Abu Dhabi Sito web ufficialewww.f1h2o.com Un motoscafo F1 in azione durante una competizione Vetture allineate alla partenza di una gara F1H2O o comunemente campionato del mondo di formula 1 motonautica è uno sport organizzato e promosso da H2O Racing Ltd. È patrocinato dall'Unione Internazionale di Motonautica (UIM). È la massima classe di mot...

2013 Women's Cricket World Cup

Cricket tournament 2013 Women's World CupLogo of the 2013 Women's Cricket World CupDates31 January – 17 February 2013Administrator(s)International Cricket CouncilCricket formatWomen's One-day International cricketTournament format(s)Group stage and knockoutHost(s) IndiaChampions Australia (6th title)Runners-up West IndiesParticipants8Matches25Player of the series Suzie BatesMost runs Suzie Bates (407)Most wickets Megan Schutt (15)← 20092017 → The 2013 Women's Cri...

 

Non-Euclidean geometry

Two geometries based on axioms closely related to those specifying Euclidean geometry It has been suggested that Non-Euclidean surface growth be merged into this article. (Discuss) Proposed since July 2024. Behavior of lines with a common perpendicular in each of the three types of geometry GeometryProjecting a sphere to a plane OutlineHistory (Timeline) Branches Euclidean Non-Euclidean Elliptic Spherical Hyperbolic Non-Archimedean geometry Projective Affine Synthetic Analytic Algebraic Arith...