Re:The Point of the Banach-Tarski Theorem
by Someone on Sunday January 22, 2023 @06:29PM
(#34483506)
I don’t think so. Programs that use numbers approximate e and π. It’s only programs that manipulate symbols that can use their exact values.
[ Parent
| on HN ]
All programs manipulate symbols. All bits are is symbols.
It's just sometimes we use those symbols to represent a subset of the integers (e..g. with the popular binary notation)... or a subset of the rationals (e.g. with the popular floating point notation)... or a subset of the reals that happens to include a transcendental number because we decided that some symbol (or combination of symbols) represents some particular transedental number.