showed that to be incorrect — Banno
Gobbledegook, attempting to make an excuse to not be responsible for one's choices. — Banno
Pretty shitty reasoning. — Banno
He replied, "No, this life is good. It's this body I am tired of — Questioner
For example, sometimes we have to accept things in our life that suck — Questioner
Or, reading a good book that changes your perspective on life — Questioner
neither believe in the supernatural -- and even if we mean "supernatural" in the sense of "outside of nature" Descartes still believes in nature -- res extensa is just as real as res cogitans, and while God may sit outside of nature and we have knowledge of his existence nature still exists. — Moliere
Sartre: The meaning of being is different from what either Descartes or Kant are talking about, and Existence precedes essence. — Moliere
You continually conflate math with physics and I continually note that this is a category error. — fishfry
I'm not a big fan of matter. How nice it would be to exist without being subject to the vicissitudes of objects - massive, medium size and subatomic - clashing and banging all around you, wantonly careening at you, and roiling inside you without regard for the effect it all has on you. Matter doesn't care at all about me, so why should I respect it? Well, I do respect some of it - nice people, a lovely beach, a perfect avocado, and some jazz records and math books. But most of the rest of it, phooey! One thing for sure, no one ever involved in a head on automobile accident ever said, "Thank the universe for the laws of physics". — TonesInDeepFreeze
So they're mapping the infinite plane onto a finite disk by projecting it through a sphere — fishfry
the real numbers are defined as the continuum. They can be proven to exist within set theory, but that has no bearing on what's true in the real world. — fishfry
Those are great logicians, great intellectual achievements. And a lot more (not necessarily in chronological order): Predecessors: Boole, De Morgan, Peirce, Cantor, Peano, Dedekind, Frege. Then Lowenheim, Skolem, Whitehead & Russell — TonesInDeepFreeze
Your picture of all of this is much too woozy — TonesInDeepFreeze
That makes no sense and is wrong: (1) By definition, a theorem is a statement that has a proof. (2) Incompleteness is not that there are statements that are unprovable "in any way". Rather, incompleteness is that if T is a consistent, formal theory that is sufficient for a certain amount of arithmetic, then there are statements in the language for T that are not provable in T. That does not preclude that statements not provable in T are provable in another theory — TonesInDeepFreeze
Those are videos that are of the caliber of claiming that Cantor was a nutcase based on the fact that he was in sanitarium.
6h — TonesInDeepFreeze
Would you say that having freedom is dependent on being ignorant about some things? — wonderer1
You're serious? You haven't caught on to the fact that such AI bots are so often horribly wrong and fabricate regularly? — TonesInDeepFreeze
I don't know what relationship you have in mind between the quote of fishfry (refuted by me) and the quote of me, especially since neither references absolute infinity — TonesInDeepFreeze
Cantor thought the absolute infinity was God. I don't know if he ever claimed it was the whole story of mathematics.
Don't recall reading whether Gödel had an opinion on the matter. I don't think the concept of absolute infinity was relevant by Gödel's time — fishfry
Your principle leads directly to a contradiction. The restriction needed to patch the problem is restricted comprehension, which would already require there to be an infinite set that's a superset of the infinite set you wish to conjure. Without the axiom of infinity, THERE IS NO SET containing all the natural numbers — fishfry
Every arithmetical statement is either true or false. There is a function that determines the truth or falsehood of every arithmetical statement. But, of course, it's not a computable function. The truth or falsehood of every arithmetical statement is determined, but there are arithmetical statements of which we could never find the determination. It's as if those statements and their determinations are "out there floating around" but I can't visualize what it means that they are true or false except that I know there is a function that determines them — TonesInDeepFreeze
Could you calculate the speed in all infinite steps — MoK