It is not provable from a mathematical theory, but it may very well be true. Statements that are not provable are not necessarily baseless. That would...
That is a legitimate belief. For example, a game-theoretical equilibrium is more complex than its constituent parts. That alone explains much of why s...
Unlike religious morality, atheist "ethics" revolve around a haphazard and ever-changing collection of single-issue concerns such as "climate change",...
Entropy is also at work. Its effect is to gradually dismantle complex systems, i.e. erode them into simpler ones. Entropy is, however, a weak phenomen...
I wasn't discussing Tegmark's views there. The ToE is a theory of which the physical universe -- with its matter, energy, and other physical phenomena...
That sounds intriguing and intuitively correct, but unfortunately, also difficult to verify, because these nonstandard numbers are infinite cardinalit...
Every sentence that is provable in a theory is true in every of its models. The physical universe is a model of the ToE. A true fact in the physical u...
The real, physical universe is not an abstract, Platonic world which can verbatim serve as a model for a mathematical theory. In mathematics, objects ...
At the core of every system, you will find unexplained starting points. If you do not "see" that, then you do not understand what a system is. That is...
In the physical world, you can have simple objects of which their simple, disconnected state is much more probable than when they collectively form a ...
If the practice of adopting system-wide premises is that stupid, then what exactly supports the fourteen axioms of propositional logic or the nine axi...
I understand Tegmark idea of "Ultimate Ensemble theory of everything" (UE-ToE) as being a fully-fledged "theory of everything". I think that Tegmark r...
If you read the Sermon on the Mount, Matthew 5:17, it says: 17 “Do not think that I have come to abolish the Law or the Prophets; I have not come to a...
This is the case only in societies infected with the romantic-love disease and with too much easy money floating around. Elsewhere, these things are a...
Most people eat breakfast in the morning, but is it "sheepdom"? Lots of people enjoy playing or watching tennis, but is that "sheepdom"? Kierkegaard m...
We do not need to have a copy of the ToE to actually know quite a few things about it -- even without reconciling QM with GR. As a theory, i.e. an axi...
I may not completely agree with Tegmark's "Ultimate Ensemble theory of everything" (ToE) but if you treat the unknown ToE like a blackbox, there are s...
Max Tegmark has made an interesting attempt at modeling the "Ultimate Ensemble theory of everything" (ToE): ... whose only postulate is that "all stru...
The (ToE) Theory of Everything cannot calculate what we will be doing, because we have free will. The idea is rather that God can skip ahead and see w...
Concerning "G is provable (in that model)", it should be phrased as "G is provable (in the theory of which M is a model)". Sentences are true or false...
This problem occurs in natural language, because natural language tries to establish correspondence with the real, physical world. This problem does n...
We may assume the existence of responsibility, guilt, and blame, and the subtle differences between them, but we do not seem to have a deeper explanat...
If free will does not exist, then an individual is not responsible for what he does. That would mean that there is no need for a legal system to judge...
Why would any of that necessarily follow from your ramblings on Einstein and/or Hawking? Do you really believe that your simplistic view on their work...
Life is inherently violent. Inter-species violence is necessary for predators to feed off prey and to remove competition for prey from one's territory...
Well, everything that is provable about one universe in the theory will also be provable about the other universe. For example, if it is provable from...
A herd, a troop, or a gang are collective defence mechanisms. A single buffalo cannot fend off a pride of lions, but a herd surely can. Before the dis...
Yes, and you actually expressed it more clearly than me. I have a lot of trouble saying this succinctly, and I rarely feel that the idea came across c...
These rules did not have to exist before. If you see a model M, then you can argue that they satisfy a theory T. Fine, but now you also see that there...
Well, in normal English, yes. In model theory, no. In model theory, a theory T is a set of rules, while a model M is a set of values, i.e. an "interpr...
Yes, there is a problem there. In a nonstandard model it would say that G is provable, while it isn't. Wikipedia says the following about that problem...
No, provability means: true (or false) in ALL models. The lack of provability in theory T is caused by the existence of a mixture of true and false in...
Adding insult to injury, the politicians even collect taxes for that public-school depravity. I don't want to use it and I don't want to pay for it. T...
I only transit in Thailand when flying relatively far, and not even always, because Malaysia and Singapore are also large hubs. Talk to people in thes...
I reject both alt-right and radical left. Neither view reflects that I believe in the primacy of religious law. Furthermore, neither view is a documen...
My bingo is not necessarily "alt-right", but your criticism is certainly classified as "left": Liberal and left-leaning observers have found themselve...
These "anti-natalists" are incredibly short-sighted. When they will be old and retired, the only reason why they would not starve to death, is because...
No, ~G would still not be provable, because to that effect G needs to be false in ALL models. Provability of G means: G is true in ALL models Provabil...
IQ strongly correlates with the number of years of public-school indoctrination camp. It does not necessarily correlate with anything else. It is ther...
A model cannot be inconsistent. Only a theory could be. A model in PA is a carbon copy of the natural numbers. It is just a structure, which is a set,...
Life is a system. In that system it works exactly the other way around as you think. If you do not want children, and I want them, then your views wil...
There is a complicating twist to this. A theory such as PA can have more than one model. Say that a theory has five models. A sentence could be true i...
I am opposed to emotional judgments in law. Religious people trust their scriptures. Therefore, this is not a problem. The system verifies if a partic...
If it accomplishes that already, i.e. making the victim's family feel better, it would at least accomplish something. Diyya (victim compensation) (or ...
It will be necessary to encode the text in formal language. The following example: All men are mortals. Socrates is a man. Therefore, Socrates is a mo...
A single-concern argument is not the same as a complete moral system. Outside the context of a complete system, it is easy, peasy to argue whatever yo...
Well, yeah. Immanuel Kant already pointed out at length in his "Critique of Pure Reason" that science is not pure reason. On the contrary, science see...
Comments