In some of his later writings he expressed that idea. I can't imagine slurring the guy for his name. Do you even know who he is? I'm going to let this...
No, your idea only lists all the bitstrings of FINITE length, of which there are only countably many. For example 1010101010101010... never appears on...
That's a Peircean view and not a standard mathematical view; and I think it's important to make that distinction when explaining things. The standard ...
I'm afraid I share @"Metaphysician Undercover"'s misgivings about this remark. I understand the categorical viewpoint of sets, but I would not charact...
I found a paper that indicated the the fibers are "L-structures." Not too sure what those are, or what the base set is. I'm not sure I entirely believ...
The powerset of a set is the set of all subsets of the set. So for example \mathcal P(\{1,2,3\}) = \{\emptyset , \{1\}, \{2\}, \{3\}, \{1,2 \},\{1,3\}...
I can summarize. Short answer is that these days you can do logic via category theory; and when you do that, you get intuitionist logic (denial of the...
I'm sorry to hear of your personal health issues. Have you ever heard it said that if you can't explain something clearly, you don't actually understa...
Exactly not what you said the other day, when you started out by saying that the underlying set consisted of all n-tuples of real numbers then chose n...
Oh you DO know this material. It must just be your exposition that I can't understand. I'm happy to see this paragraph. I understand it, I agree with ...
EXACTLY a question I put to @"Mephist" the other night. That's identical to my understanding of what's being proposed, but I don't entirely believe it...
I'm not sure I'm seeing that yet. I'm working on getting a bottom-up understanding of fiber bundles and this will take a couple of days or more for me...
I'll quit while I'm behind here but this is what you wrote. You said "nature will take care of it," as if there's an "it" that billions of death would...
I'm delusional to argue with environmentalists, you're right about that. I'm all for clean air and water. I'm not for radical depopulation. I regard t...
At least one poster in the past hour did want exactly that. A plague. Malthus was wrong. Paul Erlich was wrong. You population pessimists never see th...
That's exactly what I warned about when a poster suggested how nice it would be if we halved the world population. To do that you either kill the old ...
Overpopulation is a myth. I hope you at least glanced at the two links I gave, which make the case that the real problem is underpopulation. You illus...
I was prepared to apologize for misunderstanding your remark, but now I see that I have to reiterate my objection to your philosophy. The Chinese gove...
We're talking past each other. And this is not about cardinalities at all since neither proper classes nor categories (in general) have cardinalities....
This is not about introduction to first order logic. This is about an explanatory gap. The topology is not irrelevant if you claim to have a sheaf. Pe...
Well, I know what a fiber bundle is so if you claim something is a fiber bundle you could just explain what it is that's the fiber bundle. What is the...
Thank you for your reply. This post isn't nearly as long as it looks, most of it's your quoted text. I have some specific comments, but first I want t...
There are most definitely reasons. Penelope Maddy, the foremost authority on the philosophy of set theory, has a pair of papers, Believing the Axioms ...
I have many questions. Let me first say exactly where I'm coming from, and what I'd eventually like to understand. You said a while back, in a remark ...
Yes but I haven't time right now to learn the category theory I'd need. I see a vertical thread of understanding from the idea of a fiber bundle over ...
Ok. Consider this. Earlier I gave the example of the ring of continuous functions on \mathbb R, and the fact that the zero-set of a point is an ideal....
I don't think I can logically argue against strongly held metaphysical beliefs. Many people find it impossible to accept, even for sake of argument , ...
The Wiki page gives some clues as to the difficulties ahead. https://en.wikipedia.org/wiki/Sheaf_(mathematics) This is helpful: https://math.stackexch...
No not at all. I'm vitally interested. I wonder if you'd be willing to meet me halfway; and realize that what you've learned in the abstract does not ...
If you know the categorical definition of something but you can't explain the bottom-up concept, you should fill in the blanks in your knowledge. The ...
Thank you. That's what I suspected. It's a particular point of view. There is a much larger mathematical context in which these ideas developed, that ...
I get that. So when you use jargon from categorical logic you don't know the greater mathematical context; and that's making it harder for you to expl...
As far as I know, Nat is a natural number category and not an object. Or maybe it's an object. Why don't you explain yourself more clearly. You jump i...
Yah. Exactly what I was thinking as I read your exposition. You know you still haven't told me exactly how you came by all this information and it's r...
I will give my opinion. I don't think this is appropriate for this thread, because @"TheMadFool" wishes to understand the standard real numbers. What ...
Well that's the argument right there. The first world says to the third world: We've got ours. You can't have yours. In fact you should die or not be ...
That's a very interesting statistic. It's contrary to what I would guess. My sense is that if the DNC screws Bernie out of the nomination again (wheth...
Tulsi. You see what a dreamer I am. I also like Cory, even though he's out. Not his leftward-swerving self recently, but the centrist, business-orient...
This is plenty for now! I understand parts of all that from various perspectives. One question, homotopies are equivalence classes of paths. It's a to...
Comments