This is where folk tales are wonderful. Out of all the complex clutter of
daily life among all the different people, they recognize a big question and
put a marker on it by wrapping it in a small story or metaphor, which turns out
to have staying power as a meme, because it resonated with what
Yes! And playing that same note (along with cargo cults, mnemonics, and the
specialness/detail-preservation of narrativity), I committed to posting that I
was wrong and Jon's *epiphenomena* are appropriately named (based primarily on
the oracle-sort idea (I like "oracle" better than "key") [⛧].
I might modify this slightly to
For any r in R, however large, there exists x in R, and epsilon > 0 in R
such that 1/x > r for x < epsilon.
I'm not sure that makes a difference but it may make it clearer.
On Mon, Aug 3, 2020 at 11:14 AM Frank Wimberly wrote:
> My opinion. 1/0 is undefined.
In 2011, my buddy Ralf offered me a summer *artist in residence* in Eugene
Oregon. We attended the 10th Annual Oregon Programming Languages Summer
School[⏧], where a few days were spent in a giant lecture hall full of
mostly young men fiddling with Coq. One night, he and I even ran into
Benjamin Pi
To be a little clearer on my hand-wringing, here is a section where Bringsjord
et al argue that belief in the Singularity is not rational:
> A
> (P1) There will be AI (created by HI).
> (P2) If there is AI, there will be AI+ (created by AI).
> (P3) If there is AI+, there will be AI++ (created by
My opinion. 1/0 is undefined. Depending on the context you can define it
in a way that's useful in that context.
To say that lim(1/x) as x ->0 = infinity means precisely:
For any r in R, however large, there exists an x in R such that 1/x > r.
Frank
---
Frank C. Wimberly
140 Calle Ojo Feli
I know I've posted this before. I don't remember it getting any traction with
y'all. But it's relevant to my struggles with beliefs in potential vs actual
infinity:
Belief in the Sinularity is Fideistic
https://link.springer.com/chapter/10.1007%2F978-3-642-32560-1_19
Not unrelated, I've of
