I did not know any specifics. I did think it was worth my time start skimming because I have another interesting problem vaguely related; then I thought it was worth my time to understand what the objection buried under the word salad (yes, Benjamin, it’s word salad) might be, because it seemed like there might actually be one. And there was! Standard lambda calculus at face value doesn’t work with nonconstructive proofs. That’s interesting and I didn’t know it. Then:
[Googles]
as expected, looks like there’s plenty of work on this, and there’s nothing actually surprising here. My standard practice after doing something like this is to leave a perfectly-reasonable-if-they-were-reasonable question getting to the heart of what’s up, as I did; I can afford this of course because I’m much less high profile than you, or, y’know, any physicist. :D
Interestingly and a complete aside: I grew up with a close relative who wrote in That Distinctive Style and only later encountered it on the wider internet, and wasn’t that a revelation.
I did not know any specifics. I did think it was worth my time start skimming because I have another interesting problem vaguely related; then I thought it was worth my time to understand what the objection buried under the word salad (yes, Benjamin, it’s word salad) might be, because it seemed like there might actually be one. And there was! Standard lambda calculus at face value doesn’t work with nonconstructive proofs. That’s interesting and I didn’t know it. Then:
as expected, looks like there’s plenty of work on this, and there’s nothing actually surprising here. My standard practice after doing something like this is to leave a perfectly-reasonable-if-they-were-reasonable question getting to the heart of what’s up, as I did; I can afford this of course because I’m much less high profile than you, or, y’know, any physicist. :D
Interestingly and a complete aside: I grew up with a close relative who wrote in That Distinctive Style and only later encountered it on the wider internet, and wasn’t that a revelation.