Bifalgorithm post · Brisk · Chapter 1
Can an infinite set be defined extensionally?
Can an infinite set be defined extensionally? (Brisk · Chapter 1) — "You might think, by the way, that there’s no way to define an infinite set extensionally,…
Ideas in this flowchart
- La définition d’un ensemble infini peut être à la fois extensionnelle et intentionnelle.
- On pourrait croire qu’un ensemble infini ne peut pas être défini extensionnellement, car il faudrait une quantité infinie de papier.
- L’ellipse permet de représenter une liste infinie de manière concise.
- Exemple : I = {3, 6, 9, 12, 15, …}.
- Cette notation semble extensionnelle, puisqu’elle présente explicitement les membres de I.
- L’interprétation de « … » oblige toutefois le lecteur à comprendre la règle et à l’appliquer mentalement aux nombres restants.
- La définition pourrait donc être intentionnelle, malgré l’apparence d’une liste extensionnelle.
- La classification définitive de cette notation reste incertaine.
