AngouriMath

Symbolics for .NET


Table of contents

AngouriMath

Navigation
Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug Donate Contacts

Alephf

← Back to list of classes

Description

Summary

The aleph number aleph(k), the size of an infinite set: aleph(0) is the
size of the whole numbers, and aleph(k + 1) the least size after
aleph(k).

Remarks

card of an infinite set is one of these, or a power of 2 of one:
card(ZZ) is aleph(0) and card(RR) is 2^aleph(0), which is an
aleph but not a named one -- that it is aleph(1) is the continuum hypothesis,
which ZFC does not decide. A sum or a product of sizes is the larger of them, and the
sizes compare.
https://github.com/asc-community/AngouriMath/issues/1409

Members

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online