Kudy do dedukce:

Prattův kalkulus pro dokazování prvočísel

Doc. RNDr. Vítězslav ŠVEJDAR, CSc.
Katedra logiky, FF UK v Praze
vitezslav.svejdar@cuni.cz



Abstrakt

Velká čísla obecně a velká prvočísla zvláště, rozklad čísla na prvočísla a jiné operace, a ovšem rozpoznávání prvočísel vzrušují matematiky již po řadu století. O této problematice se po velmi dlouhou dobu soudilo, že je zajímavá, avšak praktický význam nemá. V posledních přibližně čtyřiceti letech se ale vydatně uplatňuje v kryptografii. Ukážeme Prattův kalkulus pro dokazování prvočísel, s jehož pomocí lze prokazovat prvočíselnost velkých čísel bez užití tzv. hrubé síly, tj. bez probírání všech relevantních dělitelů.

Prezentace

Článek ve sborníku