Share to: share facebook share twitter share wa share telegram print page

Albert Visser

Albert Visser
Plaats uw zelfgemaakte foto hier
Persoonlijke gegevens
Geboortedatum 19 december 1950Bewerken op Wikidata
Geboorteplaats Zwijndrecht
Nationaliteit Nederlands
Academische achtergrond
Opleiding Toegepaste Wiskunde; Wiskunde
Alma mater Universiteit Twente
Promotor Prof. dr. Dirk van Dalen
Wetenschappelijk werk
Vakgebied Logica met inbegrip van de wijsbegeerte en de grondslagen van de wiskunde, alsmede de kenleer
Instituten Universiteit Utrecht
Website

Albert Visser (Zwijndrecht, 19 december 1950) was hoogleraar aan de Universiteit Utrecht. Hij studeerde toegepaste wiskunde aan de Universiteit Twente en hij studeerde af in de wiskunde aan de Universiteit Utrecht. In 1981 promoveerde hij te Utrecht op het proefschrift Aspects of Diagonalization and Provability (promotor prof.dr. Dirk van Dalen).[1] Albert Visser pensioneerde in 2015.

Zijn onderzoek concentreert zich op rekenkundige theorieën, interpreteerbaarheid, constructivisme, de grondslagen van de wiskunde en onderwerpen in de taalfilosofie.[1]

Op 1 augustus 1998 werd hij benoemd tot hoogleraar Logica aan de Universiteit Utrecht welk ambt hij op 1 maart 2000 aanvaardde met de inaugurele rede Het tekst continuüm. Hij is sinds 2005 ook lid van de Koninklijke Nederlandse Akademie van Wetenschappen.[2][3]

Bibliografie

  • Aspects of diagonalization & provability. Utrecht, 1981 (proefschrift).
  • Evaluation, provably deductive equivalence in Heyting's arithmetic of substitution instances of propositional formulas. Utrecht, 1985.
  • Kunnen wij elke machine verslaan? : beschouwingen rondom Lucas' argument. Utrecht, 1986.
  • Peano's smart children. A provability logical study of systems with built-in consistency. Utrecht, [1986].
  • A course in bimodal provability logic. Utrecht, 1987.
  • Preliminary notes on interpretability logic. Utrecht, 1988.
  • A descending hierarchy of reflection principles. Utrecht, 1988.
  • Interpretability logic. Utrecht, 1988.
  • The formalization of interpretability. Utrecht, 1989.
  • On the S01-conservativity of S01-completeness. Utrecht, 1989.
  • An inside view of EXP, or the closed fragment of the provability logic of IDN 0 O with a propositional constant for EXP. Utrecht, 1990.
  • The unprovability of small inconsistency. Utrecht, 1991.
  • Actions under presuppositions. Utrecht, 1992.
  • Lazy & quarrelsome brackets. utrecht, 1992.
  • Propositional combinations of S-sentences in Heyting's arithmetic . Utrecht, 1994.
  • Interpretations over Heyting's arithmetic. Utrecht, 1995.
  • Context in dynamic predicate logic. Utrecht, 1995.
  • Relational validity & dynamic predicate logic. Utrecht, 1995.
  • Bisimulations, model descriptions and propositinal quantifiers. Utrecht, 1996.
  • An overview of interpretability logic. Utrecht, 1997.
  • Prolegomena to the definition of dynamic predicate logic with local assignments. Utrecht, 1997.
  • Rules and arithmetics. Utrecht, 1998.
  • The donkey and the monoid. Dynamic semantics with control elements. Utrecht, 1998.
  • Submodels of Kripke Models. Utrecht, 1998.
  • Het tekst continuüm. Utrecht, 2000 (inaugurele rede).
  • On the ambiguation of Polish notation. Utrecht, 2001.
  • Faith & falsity. A study of faithful interpretations and false S01-sentences. Utrecht, 2002.
  • No escape from Vardanyan's theorem. [Utrecht], 2003.
  • Context modification in action. Utrecht, 2003.
  • Categories of theories and interpretations. [Utrecht], 2004.
  • Propositional logics of closed and open substitutions of Heyting's arithmetic. Utrecht, 2005.
  • The predicative Frege hierarchy. Utrecht, 2006.
  • Prolegomena to the categorical study of interpretations. Utrecht, 2006.

