youwen5/alexandria
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update footnote

Browse source
This commit is contained in:
Youwen Wu 2024-10-19 12:43:32 -07:00
parent 1600a90335
commit e596fe72d8
Signed by: youwen5
GPG key ID: 865658ED1FE61EC3
2 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

BIN
work/2024/phil-1/paper-1/main.pdf
View file

Binary file not shown.

16
work/2024/phil-1/paper-1/main.typ
View file

@ -214,14 +214,14 @@ usual method. We have $0.333 times infinity + 0.333 times 1 + 0.333 times
infinity is not a number in the traditional sense. It makes no sense to add or
subtract infinite values. For instance, try and subtract the total amount of
integers ($infinity$) from the total amount of real numbers (also $infinity$)
#footnote[Famously, the infinity of $RR$ is "larger" than the infinity of $ZZ$
in the sense of cardinality, where $frak(c) > aleph_0$ (G. Cantor). However,
our familiar algebraic operations of $+$ and $-$ are still not defined on them.
Perhaps we could pursue a line of reasoning to rigorously define algebra with
infinity using the hyperreals $attach(RR, tl: *)$, but that is out of the scope
of this paper.]. Clearly, this notion is meaningless and we cannot obtain a
solution. So, we consider $infinity - infinity$ an _indeterminate form_. So,
the expected utility is now _undefined_.
#footnote[Minor digression: famously, the infinity of $RR$ is "larger" than
the infinity of $ZZ$ in the sense of cardinality, where $frak(c) > aleph_0$ (G.
Cantor). However, our familiar algebraic operations of $+$ and $-$ are still
not defined on them. Perhaps we could pursue a line of reasoning to rigorously
define algebra with infinity using the hyperreals $attach(RR, tl: *)$, but that
is out of the scope of this paper.]. Clearly, this notion is meaningless and we
cannot obtain a solution. So, we consider $infinity - infinity$ an
_indeterminate form_. So, the expected utility is now _undefined_.
Consider the following Indeterminate Utilities argument: