I use the term "predeterminism" instead of "determinism" because of the possible confusion with the term "deterministic system". A deterministic syste...
Predeterminism implies that the system's theory is complete. In that case, every true fact about the system can be derived from its theory. If this is...
incompatibilism implies that if predeterminism is true, free will doesn't exist There is a massive difference between predeterminism and deterministic...
It is a contorted example. It is accepted as proof, however, that no oracle can exist that can predict what choices programs will make. Even in a perf...
Thwarter is trivially easy to implement. On input of string "halt" it prints "loop forever" and on input "loop forever" it prints "halt". So, if the p...
You will never predict correctly what thwarter is going to do. When you put thwarter in that chaotic system, you suddenly have something freely making...
Computability may be deterministic but is fundamentally still unpredictable too. It is generally not possible to predict what a program will be doing ...
The existence of doctrinal differences does not mean that other religions are wholesale "false". There are also doctrinal differences between Catholic...
Yes, the oracle may perfectly well know that thwarter will do the opposite of what he predicts, but he has committed to his prediction already. It wil...
Just finished reading it. It is very informative. I must say, though, that it is heavily vested in logic connected to the arithmetical hierarchy. It i...
For the sake of keeping things predicable. If it is not predicable, we cannot implement it. Nothing will be actionable. So, we have no other option th...
The natural numbers are also a pure deterministic universe. Most of its truth, however, cannot be predicted by arithmetic theory. A pure deterministic...
I was using the constraint of incompatibilism to define free will: I am not doing this because I necessarily believe or disbelieve in incompatibilism ...
Imagine that you install an app on your phone that can tell you minute by minute what you will be doing at any point in the future along with all poss...
Not at all. If you were interested in the foundational crisis of mathematics and its metaphysics, you would be talking about that instead of talking a...
Eventually, I did end up telling him that I don't like conversing with him. I don't particularly like conversing with you either. You are just like hi...
Well, I successfully scripted it online to locate the roots of a polynomial. So, what exactly did I pretend? I used to have it installed locally, but ...
If alternative universes in the physical multiverse are structurally similar to nonstandard models/universes in the arithmetical multiverse, then alte...
The first part of the address of alternative universe is the infinite cardinal ? of its isomorphism class. Next, you may (or may not) need an infinite...
Actually, indirectly, it does. It is actually a requirement that the (unknown) theory of the physical universe cannot predict its end. If it could pre...
Replace x² by u and then solve the resulting quadratic polynomial in terms of u. This is not interesting. This is not math. This is procedural symbol ...
I avoid responding to you because your comments are replete with ad hominems. As I have already asked you in a previous remark, why don't you talk wit...
I avoid responding to you because your comments are replete with ad hominems. As I have already asked you in a previous remark, why don't you talk wit...
The number of models (universes) depends on the spectrum of the theory: The number of models is not necessarily countable, but according to Gitman, it...
It is. If the (unknown) theory of universe is not categorical, then the physical universe is part of a larger multiverse. Therefore, it is a mathemati...
According to Thoralf Skolem's construction, i.e. by injecting infinite cardinalities in the model's structure, which is a countable set of symbols, th...
Religion does not destroy anybody's freedom. Religion just reminds you of the fact that some forms of freedom are fake. If you do not want to keep the...
Aspirational beliefs are incredibly autosuggestive. For example, if you do not believe that there is hope, then there isn't. If an athlete does not be...
So, why do you want to discuss the matter? My starting point has always been this view ascribed to Nietzsche. I have never used this argument to "prov...
The following view is ascribed to Nietzsche: The absurdist philosophy also suggests that atheism leads to this result: I am not an atheist. I cannot i...
Would it work for anybody else? The problem of getting along with others is not new. It is the society-wide inability to deal with the problem that is...
The following paper makes the same connection between free will and Gödel: For free will to be possible in a particular universe, it is necessary that...
You are truly ignorant, aren't you? https://en.wikipedia.org/wiki/High-net-worth_individual It is a standard term in financial services. People in pri...
I am considered a ultra-high net worth individual. What about you? Vector calculus was not a subject in my degree. It is of absolutely no use in opera...
As believers in God and therefore in hope, we use a very simple -- largely auto-suggestive -- trick to address the issue: We simply hope that God will...
You fail to understand the discussion about non-standard models of arithmetic. Parts of model theory are my personal interest. It is my hobby. I am se...
Yes, he undoubtedly does that too, but I do not endorse these views. I consider these to be part of Nietzsche's personal rebellion against the absurd....
The argument is based on model theory. The original phrasing is probably even more impenetrable: (In this context, we can use "models" and "universes"...
As a European myself, I consider the Americans to be an obvious Anglo-Saxon offshoot. They undeniably share their pre-colonial history with the Britis...
If you compare both systems, i.e. religion versus atheism, you can still see different emerging properties. Nietzsche actually understood what the eme...
People who do not keep traditions in the West are rapidly dying out and being replaced by people who do keep traditions. Well, that is what they are c...
If a positivist hears an answer that he does not like, he will typically ignore it and just carry on. Hilbert may grudgingly have accepted proof but n...
Tradition reflects survivorship bias over centuries or even millennia. People who did not keep them, did not have any progeny, and disappeared in the ...
If the physical universe is completely predictable from its (unknown) theory, then there is no free will. If it isn't, then it means that there is mor...
Most mathematical truth is not explicable, even though we have its theory. Most physical truth isn't explicable either, even if we had its perfect the...
I am technically not a Chad. My looks are average (or even below). Not that it matters, because I am not a fan of casual sex. The place is already suf...
Well, since @"Vera Mont" desperately wants to "prove" things about me, it is undoubtedly preferable that I do not answer the question. By the way, I a...
Comments