Read other articles:

Pemerintahan Makedonia (kerajaan kuno)

Koin separuh emas stater Filipus II dari Makedonia yang dicetak oleh pemerintah Pella, gambar Heracles muda yang mengenakan kulit Singa Nemea pada bagian depan koin dan bagian belakang koin bergambar singa sebagian. Pemerintahan Makedonia yang paling awal didirikan oleh Dinasti Argead dari raja-raja Makedonia selama periode Yunani Kuno (abad ke 8 - 5 SM). Karena kurangnya informasi dalam catatan sejarah, sangat sedikit yang diketahui tentang asal- usul Makedonia Kuno dari lembaga pemerintah M...

 

Monique Currie

American basketball player Monique CurriePersonal informationBorn (1983-02-25) February 25, 1983 (age 40)Washington, D.C., U.S.Listed height6 ft 0 in (1.83 m)Listed weight173 lb (78 kg)Career informationHigh schoolBullis School (Potomac, Maryland)CollegeDuke (2001–2006)WNBA draft2006: 1st round, 3rd overall pickSelected by the Charlotte StingPlaying career2006–2018PositionSmall forwardNumber25Career history2006Charlotte Sting2006–2007Elitzur Ramla2007Chicag...

 

Natasha Cloud

American basketball player Natasha CloudCloud with the Washington Mystics in 2019No. 9 – Washington MysticsPositionGuardLeagueWNBAPersonal informationBorn (1992-02-22) February 22, 1992 (age 31)Broomall, Pennsylvania, U.S.Listed height5 ft 10 in (1.78 m)Listed weight160 lb (73 kg)Career informationHigh schoolCardinal O'Hara(Springfield, Pennsylvania)College Maryland (2010–2011) St. Joseph's (2012–2015) WNBA draft2015: 2nd round, 15th overall pickSel...

Cantón de Arles-sur-Tech

Cantón de Arles-sur-Tech Cantón Situación del cantón de Arles-sur-Tech Coordenadas 42°27′00″N 2°38′00″E / 42.45, 2.633333Capital Arles-sur-TechEntidad Cantón • País  Francia • Región Occitania • Departamento Pirineos Orientales • Distrito CéretConsejero general Alexandre Reynal (2001-2015)Subdivisiones Comunas 8Superficie   • Total 186.38 km²Población (2012)   • Total 7197 hab. • Dens...

 

Jenderal (Indonesia)

Pangkat Jenderal di TNI AD Pangkat militer Indonesia Angkatan Darat Angkatan Laut Angkatan Udara Perwira Jenderal Besar Laksamana Besar Marsekal Besar Jenderal Laksamana Marsekal Letnan Jenderal Laksamana Madya Marsekal Madya Mayor Jenderal Laksamana Muda Marsekal Muda Brigadir Jenderal Laksamana Pertama Marsekal Pertama Kolonel Kolonel Kolonel Letnan Kolonel Letnan Kolonel Letnan Kolonel Mayor Mayor Mayor Kapten Kapten Kapten Letnan Satu Letnan Satu Letnan Satu Letnan Dua Letnan Dua Letnan D...

 

Referendum keanggotaan Spanyol di NATO 1986

Referendum keanggotaan Spanyol di NATO 1986Menurut Anda, apakah Spanyol sebaiknya tetap menjadi anggota Aliansi Atlantik berdasarkan ketentuan yang disepakati oleh pemerintah nasional?LokasiSpanyolTanggal12 Maret 1986 Hasil Suara % Y Ya 9.054.509 56,85% N Tidak 6.872.421 43,15% Suara sah 15.926.930 92,35% Suara kosong atau tidak sah 1.319.522 7.65% Total suara 17.246.452 100.00% Pemilih terdaftar/hadir 29.024.494 59.42% Hasil menurut Provinsi   Y Ya —   N Tidak Hasil ber...

