344 karma · joined July 14, 2019
My motivation to read any of this was downstream of some other internal feeling that I couldn't shake and slowly began to gnaw at me in my 20s -- that what I could sense around me (or sense at all) couldn't be all that "is". I suppose one way to phrase this is that I became increasingly disturbed by my inability to answer fundamental "where?" or "why?" questions (e.g., "why did the Big Bang happen?", "where is the singularity?", etc.). The standard retorts that some things are simply mysteries didn't satisfy me. Instead I started to suspect that much of what I thought was "territory" was actually just various "maps" that people have created in their minds to help navigate the territory. Around this time I stumbled onto Immanuel Kant's antinomies and realized that many people had thought along these lines in the past. Once I was on this trail, I've never strayed.
Are we supposed to side with your friend here? The fact that he couldn't infer that the father might want some salt is, at best, very shortsighted and pedantic. It's roughly equivalent to a teacher responding to "Can I go to the washroom?" with "I don't know, can you?" -- except in this case it's not said in jest.
[0] https://www.poetryfoundation.org/poems/148576/on-marriage-5b...
[1] https://poets.org/poem/force-through-green-fuse-drives-flowe...
[2] https://allpoetry.com/mad-girl's-love-song
[3] https://allpoetry.com/may-my-heart-always-be-open-to-little
> No, because you have to ask the right question to take it. Do you want a one-on-one with your maker?
[0] https://www.frontiersin.org/articles/10.3389/fcell.2023.1339....
> There are some numbers that are not, and perhaps these can truly be said to not exist.
So then we have a real issue because the vast majority of the real line is composed of these uncomputable numbers which you've suggested don't exist.
One is a map, and the other is the territory. Both 'real' in some sense but a map without the territory feels less 'grounded' (pun?).
> Again, it's unclear what anyone means by things like 'sqrt(2)'. Why is drawing a thing of length sqrt(2) any different than drawing a thing of length 1? If I draw a thing of length 1 and say it's a line of length 1, then why is that different than my drawing the same line, claiming its length is sort(2) and then pointing out that it's actually now impossible to mark where 1 would appear along its length?
Perhaps a more precise way to describe the situation is that one can define one or the other as a base 'unit' but you can never get one from the other (they are 'incommensurate', as the greeks would say). Irrational numbers can be defined but not 'realized' (or 'constructed') in the same way that the rationals can.
Another related notion is that there is no way to 'realize' an irrational 'number' -- sqrt(2) can be defined but we can never draw a length of sqrt(2).