You are viewing the historical archive of The Philosophy Forum.
For current discussions, visit the live forum.
Go to live forum

fishfry

Comments

Asshole. LOL. No more from me on this.
January 25, 2020 at 04:56
Hence embarrassing yourself. Use the Google, Luke. Philip K. Dick was a prolific writer of science fiction. He's greatly revered.
January 25, 2020 at 04:54
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...
January 25, 2020 at 04:50
Uh ... he's agreeing with you. I'm not sure I follow your point, and I disagree strongly with your apparent criticism of the man.
January 25, 2020 at 04:47
Philip K. Dick was of that opinion.
January 25, 2020 at 04:45
No, your idea only lists all the bitstrings of FINITE length, of which there are only countably many. For example 1010101010101010... never appears on...
January 25, 2020 at 04:42
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 ...
January 25, 2020 at 04:41
I'm afraid I share @"Metaphysician Undercover"'s misgivings about this remark. I understand the categorical viewpoint of sets, but I would not charact...
January 25, 2020 at 04:36
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...
January 25, 2020 at 04:33
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\}...
January 25, 2020 at 04:18
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...
January 24, 2020 at 03:05
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...
January 23, 2020 at 05:44
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...
January 23, 2020 at 05:01
I haven't worked through this yet but it looks very promising.
January 22, 2020 at 06:33
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 ...
January 22, 2020 at 06:17
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...
January 22, 2020 at 06:15
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...
January 22, 2020 at 06:10
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...
January 21, 2020 at 08:02
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...
January 21, 2020 at 07:56
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...
January 21, 2020 at 07:55
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 ...
January 21, 2020 at 07:52
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...
January 21, 2020 at 07:41
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...
January 21, 2020 at 07:30
ok And why would that be a problem? A group is a category with one element.
January 21, 2020 at 06:29
We're talking past each other. And this is not about cardinalities at all since neither proper classes nor categories (in general) have cardinalities....
January 21, 2020 at 06:27
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...
January 21, 2020 at 06:26
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...
January 21, 2020 at 06:24
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...
January 21, 2020 at 03:11
There are most definitely reasons. Penelope Maddy, the foremost authority on the philosophy of set theory, has a pair of papers, Believing the Axioms ...
January 20, 2020 at 06:55
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 ...
January 20, 2020 at 05:53
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 ...
January 19, 2020 at 08:08
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....
January 19, 2020 at 07:43
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 , ...
January 19, 2020 at 07:04
The Wiki page gives some clues as to the difficulties ahead. https://en.wikipedia.org/wiki/Sheaf_(mathematics) This is helpful: https://math.stackexch...
January 19, 2020 at 06:52
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 ...
January 19, 2020 at 06:36
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 ...
January 19, 2020 at 06:33
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 ...
January 19, 2020 at 06:29
I don't know a freakin' thing about type theory. I think it's time to drop this.
January 19, 2020 at 06:26
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...
January 19, 2020 at 06:26
Thanks.
January 19, 2020 at 06:16
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...
January 19, 2020 at 06:10
I appreciated your gracious response. In the end that was a productive interaction.
January 19, 2020 at 06:03
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...
January 19, 2020 at 05:57
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 ...
January 19, 2020 at 05:46
I still believe that. You quoted me a poll to the contrary. I said that I nevertheless still hold my opinion.
January 19, 2020 at 05:41
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 ...
January 19, 2020 at 05:39
I'm satisfied to agree to disagree.
January 19, 2020 at 05:33
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...
January 19, 2020 at 05:31
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...
January 18, 2020 at 06:47
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...
January 18, 2020 at 06:08