Walt Before Mickey

2015 American filmWalt Before MickeyTheatrical release posterDirected byKhoa LeScreenplay by Arthur L. Bernstein Armando Gutierrez Frank Licari (co-writer) Based onWalt Before Mickey: Disney's Early Years, 1919–1928by Timothy S. SusaninProduced by Armando Gutierrez Arthur L. Bernstein Frank Licari Starring Thomas Ian Nicholas Jon Heder Jodie Sweetin David Henrie Armando Gutierrez Arthur L. Bernstein Bucky Dent Music byJeremy RubolinoProductioncompanies Conglomerate Media Lensbern Entertainm...

 

Michael Bleekemolen

Dutch racing driver (born 1949) Michael BleekemolenBleekemolen in 2011Born (1949-10-02) 2 October 1949 (age 74)Amsterdam, NetherlandsFormula One World Championship careerNationality DutchActive years1977 – 1978TeamsRAM, ATSEntries5 (1 start)Championships0Wins0Podiums0Career points0Pole positions0Fastest laps0First entry1977 Dutch Grand PrixLast entry1978 Canadian Grand PrixNASCAR Whelen Euro Series careerDebut season2019Current teamTeam BleekemolenCar number72Starts40Wins0Poles0Fa...

 

Thomas Brassey, 1st Earl Brassey

The Right HonourableThe Earl BrasseyGCB TD JP DLLord Brassey, 1895.Gubernur VictoriaMasa jabatan6 Februari 1895 – 1900Penguasa monarkiRatu VictoriaPendahuluThe Earl of HopetounPenggantiSir George Clarke Informasi pribadiLahir11 Februari 1836Meninggal23 February 1918 (1918-02-24) (aged 82)KebangsaanBritishPartai politikLiberalSuami/istriAnna AllnuttAlma materUniversity College, OxfordSunting kotak info • L • B Lord Brassey dan istrinya menghibur R...

علامة لازير-تريلا

