Kalandozások a logika határán
Posted on

Mit jelent az igazság fogalma, és mik azok a szemantikai modellek, amelyeken ezt a fogalmat értelmezni tudjuk? Vajon a logika segítségével minden eldöntendő kérdésre választ kaphatunk? Vannak-e korlátai a logikának? Mivel foglalkozik a bizonyításelmélet, és mit állít az úgynevezett teljességi tétel a logika erejéről? Pontosan miről szólnak, és miért rengették meg a matematika építményének alapjait Kurt Gödel híres nemteljességi tételei?

A végtelenen túl
Posted on

Hogyan lehet elhelyezni végtelen sok új vendéget egy olyan szállodában, amelyben minden szoba foglalt? Mit jelent a végtelen számosság fogalma? Vajon az egész számok ugyanannyian vannak, mint ahány pont van a számegyenesen? Hogyan lehet végtelen mennyiségeket egymással összehasonlítani? Hányféle végtelen számosság létezik, és mi a kapcsolat közöttük? Mit állít a kontinuum-hipotézis, és milyen megdöbbentő válasz született rá 1963-ban?

A megalázott géniusz
Posted on

Ki volt Évariste Galois, aki mindössze 20 éves korában tragikus módon életét vesztette, de aki zseniális felfedezéseivel évtizedekkel megelőzte korát, és lerakta a modern algebra alapjait? Mi a másodfokú egyenlet megoldóképlete, és vajon a magasabbfokú egyenletekhez léteznek-e ilyen formulák? Mik a Galois-elmélet alapfogalmai és alapgondolatai? Miért nem megoldhatók a híres ókori szerkesztési feladatok, mint a körnégyszögesítés és a szögharmadolás?

Püthagorasz sötét oldala
Posted on

Mivel foglalkozott, és miért övezi oly sok misztikum a Püthegoreus Testvériséget, illetve magát Püthagoraszt? Miért igaz a Pitagorasz-tétel, valamint annak megfordítása? Mik azok a tökéletes számok, és milyen nyitott kérdések vannak velük kapcsolatban a mai napig? Milyen bűnt követett el Püthagorasz, amivel szégyent hozott tulajdon nevére, és amely az ókori görög matematika legnagyobb tragédiája?

Episode I: Alice és Bob
27. rész: Alice és Bob jövője
Posted on

Mik azok az elliptikus görbék, és mit állít róluk az egymillió dollárt érő Birch és Swinnerton-Dyer sejtés? Hogyan lehet az elliptikus görbékre újfajta titkosítási eljárásokat építeni? Mik azok a kvantumszámítógépek, és ha tényleg megvalósíthatók, akkor mire lesznek képesek a jövőben? Kell-e miattuk aggódnia Alice-nak és Bob-nak? Vajon a kriptográfusok, vagy a kiberbűnözők kerülnek ki győztesen ebből az emberiség egész történelmét végigkísérő kíméletlen háborúból?

Episode I: Alice és Bob
26. rész: Alice és Bob átlépi a célvonalat
Posted on

Mit nevezünk primitív gyöknek, és mi köze ennek a Diffie-Hellman kulcscsere protokollhoz? Milyen esetekben ciklikus egy maradékosztálygyűrű multiplikatív csoportja? Mit állít az úgynevezett Korselt-kritérium a Carmichael-számokról? Hogyan lehet igazolni, hogy a redukált maradékosztályoknak legalább a háromnegyede Miller-Rabin-tanú? Mi a következménye, ha az RSA kulcsok generálásához véletlenül prímek helyett Carmichael-számokat használunk?

Episode I: Alice és Bob
25. rész: Alice és Bob fontos párhuzamokat talál
Posted on

Mik azok a csoporthomomorfizmusok, normálosztók és faktorcsoportok? Milyen párhuzam mutatható ki ezek és a korábban már ismertetett gyűrűhomorfizmusok, ideálok és maradékosztálygyűrűk között? Milyen szép struktúratartó tulajdonságai vannak egy csoporthomomorfizmusnak? Mik azok a ciklikus csoportok, és összesen hány ilyen létezik?

Episode I: Alice és Bob
24. rész: Alice és Bob komolyabb fegyverekhez nyúl
Posted on

Mi az oka annak, hogy a Miller-Rabin-prímtesztre nézve egyáltalán nem léteznek univerzális álprímek? Milyen fegyverek állnak Alice és Bob rendelkezésére egy ilyen jellegű kérdés megválaszolásához? Mik azok a csoportok és mivel foglalkozik a csoportelmélet? Mit állít a Lagrange-tétel, és mi köze a Miller-Rabin-prímteszthez?

Episode I: Alice és Bob
23. rész: Alice és Bob prímszámok után nyomoz
Posted on

Hogyan képes Alice és Bob az RSA-kulcsgeneráláshoz szükséges többszázjegyű prímszámokat találni? Hogyan tudják ezt megtenni anélkül, hogy az idők végezetéig osztáspróbákat kellene végezniük? Mik azok a prímtesztek, és pontosan hogyan működnek? Mely számokat nevezzük univerzális álprímeknek, és hogyan tudunk megszabadulni tőlük?

Episode I: Alice és Bob
22. rész: Alice, Bob és a kínaiak
Posted on

