Senfineco: Malsamoj inter versioj
| [kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
Kani (diskuto | kontribuoj) |
Kani (diskuto | kontribuoj) |
||
Linio 44:
=== La teorio de aroj ===
[[Dosiero:Matematiker georg cantor.jpg|thumb|right|Georg Cantor]]
Alia speco de "senfineco" estas la [[ordonombro]]j kaj [[kvantonombro]]j de la [[aroteorio]]. Cantor evoluigis sistemon de transfiniaj nombroj, el kiuj la unua estas ℵ<sub>0</sub> (alef-nul), kiu reprezentas la kvantonombron de la aro de naturaj nombroj. Ĉi tiu moderna koncepto naskiĝis en la esploroj de [[Georg Cantor]], [[Gottlob Frege]], [[Richard Dedekind]] kaj aliaj, baze de la koncepto de aroj, kaj aroj de aroj.
Kerna ideo, dank' al Dedekind, estas tiu de unu-al-unu-rilato inter la elementoj de 2 aroj, kiel metodo kompari la grandojn de la aroj. Ĝi forĵetis la malnovan nocion ke parto ne povas samgrandi al la tuto. Tiam senfina aro difineblas kiel aro kiu havas la saman grandon kiel iu parto de la tuto. Ekzemple, ekzistas same multe da paraj naturaj nombroj kiom da naturaj nombroj.
| |||