117 karma · joined March 10, 2019
I haven't ever removed the dip because otherwise, it would run through an area I don't want to see the hose.
Very frustrating.
I use a valve to bleed water near the dip by turning the valve on and off to hammer out the bubbles. Takes forever and I'd like it to be automatic (because I want my rain water cistern to overflow to my garden too. But I don't want to get rid of the bubbles by going outside in the rain, or going outside at night)
It was fun discovering all the corner cases while debugging drivers.
But this is how you can stress the theorem. I know it will take a long time, so consider a universe where only 1000 bits of matter actually exist, then try to use the theorem and you won't have enough ink to even hold the theorem, and sets in memory. It's the same for our universe, just with more bits.
"you could simply add those sentences to your list of proof rules " Thanks, for responding. Do you mean axioms? I don't understand why that would be a solution. I'll have to read Godel again.
Off topic: Still, you'd run out of matter in the universe (that you could use for ink), before you wrote down a finite amount of numbers while ever reaching a percentage of infinity. That's how unreal infinity is in my mind.
I know the concept of infinity is useful in math, and in this incompleteness theorem, it seems like infinity is the very reason not all truths are provable. But I thought Godel's incompleteness theorem would apply to physical reality, but since infinity doesn't exist in physical reality, I'm not sure the incompleteness theorem would apply to physical reality. Hmmm
Also, didn't Godel show his theorem to be informally true by stating, "This sentence is inprovably true."? There was no infinity invoked in that sentence.
Infinity breaks a lot of things. Infinity isn't even real. So I'm not sure this counts. It seems like the article would have mentioned infinity if that were the reason for the claim. It seems like Enumeration fails for an infinite set too.
How can a string not be decidable?! Just search for the string in the set. It is either there, or not there.
What an I missing?
Light is not really understood. It's a wave and a photon, depending on what we need to solve. We incorrectly say light is a "wave", but "wave" is a verb!! I remember thinking this sounded ridiculous when I was in school. You probably did too! We should all go back and redo our assumptions like you say.
The other thing that disappointed me was the explanation of why magnets attract/repel. (Do you remember your feeling about it? Did your innocent child mind reject the explanation?)
I have a theory it was because, "they are honors students, they'll learn the subject regardless, and we need to put this bad teacher SOMEWHERE".
I once got out of a differential equations honors class because it was very obvious the first week, that the teacher was awful. Later, my fellow honors students told me how "lucky" I was to have switched. They were suffering through the course, while I was learning and enjoying my new class.
... ... Opps : recession. ;-) it's a paradox