One example for the computability of the term "dog": Another example: There are massive research and development budgets for "dog" object-recognition ...
There is no definition for the term philosophy. There is only a large collection of (partially failed) attempts. Replacing the existing alternative de...
The notion of Haar-like feature is not even a particularly good definition for "visual object". It is good enough, however, to build systems with that...
As soon as you can write the sentence as one that contains the pattern K(#S), i.e. a property of a statement, it is philosophical. Asserting a propert...
hasGödelNumbering(#languageDefinition) => isPhilosophicalLanguage(#languageDefinition) I think that it matches the definition. Note: Even English has ...
This goes straight to Yanofsky's characterization of the truth, i.e. most truth is ineffable: eternal(#S) => ineffable(#S) or ¬ ineffable(#S) => ¬ ete...
I am interested in a computable predicate, i.e. a computer program or a function, that will be able to distinguish between statements that are philoso...
Google Translate is not 100% accurate but it is quite good nonetheless. It could be interesting to have the starting point for something that can dete...
Descartes' "Cogito ergo sum" is a problem. It is covered by "thinking about thinking" but not by "statements about statements". We cannot expect Godel...
The definition for philosophy is a predicate: isPhilosophical(#S) which is true if S is philosophical. So, the definition of philosophy is the source ...
I think that the definition of a word is an abstraction about an abstraction, a statement about a statement. It is clearly a language expression about...
"I think therefore I am" is problematic. Not sure what to do with that. It would fit fine with "thinking about thinking" but not with necessarily with...
"Know thyself" is not a logic sentence. It is not true or false. "Here is a hand" is a statement about a physical fact. "I think, therefore I am". S =...
If SaidByJohn(#S) is a legitimate predicate, then your example sentence would indeed satisfy the definition proposed. If this is a problem, then how c...
For a starters, the term philosophy does not have a single definition: The definition that I propose, is actually not particularly new. It is quite cl...
Agreed. The moral obligation certainly exists in Islam in the form of zakaat, i.e. the mandatory charity levy. So, in Islamic terms, Singer's apostoli...
Yes, Wittgenstein expresses a feeling that I have also always had. Rationality is a tool. Spirituality is another tool. They were never meant to be in...
Yes, English is a philosophical language because it is its own metalanguage. In this post, I am trying to point out what I believe, is the correct -- ...
The long form: If it is possible to express a statement about other statements in the language at hand, then it is also possible to express statements...
First-order arithmetic is its own metalanguage. It is capable of talking about its own statements. A language is philosophical if it is its own metala...
The book format used to be pretty much the only economically efficient distribution format for intellectual publications, even though the monographic ...
Spirituality, any kind of spirituality actually, tends to have a positive impact on mental health: Mental health impacts physical health and the abili...
I believe that religion gives hope, but I also believe that it only works for people who believe that it works. It gives hope to people who may otherw...
It is probably the other way around. The main threat to good healthcare is the lack of religion. If you are not motivated, if you are depressed, if yo...
Simping for a woman, never helps. If she is attracted to you, you can pretty much do or not do whatever you want, because she will simply invent her o...
Indeed, physics has its merits. I don't think anybody denies that. I was just pointing out what some of its problems are, and how these problems relat...
Reducing divorce by getting husbands to simp even harder? If simping harder were the solution, there would be no divorces to begin with. In fact, the ...
First of all, I am fascinated by disaster tourism. I would like to take a tour of Chernobyl reactor number four. My hobby would be to compare it to th...
Physicists are currently siting on two stubborn patterns that are incompatible: quantum mechanics and gravity. These two stubborn patterns "do not pla...
It is actually the ultimate goal of science: Stephen Hawking no longer believed that the ToE is an attainable goal: It is physicists themselves who wa...
No matter how well physics manages to study a plethora of stubborn physical patterns, it hasn't reached the stage at which mathematical logic can cons...
The equivalent of a theorem would rather be a single stubborn pattern (which they confusingly often call a theory in physics). It is an entire collect...
For Hawking's audience of physicists, the term "axioms of mathematics" refers to PA or ZFC. A mathematical theory in which Gödel's incompleteness does...
It was more about the fact that physics does not have one thing that is considered a legitimate "theory" in mathematics. Stephen Hawking expressed the...
The remainder of the speech is mostly about research headaches in (advanced) theoretical physics, probably his pet peeves. Hawking was talking to othe...
That would require a usable theory of physical reality, which we don't have. We just have a collection of stubborn patterns. You cannot logically reco...
From the point of view of Persia, Greece must have looked like a constellation of incessantly warring tribes and townships, to whom they could have br...
An academic education rather teaches the fine points of sophistry, suitable for bamboozling the masses. Since employers like CNN and Harvard can only ...
If you look at model theory, you can see on the one side a collection of rules, i.e. the axioms of a theory, and on the other side, a possibly even ch...
You are asking for an audit report. That would require an external audit. I just compiled a list of incidents from what the press has reported. I am n...
In his 2002 lecture, "Gödel and the end of physics", Stephen Hawking made excellent comments on the connection with physics. He obviously left out tec...
In the context of the question "So what exactly did Godel add to our body of knowledge?", everything you say may be perfectly correct, but what answer...
It was an answer to "So what exactly did Godel add to our body of knowledge?". My answer was a combination of what Hawking had said on the matter alon...
It was an answer to the relevance of Godel's theorem. Of course, it only applies to systems in which it is provable. The system is a theory with a lan...
Noson Yanofsky writes: What I wrote, is the combination of what Hawking and Yanofsky wrote on the matter. Why would that be an "overbroad mischaracter...
Comments