Vajon varázslat helyett valójában mi áll az RSA-algoritmus helyes működésének hátterében? Mit állít a kis Fermat-tétel és a kínai maradéktétel, és mi közük van ehhez az egészhez? Mit értünk egy maradékosztálygyűrű dekompozíciója alatt? Hogyan lehet ennek segítségével lényegesen felgyorsítani az RSA-dekódolási algoritmust?

Episode I: Alice és Bob
21. rész: Alice és Bob titkosít
Posted on

Hogyan működik az Internet biztonságát adó RSA nevű aszimmetrikus kulcsú rejtjelező eljárás? Hogyan kell előállítani a publikus és titkos kulcsokat? Hogyan lehet az euklidészi algoritmust lineáris kongruenciák megoldásához is használni? Hogyan kell kiszámítani az Euler-függvény értékét egy adott számra, és milyen információra van ehhez szükség?

Episode I: Alice és Bob
20. rész: Alice, Bob, Euler és Fermat
Posted on

Mit jelent a kongruencia és a maradékosztálygyűrű fogalma az egész számok esetén? Mik azok a teljes és redukált maradékrendszerek, és milyen tulajdonságaik vannak? Mit mér az Euler-függvény? Mit nevezünk lineáris kongruenciának és mikor létezik megoldása? Mit állít az Euler-Fermat tétel és miért olyan fontos?

Episode I: Alice és Bob
19. rész: Alice és Bob ideáljai
Posted on

Hogyan néznek ki az egész számok gyűrűjének ideáljai? Mi a kapcsolat az ideálok és az oszthatósági alapfogalmak között? Mik azok a főideálgyűrűk, és ezeknek milyen jó tulajdonságaik vannak? Mi közük az euklidészi gyűrűkhöz? Hogyan zárható le a számelmélet alaptételének kérdése végérvényesen az ideálok segítségével?

Episode I: Alice és Bob
18. rész: Alice és Bob felcsavarja a számegyenest
Posted on

Hogyan lehet „felcsavarni” a számegyenest úgy, hogy az alkalmas legyen kriptográfiai kódoló és dekódoló függvények képzéséhez? Mit jelent a „kongruencia” fogalma, és hogyan lehet ezt általánosítani az úgynevezett „ideálok” és „gyűrűhomomorfizmusok” segítségével? Mik azok a „maradékosztálygyűrűk” és hogyan kell bennük számolni?

Episode I: Alice és Bob
17. rész: Alice és Bob ókori haverja
Posted on

Mi az oka annak, hogy minden egész szám egyértelműen felbontható prímszámok szorzatára? Mit jelent a „legnagyobb közös osztó”, és hogyan lehet az iskolában tanult módszernél sokkal gyorsabban kiszámolni az euklidészi algoritmus segítségével? Mik azok az euklidészi gyűrűk és mi közük a számelmélet alaptételéhez?

Episode I: Alice és Bob
16. rész: Alice és Bob alaptétele
Posted on

Mit kezdjünk azzal, hogy az „osztás” művelete általában nem végezhető el gyűrűkben? Mit jelent az „oszthatóság”? Mikor mondjuk egy gyűrű valamely elemére, hogy „felbonthatatlan” és mely elemeket nevezzük „prímeknek”? Miért van ezeknek kitüntetett szerepük bizonyos gyűrűkben? Mi a helyzet az egész számok gyűrűjében?

Episode I: Alice és Bob
15. rész: Alice és Bob az absztrakció útján
Posted on

Mit jelent a „nullosztómentesség” és az „integritástartomány” fogalma? Hogyan terjesszük ki a „kisebb-nagyobb” fogalmát a negatív számok körére is, és miért fontos ez a kriptográfiai eljárások szempontjából? Milyen absztrakt algebrai megfontolások állnak ennek hátterében, és mit jelent ez általános gyűrűk esetén?

Episode I: Alice és Bob
14. rész: Alice és Bob gyűrűje
Posted on

Hogyan tudjuk a szorzás műveletét is ésszerű módon kiterjeszteni a számegyenes 0-tól balra eső részére? Mit jelent az absztrakt algebrában a „neutrális elem”, az „inverz”, a „gyűrű” és a „test” fogalma? Hogyan definiálható a kivonás művelete az egész számok között? Mi a helyzet az osztással?

Episode I: Alice és Bob
13. rész: Alice és Bob eladósodik
Posted on

Mi volt az az absztrakciós folyamat, amelyet őseink is követtek, amikor elkezdtek a „semminél kevesebb” mennyiségekről elmélkedni? Mit lehet az ilyen mennyiségekkel modellezni? Tulajdonképpen mik azok a negatív számok? Hogyan köthető egy ilyen látszólag értelmetlen fogalom a valósághoz?

Episode I: Alice és Bob
12. rész: Alice és Bob rendet tesz
Posted on

Milyen alaptulajdonságai vannak a szorzás műveletének és mi az oka, hogy ezek valóban teljesülnek? Mik azok a relációk és mit értünk rendezett halmaz alatt? Mi köze ennek a „kő-papír-olló” nevű játékhoz? Hogyan vezetjük be a „kisebb-nagyobb” fogalmát a természetes számok között?