Wim Blok - Wim Blok

Willem Johannes "Wim" Blok (1947–2003) byl nizozemský logik, který významně přispěl algebraická logika, univerzální algebra, a modální logika. Mezi jeho důležité úspěchy v průběhu jeho kariéry patří „brilantní ukázka skutečnosti, že různé techniky a výsledky, které vznikly v univerzální algebře, mohou být použity k prokázání významných a hlubokých vět v modální logice.“[1]

Blok zahájil svou kariéru v roce 1973 jako algebraista zkoumající rozmanitost vnitřní algebry na University of Illinois v Chicagu. Po dokončení jeho Ph.D. v roce 1976 na toto téma pokračoval ve studiu obecnějších odrůd modální algebry. Jako algebraista byl Blok „společností modální logiky uznán jako jeden z nejvlivnějších modálních logiků“ do konce 70. let.[2] Publikoval mnoho článků v Zprávy o matematické logice, působil jako člen v jejich redakční radě a byl jedním z jejich hostujících editorů.[1] Spolu s Don Pigozzi, Spoluautorem monografie je Wim Blok Algebraizovatelné logiky který začal pole nyní známé jako abstraktní algebraická logika.[3]

Zemřel při autonehodě 30. listopadu 2003.[1]

Reference

  1. ^ A b C Font, Josep Maria (květen 2006). "Na památku Wima Bloka". Zprávy o matematické logice (Speciální problém). CiteSeerX  10.1.1.103.2741.
  2. ^ Rautenberg, W .; Wolter, F .; Zakharyaschev, M. (červen 2006). „Willem Blok a modální logika“. Studia Logica. 83 (1–3): 15–30. doi:10.1007 / s11225-006-8296-2. Citováno 24. června 2016 - prostřednictvím ResearchGate.
  3. ^ Raftery, James G. (březen 2004). „Práce Willema Bloka v algebraické logice“. Studia Logica: Mezinárodní deník pro symbolickou logiku. 76 (2): 155–160. JSTOR  20016583.