Cantorův diagonální důkaz

• Authors: Marta Vlasáková

Title variants

EN

Cantor’s diagonal proof

• Languages of publication: CS

Abstracts

CS

Cantorův diagonální důkaz je významný jednak proto, že jím použitá ústřední dokazovací metoda byla následně aplikována i v řadě dalších důkazů, jednak z toho důvodu, že je považován za potvrzující existenci nekonečných množin, které svojí velikostí zásadně a řádově přesahují velikost „klasického“ nekonečného souboru představovaného všemi přirozenými čísly, přičemž tato jejich velikost může teoreticky překročit kaž dou myslitelnou mez. Ač bývá Cantorův důkaz obecně vědeckou komunitou přijímán, někteří odborníci k němu přistupují poněkud rezervovaně. Cílem tohoto pojednání je představit Cantorův důkaz přístupným způsobem a zároveň poukázat na jeho (skryté) předpoklady a možná problematická místa a upozornit na fakt, že některé z jeho výchozích předpokladů nejsou nějaké nezpochybnitelné matematické pravdy, ale spíše postulované teze, které mohou, ale nemusejí být přijaty.

EN

Cantor’s diagonal proof is significant both because the central method of proof used in it has been subsequently applied in a number of other proofs, and because it is considered to confirm the existence of infinite sets whose size fundamentally and by an order of magnitude exceeds the size of the “classical” infinite set represented by all natural numbers, while their size can theoretically exceed every conceivable limit. Although Cantor’s proof is generally accepted by the scientific community, some experts are somewhat reserved about it. The aim of this paper is to present Cantor’s proof in an accessible way, while pointing out its (hidden) assumptions and possible problematic points, and pointing out that some of its underlying assumptions are not indisputable mathematical truths, but rather postulated propositions that may or may not be accepted.

Keywords

CS

Cantorův diagonální důkaz; aktuální a potenciální nekonečno; reálná čísla; mohutnost množiny; rekurzivní funkce

EN

Cantor’s diagonal proof; actual and potential infinity; real numbers; set cardinality; recursive function

Discipline

• PHILOSOPHY: PHILOSOPHY

• Publisher: Institute of Philosophy, Czech Academy of Sciences
• Journal: Teorie vědy (Theory of Science)
• Year: 2023
• Volume: 45
• Issue: 2
• Pages: 153-193
• Document type: ARTICLE

Contributors

author

Marta Vlasáková

• Teorie vědy, redakce, Filosofický ústav AV ČR, v.v.i., Jilská 1, 110 00 Praha 1, Czech Republic