تَقران مَثِّي مُتعدد في منطقة ظَهر شخص يُظهر علامة لازير-تريلا حيثُ ظهرت بسبب إصابته بسرطان القولون علامة لازير-تريلا[1] أو علامة ليسير-تريلا[2] أو علامة ليزر-تريليت[2] (بالإنجليزية: Leser–Trélat sign)‏ هيَ ظُهور كميات كبيرة من التَقران المَثِّي المُتعدد[3] (آفات جل�...

 

Shagun Pandey

Shagun PandeyLahirShagun Pandey31 Maret 1997 (umur 26)Chandigarh, IndiaKebangsaanIndianNama lainShagunPekerjaanaktorTahun aktif2016 - SekarangDikenal atas Tujhse Hai Raabta sebagai Atharv Bapat Shagun Pandey (lahir 31 Maret 1997) adalah seorang aktor televisi India yang dikenal karena perannya sebagai Atharv Bapat di Tujhse Hai Raabta.[1] Karier Shagun memulai kariernya dengan &TV acara Santoshi Maa sebagai Guddu pada tahun 2016. Pada tahun yang sama ia memerankan V...

 

Mukhlis Rahman

Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Mukhlis Rahman – berita · surat kabar · buku · cendekiawan · JSTORMukhlis RahmanWali Kota Pariaman 3Masa jabatan9 Oktober 2008 – 9 Oktober 2018PresidenSusilo Bambang YudhoyonoJoko WidodoWa...

Skodsborg railway station

Railway station in North Zealand, Denmark SkodsborgDSB stationThe main station buildingGeneral informationLocation4 Bøllemosevej2942 SkodsborgCoordinates55°49′25″N 12°34′18″E / 55.82361°N 12.57167°E / 55.82361; 12.57167Owned byDSBLine(s)Coast LineConnectionsBus line 194HistoryOpened2 August 1897Services Preceding station DSB Following station Vedbæktowards Nivå Nivå–Copenhagen–Køge–Næstved Klampenborgtowards Næstved LocationSkodsborgLocation wi...

 

新西兰共产党

此條目翻譯品質不佳。 (2018年4月30日)翻譯者可能不熟悉中文或原文語言，也可能使用了機器翻譯。請協助翻譯本條目或重新編寫，并注意避免翻译腔的问题。明顯拙劣的翻譯請改掛{{d|G13}}提交刪除。 新西兰共产党Communist Party of New Zealand新西兰共产党党徽成立1921年3月26日解散1994年11月2日併入社会主义工人组织意識形態共产主义马克思列宁主义斯大林主义毛主义（1964年－1...

 

Gereja Santo Ignatius Loyola, Jalan Malang

Gereja Santo Ignatius LoyolaGereja Katolik Paroki Santo Ignatius Loyola, Jalan MalangGereja Santo Ignatius Loyola, Jalan Malang, JakartaLokasiJl. Malang No.22, Menteng, Jakarta Pusat, JakartaNegara IndonesiaDenominasiGereja Katolik RomaArsitekturStatusGereja parokiStatus fungsionalAktifAdministrasiKeuskupan AgungKeuskupan Agung Jakarta Gereja Santo Ignatius Loyola, Jalan Malang atau yang bernama lengkap resmi Gereja Paroki Ignatius Loyola, Jalan Malang adalah sebuah gereja paroki Katolik...

Aichtal

Town in Baden-Württemberg, GermanyAichtal Town Coat of armsLocation of Aichtal within Esslingen district Aichtal Show map of GermanyAichtal Show map of Baden-WürttembergCoordinates: 48°37′22″N 9°14′14″E / 48.62278°N 9.23722°E / 48.62278; 9.23722CountryGermanyStateBaden-WürttembergAdmin. regionStuttgart DistrictEsslingen Subdivisions3Government • Mayor (2020–28) Sebastian Kurz[1] (FW)Area • Total23.64 km2 (9.13&#...

 

Shen Dingyi

Chinese revolutionary In this Chinese name, the family name is Shen. Shen Dingyi Shen Dingyi (Chinese: 沈定一; pinyin: Shěn Dìngyī; 1883 - August 1928); born in Yaqian (Xiaoshan), a 1920s-era Chinese revolutionary and intellectual who belonged to both the Kuomintang and the Communist Party of China. In 1921, in his home village of Yaqian (Zhejiang province), he organized hundreds of thousands peasants in a reformist association fighting for a 30% cut in land allowance. Some sino...

 

Karl Marx Theatre

Theatre in Havana, Cuba This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Karl Marx Theatre – news · newspapers · books · scholar · JSTOR (August 2022) (Learn how and when to remove this template message) Karl Marx TheatreTeatro Karl MarxFormer namesTeatro BlanquitaAddressAve 1ª, entre 8 y 10HavanaCubaCoordinates23°07′46″...

Pocket PC

Obsolete type of computer, similar to smartphones Not to be confused with DIP Pocket PC, Poqet PC, ZEOS Pocket PC, Pocket computer, or Handheld PC. P/PC redirects here. For other uses, see PPC. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Pocket PC – news · newspapers · books · scholar · JSTOR (June 2016)...

 

Swallowtail Butterfly (film)

1996 filmSwallowtail ButterflyTheatrical release posterJapanese nameKanjiスワロウテイルTranscriptionsRevised HepburnSuwarōteiru Directed byShunji IwaiWritten byShunji IwaiProduced byShinya KawaiKazutoshi WadakuraOsamu KubotaHiroko MaedaStarringHiroshi MikamiCharaAyumi ItoYōsuke EguchiAndy HuiAtsuro WatabeCinematographyNoboru ShinodaEdited byShunji IwaiMusic byTakeshi KobayashiDistributed byKadokawa HeraldRelease date September 14, 1996 (1996-09-14) Running time148 minu...

 
Kembali kehalaman sebelumnya