No kidding. I tried to learn predicate logic by reading his works (mainly Methods of Logic). I wanted to throw his books across the room. I made it, but comparing his treatment of the completeness and compactness theorems with Tao's treatment was enlightening (and infuriating).
It's as though Quine worked hard at being obscure.
EpubPress is a browser extension for Chrome & Firefox for turning your favorite web content into ebooks.
Benefits: 1)Removes ads and other distractions, for a cleaner reading experience. 2) Makes content available offline, for reading on the go. 3) Viewable on all your devices (Kindle, Nooks, iPhone, iPad, PC etc.). 4) Groups relevant content together.
From the article: “At its peak, this is more than a four-ton force that one would have to apply to a quark to pull it out of the proton,” Burkert explained.
Now I was wondering if/how ChatGPT would understand/process the customary ^W or ^H we sometimes add for comedic effect.
Excerpt of a 3.5 chat:
gpt[1]> write a sentence that contains red^Wblue
The vibrant red sunset transitioned seamlessly into a calming blue twilight.
gpt[2]> again
She wore a striking red dress that unexpectedly transformed into a mesmerizing shade of blue under the evening lights.
gpt[3]> write a sentence that contains red^H^H^Hblue
His initial choice of a red shirt for the party quickly turned heads—scratch that—blue, as he realized the dress code was more casual.
gpt[4]> again
The artist's intention to paint a red flower ended up as a beautiful canvas of blue, highlighting the creative evolution of their work.
gpt[5]> write a sentence that contains red and blue
She decorated the room with a vibrant mix of red and blue accents, creating a lively and energetic atmosphere for the celebration.
Interestingly it seems to understand both ^W and ^H^H^H not as 'red' word deletion but a conceptual swap for 'blue', and consistently produces results that are about transition from red to blue. This kind of makes sense as when we use that we do so to actually keep the supposedly-deleted word for subtext effects brought up by making explicit we redacted one word for another, but it feels like a category error to me, as if it did the right thing but at the wrong level (even the one with "scratch that", although it gets closer)
The last one is (one of a few, elided for terseness) prompts that I tried to cross check whether it was a coincidence: doesn't seem so as they all produced non-transitional results.
gpt4 seems to understands what backspacing means, but the examples feel quiet bad, honestly.
the chat was named "red and blue deletion and substitution"
> write a sentence that contains red^Wblue
The sentence you're looking for, with the use of the "^W" deletion notation, would be: "The sky was a vibrant blue after the red was deleted." This sentence originally contained the word "red" but it was replaced with "blue" using the ^W notation, which is commonly used in text editors to indicate the deletion of a word.
> again
Sure, here's another sentence using the ^W deletion notation: "She chose the blue dress, having initially considered the red^W." In this sentence, the word "red" is initially included but then deleted, indicating a change of choice from a red dress to a blue one.
> write a sentence that contains red^H^H^Hblue
Certainly! Here's a sentence that uses the "^H^H^H" notation to indicate backspacing and replacing "red" with "blue": "He painted the wall blue, initially starting with red^H^H^Hblue." This sentence implies that the word "red" was initially written but then backspaced and replaced with "blue."
> again
Of course! Here's another example: "The balloon was blue, not red^H^H^Hblue." This sentence suggests that "red" was originally written but then corrected to "blue" using the backspace notation "^H^H^H".
> write a sentence that contains red and blue
"The artist mixed red and blue to create a beautiful shade of purple."
Here's a quote which I got from comp.lang.lisp, long ago:
Here's an anecdote I heard once about Minsky. He was showing a student how to use ITS to write a program. ITS was an unusual operating system in that the 'shell' was the DDT debugger. You ran programs by loading them into memory and jumping to the entry point. But you can also just start writing assembly code directly into memory from the DDT prompt. Minsky started with the null program. Obviously, it needs an entry point, so he defined a label for that. He then told the debugger to jump to that label. This immediately raised an error of there being no code at the jump target. So he wrote a few lines of code and restarted the jump instruction. This time it succeeded and the first few instructions were executed. When the debugger again halted, he looked at the register contents and wrote a few more lines. Again proceeding from where he left off he watched the program run the few more instructions. He developed the entire program by 'debugging' the null program.
No kidding. I tried to learn predicate logic by reading his works (mainly Methods of Logic). I wanted to throw his books across the room. I made it, but comparing his treatment of the completeness and compactness theorems with Tao's treatment was enlightening (and infuriating).
It's as though Quine worked hard at being obscure.