Quran 51:56. I have created the jinn and humankind only for my worship. Quran 23:115. Did you think that We created you in vain, and that to Us you wi...
Yeah, but what is a philosopher? There are obviously the grandees, and then there is everybody else who discusses the grandees. Still, you cannot beco...
You cannot do much about your government. However, since there are 200+ of those, as an individual, you can certainly pick the one that disturbs you t...
When I look at the monad page, it says: With a monad, a programmer can turn a complicated sequence of functions into a succinct pipeline that abstract...
That would almost amount to saying that an artist's design choices are exclusively rational, and could therefore even be expressed in formal language....
The explanations for the Banach-Tarski paradox in the following video are very intuitive: https://www.youtube.com/watch?v=Qme56A8tvRw It really helps ...
Agreed. The issue may actually be elsewhere, though. A witness is sometimes a proof and sometimes it isn't. For example, For S1="Oranges exist", showi...
A killer whale undoubtedly believes that grey whales have every right to have children, because that is what they count on for their lunch: grey whale...
There is the perennial requirement of consistency, but beyond that, anything flies, really. I am certainly very open-minded in mathematics. The more a...
From within the perimeter of lowered violence of human society, it is sometimes difficult to imagine how other realities can be so different. For exam...
The fact that the algebraic closures are not yoked together by a specified isomorphism is the source of some theoretical complications at times, while...
It is almost literally what you will find mentioned in the page on the "Brouwer-Hilbert controversy": In other words: the role of innate feelings and ...
ZFC was initiated by Cantor and Dedekind in the 1870s, followed by Zermelo's draft 1908 publication, followed by Fränckel's bug fixes in 1921. From da...
Well, the one expression S1 consists of literals while the other expression S2 is a comprehension formula. So, they are indeed not identical but exten...
I think that 10 000 - 20 000 years ago, before they started farming, they were already gradually running out of game to hunt; a problem undoubtedly ca...
We do not know if it will still be workable 125 generations from now. Your approach requires a copy of the Theory of Everything (ToE) to function, but...
It is hypothetical because: sexual reproduction \Rightarrow global warming \Rightarrow suffering. A categorical imperative does not use that kind of a...
Well, no, it works differently: Assuming that Bartricks accepts the Quran, if he says something that contradicts the Quran, Bartricks is wrong. Bartri...
That is hypothetical (goal-seeking) morality, which is a practice that Immanuel Kant famously decried in his Critique of Practical Reason. The short s...
Well, you need something as a starting point; anything really. Imagine as a thought exercise a centuries-old moral scripture that says to its follower...
Well no, that is a repeat of the ancient, 10th century Mutazili heresy: Mu?tazilites believe that good and evil are not always determined by revealed ...
You do not need to populate a set with literal values. You can simply attach a indicator/membership function that is capable of letting through litera...
Yes, but as Aristotle famously wrote, "If nothing is assumed, then nothing can be concluded". Reason is about deriving statements that necessarily fol...
Any language is a Platonic abstraction that is mismatched with the real, physical world; even languages that are specifically meant to describe it. Wi...
Look at what has been firmly etched in stone: Quran. An-Nisa 34. Men are in charge of women, because Allah hath made the one of them to excel the othe...
Yes, but you are not allowed to put physical objects inside a mathematical set. You can only fill it up with language expressions. So, if you cut a "c...
They are both languages. So, they have a function similar to natural language, i.e. they communicate something. Still, I did not say that you can alwa...
All possible sentences you can say in English is a set. How is that closed or complete? Has anybody ever been able to list these out? I don't think so...
The concept of infinite set is abstract and very Platonic but not contradictory. Furthermore, these different beth levels of infinite set sizes really...
Well, people who feel that it is unethical to have children should obviously not have any. As you can imagine, this idea may then very well die out wi...
Imagine what the regular expression accepts, are expressions like this: { {1.2323,343.3333} ,{344.2,0,34343.444,6454.6444} ,{2323.11,834.33} ,{} ,{5 1...
A regular expression defines a regular language. For example, a* accepts {nothing, a, aa, aaa, aaaa, ...} or (ab)* accepts { nothing, ab, abab, ababab...
I've got a question about infinite cardinalities. The following set of sets is an element of the powerset of real numbers: {{1.2323,343.3333},{344.2,0...
Oh, yes, agreed, it slipped my mind. It is indeed not just a set. Unlike in sets, the actual order of elements is also a piece of information that seq...
What would be the operator in the isomorphism? Otherwise, without such operator, isn' it just a bijection? It is just a mapping between two sets, no? ...
Without the axiom of infinity, a concept of actual infinity is not viable. That is obviously also the reason why the axiom was introduced. Otherwise, ...
If S="every statement is relative" then S is itself also relative, but that would mean that there are statements that are not. That means that people ...
Yes, I think it is. It is certainly what Wikipedia says.. The mathematical meaning of the term "actual" in actual infinity is synonymous with definite...
Technically, I think that it should be #{1,2, 3,...} or card({1,2, 3,...}) or |{1,2, 3,...}| for actual infinity (cardinality symbols). 1,2, 3,... is ...
How long can an arbitrary stream of language expressions continue before it contradicts itself? In my experience, not very long. That is why I will no...
Well, it is not a version of Hitchens' razor, because unlike him, I do not reject the hypothetical statement. In order to reject it, I first need a "w...
Yes, agreed. If you want to deal with knowledge claims that apply to the real, physical world, then it is preferable to pick them from downstream user...
I don't think that there are any epistemic knowledge-justification methods that claim that anything is correspondence-theory "true". Mathematics merel...
Your views are very constructivist. They seek to claim a definite connection between the abstract, Platonic world of infinite set cardinalities and th...
They are no longer allowed to build these nuclear plants based on the overly optimistic views from the 1950ies and 1960ies. Nowadays, the problem is t...
On 5 July 2012, the National Diet of Japan Fukushima Nuclear Accident Independent Investigation Commission (NAIIC) found that the causes of the accide...
It is rather the Papacy who would send out an Exsurge Domine, but in Hitchens' case, what he said was clearly not considered interesting enough to eve...
You are probably right, because from my rabbit hole here in SE Asia, it is even irrelevant to me what is crashing and burning elsewhere. The only thin...
Yes, a "category error" is an "epistemic error". You know, there is an entire field in mathematics, called category theory. Just like epistemology, wh...
Well, I actively seek to disagree with people who defend the idea of "subject matters", because in my opinion, "subject matters" do not matter much. W...
Comments