matematikatörténet

A számok titkos élete

Kate Kitagawa és Timothy Revell: A számok titkos élete: A matematika ismeretlen úttörőinek története című könyvének hátsó borítóján levő szöveg világosan elárulja: a könyv nemcsak a matematika ismeretlen úttörőiről, hanem elsősorban olyan jelentős ma­te­ma­ti­ku­sok­ról szól, akiket a fehér férfiak sokáig elnyomtak: tehát nőkről, ázsiaiakról és feketékről. Simonovits Andrásnak volt, ami tetszett a könyvben, és volt, ami nem, ezt osztotta meg recenziójában.

Mi az a típuselmélet, és mire jó?

  • Kaposi Ambrus, Molnár Zoltán Gábor
Az European Research Council (ERC) pályázatai évek óta vonzó, hosszú távú támogatást nyújtanak a legkiválóbb kutatók és kutatócsoportjaik részére. 2024-ben az ERC egyetlen magyar nyertes Consolidator Grant pályázata Kaposi Ambrusé, az ELTE kutatójáé volt. Témája a típuselmélet, amelyet első olvasásra nem könnyű megérteni. Szerzőtársával, Molnár Zoltán Gáborral együtt vezetik be az olvasót a matematika új típusú formális megalapozásába.

Veszélyes kanyar

Ugye, mindenki tudja, mi az a Halmos-négyzet, a Bourbaki-féle veszélyes kanyar, vagy mióta is létezik a + és az = jel? Ha mégsem, vagy ha szeretne hallani Halmos Pálról és a Bourbaki-csoportról is, olvasson tovább. Aki pedig ismer olyan egyéb matematikai jelöléseket, amelyeknek a története érdekes, van kedve és ideje írni róluk, akkor írjon, és küldje be az Érintőbe! Erre kéri olvasóit a cikk szerzője, Titkos Tamás.

Beszámoló a Big Five Centenáriuma rendezvényről

  • Páles Zsolt, Pálfy Péter Pál
A magyar matematika öt meghatározó, nemzetközi mércével mérve is jelentős alakja, Aczél János, Császár Ákos, Fuchs László, Gál (Gaál) István és Horváth János 1924-ben születtek. Tanáruk, a legendás Fejér Lipót már egyetemi tanulmányaik idején így nevezte őket: a „Big Five”. 2024. június 5-én a Rényi Intézetben a százéves évforduló kapcsán rendeztek ünnepi ülést. Páles Zsolt és Pálfy Péter Pál cikke részletesen közli az ünnepelt Fuchs László, és az őt köszöntők beszédeit.

Bizonyítás az emberin túl, a mesterséges intelligencián innen

A gépi tételbizonyítás sikere vitát indított el a matematikai közösségben. A fő kérdés: vajon teljes mértékben megbízhatunk-e egy olyan bizonyí­tás­ban, amelyet nem tudunk teljes egészében az emberi percepcióra és a tiszta észre hagyatkozva ellenőrizni? Molnár Zoltán Gábor cikke érdekes filozófiai problémákat is felvet, miközben bevezetést kapunk a Lean program­nyelvbe és a bizo­nyí­tás­asszisz­tens szoftverek elvébe, érintve a mesterséges intelligencia jövőbeni fejlődését. Tovább...

Nagy egyszínű klikkek nyomában – áttörések a Ramsey-elméletben

A fotón látható Frank Plumpton Ramsey, a fiatalon elhunyt zseniális polihisztor egyszerű matematikai tételéből egy teljes elmélet keletkezett. A Ramsey-elméletet a hőskortól, Erdős Páltól, Szekeres Györgytől kezdődően a 2023-as év új hullámáig, a fiatal matematikusok áttöréséig, a legújabb felső becslést diagonális Ramsey-számokra, majd az új alsó becslést Ramsey-számokra is bemutatja Pach János és Tardos Gábor tanulmánya.
Keresés