Mély megrendüléssel adjuk hírül, hogy Ferenczi Miklós, a Budapesti Műszaki és Gazdaságtudományi Egyetem professzor emeritusa életének 80. évében, 2026. április 6-án elhunyt.
Ferenczi Miklós az Eötvös Loránd Tudományegyetem egy kiemelkedően erős, „legendásnak” is nevezett évfolyamán végezte tanulmányait és szerzett matematikus diplomát; évfolyamtársa volt (névsorban) pl. Andréka Hajnalnak, Laczkovich Miklósnak, Lovász Lászlónak, Pelikán Józsefnek, Recski Andrásnak és számos további, később nemzetközileg is kiemelkedő kutatónak.
Tudományos munkásságának középpontjában a matematikai logika állt, ezen belül elsősorban az algebrai logika területén ért el jelentős, nemzetközileg is figyelemreméltó eredményeket. Kutatásai a cilindrikus és poliadikus algebrák reprezentációelméletére, valamint Diane Resek klasszikus eredményeihez kapcsolódva, a relativizált cilindrikus halmazalgebrák reprezentálhatósági problémáira irányultak; 2014-ben e témakörből készített disszertációjával szerezte meg az MTA doktora címet. Az algebrai logika területén elért eredményei nemzetközileg ismertek és elismertek voltak: különböző időszakokban Ferenczi Miklós neves olasz, holland, kanadai és USA-beli egyetemek vendégkutatójaként is dolgozott.
Emellett munkásságának egy sajátos és előremutató vonulata volt az elsőrendű logika és a valószínűségszámítás kapcsolatának vizsgálata, különösen az elsőrendű formulákkal leírható események valószínűségeinek tanulmányozása. Kandidátusi disszertációját is e területnek szentelte, melyet Measures and measurable functions on cylindric algebras címmel készített el, és 1987-ben védett meg. Ez azért is figyelemre méltó, mert – noha megváltozott indíttatással és némileg eltérő technikai eszköztárra alapozva – az elsőrendű struktúrák definiálható relációin értelmezett automorfizmus invariáns valószínűségi mértékek tanulmányozása 2020-tól Hrushovski, Pillay, Krupiński és mások munkássága nyomán új lendületet kapott.
Kutatómunkája mellett mindig rendkívül fontosnak tartotta egyetemi oktatói feladatait is. Diplomája megszerzése után a Budapesti Műszaki és Gazdaságtudományi Egyetemen kezdett dolgozni. 1996-ig a Villamosmérnöki Kar Matematika Tanszékén, majd egy átszervezést követően az Algebra Tanszékén folytatta munkáját. Az átszervezés alig érintette egyetemi feladatait, mindössze annyi változás volt, hogy ugyanannak az egyetemi épületnek egy másik szobájában kapott irodát. Kiváló humorérzékére jellemző, hogy nyugdíjba vonulásakor erről az epizódról úgy emlékezett meg, hogy karrierje a BME H épületének 3. emeletéről egészen a 4. emeletéig ívelt.
Közel 5 évtizeden át tanított matematikai logikát és valószínűségszámítást, generációk gondolkodását formálva. A Budapesti Műszaki és Gazdaságtudományi Egyetemen folyamatosan dolgozott egy matematikai logika csoport létrehozásán és fenntartásán, illetve a matematikai logika különböző szintű oktatásán mérnök- és matematikus hallgatók számára egyaránt.
Ferenczi Miklós a tudományos közéletben is fontos szerepet játszott: egyik fontos szervezője volt az 1988-ban Budapesten indult nemzetközi algebrai logika konferenciasorozatnak, egy TÁMOP-program keretében koordinálta közel 100 elektronikus tankönyv megjelenését, és ő is több jelentős könyvet írt és szerkesztett.
Tankönyvei és feladatgyűjteményei a felsőoktatás meghatározó segédanyagai közé tartoznak. Matematikai logika című könyvének hivatalos lektoraként (és kb. 15 éven át közösen tartott egyetemi kurzusaink kapcsán) lehetőségem volt közvetlenül megtapasztalni munkabírását, elkötelezettségét, igényességét.
Személyében nemcsak kiváló kutatót és tanárt, hanem nagy műveltségű, gondolkodásában nyitott és rendkívül igényes, következetes kollégát veszítettünk el. Emlékét tisztelettel megőrizzük.
Könyvek és szerkesztett kötetek
1. Matematikai logika, Műszaki Könyvkiadó (2002 és 2014).
2. Valószínűségszámítás és alkalmazása feladatgyűjtemény, Nemzeti Tankönyvkiadó (1998 és 2007).
3. Formal Methods in Computing (szerkesztő Pataricza Andrással és Rónyai Lajossal), Kluwer–Akadémiai Kiadó, 2005.
4. Cylindric-like Algebras and Algebraic Logic (szerkesztő Andréka Hajnallal és Németi Istvánnal), Springer, 2013.
5. Mathematical Logic for Applications (Szőts Miklóssal), 2016.
6. A matematika alapjairól, Typotex, 2020.
A megemlékezésben szereplő személyesebb életrajzi adatok és egyéb részletek pontosításához a Wikipedia bejegyzéseit használtuk.
Sági Gábor
HUN-REN Rényi Alfréd Matematikai Kutatóintézet és
BME Matematika Intézet
