Economics: Our findings are just as rigorous as these other sciences we swear!
post
Physics: oh, and if you look close enough, it's actually all probability too.
Engineering: We only care if it works, even if it breaks math/physics/chemistry/biology.
fucking computer science is going from on par with mathematics to worse than biology
"why do you guys do it that way"
"Look because if we don't sacrifice the goat on Thursday the code breaks, idk what to tell you"
turns out the thursday goat service brings in Dianne from networking who remembers she needs to reboot a apecific device weekly, but its not documented anywhere. When Dianne doesn't do this everyone freaks out and grabs another goat to sacririce which brings her back because who is she to say no to some good goat, and the cycle is continued and reinforced
Economics: the law is true as long as people believe it's true.
Kind of like fairies, when you think about it
Meanwhile the mathematicians who got a bit too close Philosophy are still arguing about which logic to use and if a proof by contradiction is even a proof at all.
Exactly.
HERE'S A THEOREM: IF IT'S PROVEN, IT'S TRUE EVERYWHERE, FOREVER
But at the same time, even if it's true everywhere forever, it might still not be provable, because Gödel.
Worse: If the chosen axioms are contradictory, then the theorem is effectively worthless.
And it is impossible to know whether axioms are consistent. You can only prove that they are not.
even if it’s true everywhere forever, it might still not be provable, because Gödel.
No. Gödel's completeness theorem says that if something is true in every model of a (first-order) theory, it must be provable. Gödel's incompleteness theorem says that for every sufficiently powerful theory, there exists statements that are true sometimes, and these can't be provable.
The key word is "everywhere".
But that's math. And its proof is math. And that proof is true everywhere forever.
I see philosophy as a place to make nonrigorous arguments. Eventually, other fields advance enough to do away with many philosophical arguments, like whether matter is infinitely divisible or whether the physical brain or some metaphysical spirit determines our actions.
Since this is a question that math hasn't advanced enough to answer, we can have a philosophical argument about whether other fields will eventually advance enough to get rid of all philosophical arguments.
I see philosophy as a place to make nonrigorous arguments.
Wait do you think Bertrand Russell and Alan Turing and Kurt Gödel weren't making philosophical arguments?
They are clearly mathematical. Starting with definitions and axioms and deriving results from there using mathematical statements.
They are clearly mathematical.
Sure. But they're also philosophical. The categories aren't mutually exclusive. Basic set theory (which is both mathematics and philosophy).
They all debated the question what being mathematical means there whole lives.
And we determined that the resulting incompleteness proofs are valid mathematical proofs whose logical correctness has been verified by computer. https://formalizedformallogic.github.io/Catalogue/Arithmetic/G___del___s-First-Incompleteness-Theorem/#goedel-1
They already knew that. You're treading an old worn out logical positivist path, that was inspired by Wittgenstein who worked closely with Russell (both mathematicians and philosophers) and he later saw his error, rejected his positivist followers and explained how truth is not a correspondence to facts, rather meaning is derived from use in language. This applies to all languages, formal and informal, including math and logic.
I see philosophy as a place to make nonrigorous arguments.
It's the other way around: math is where you just ignore questions about what makes sense, what knowledge is, what truth is, what a proof is, how scientific consensus is reached, what the scientific method should be, and so on. Instead, you just handwave and assume it will all work out somehow.
Philosophy of mathematics is were these questions are treated rigorously.
Of course, serious mathematicians are often philosophers at the same time.
You're just covering my third paragraph. Yes, everybody is a philosopher because we don't have the tools to do away with philosophical arguments entirely yet.
Once a mathematical proof has been verified by computer, there is no arguing that it is wrong. The definitions and axioms directly lead to the proved result. There is no such thing as verifying a philosophical argument, so we develop tools to lift philosophical arguments into more rigorous systems. As I've shown earlier, and as another commenter added to with incompleteness, this is a common pattern in the history of philosophy.
I explicitly refer to your second paragraph.
Yes, you absolutely can argue computer verified proofs. They are very likely to be true (same as truth in biology or sociology: a social construct), but to be certain, you would need to solve the halting problem to proof the program and it's compiler, which is impossible. Proofing incompleteness with computers isn't relevant, because it wasn't in question and it doesn't do away with it's epistemological implications.
It is not necessary to solve the halting problem to show that a particular lean proof is correct.
Lean runs on C++. C++ is a turning complete, compiled language. It and it's compiler are subject to the halting problem.
The fact that C++ is Turing complete does not prevent it from computing that 1+1=2. Similarly, the fact that C++ is Turing complete does not prevent programs created from it from verifying the proofs that they have verified. The proof of the halting problem (and incompleteness proofs based on the halting problem) itself halts. https://leanprover-community.github.io/mathlib_docs/computability/halting.html
It's not about those specific proofs. You're claiming, that every possible proof stated in lean will always halt. Lean tries to evade the halting problem best as possible, by requiring functions to terminate before it runs a proof. But it's not able to determine for every lean program it halts or not. That would solve the halting problem. Furthermore, the kernel still relies on CPU, memory and OS behavior to be bug free. Can you be sure enough in practice, yeah probably. But you're claiming absolute metaphysical certainty that abolishes the need for philosophy and sorry, but no software will ever achieve that.
It's not about those specific proofs.
It certainly is about those specific proofs and anything that has been rigorously proven in Lean. We're discussing techniques that show something is correct forever, and those proofs show that something is correct forever. Philosophical arguments don't even show that something is correct today. This is why the examples I gave earlier are now not explained by philosophy but by other systems. Once the tooling exists to lift a discussion out of philosophy, that is the end of philosophical debate for that topic.
Furthermore, the kernel still relies on CPU, memory and OS behavior to be bug free.
Only to a point, just like human language proofs require the reviewers brains to be bug free to a point. The repeated verification makes proofs as correct as anything can get.
just like human language proofs require the reviewers brains to be bug free to a point. The repeated verification makes proofs as correct as anything can get.
Exactly, I'm glad you understand. There's no epistemological certainty in math, just like in normal language. We have to make do with being pretty certain, as good as it gets. I like lean for it's intended purpose: advancing math. No one involved in lean is seriously claiming it produces some kind of religious absolute certainty. Neither is anyone trying to replace philosophy.
Math can't elevate anything above philosophy, because in a sense, it is part of philosophy, one of the parts using specialized language, specifically the part that is concerned with tautologies.
Have you clicked on the links to the philosophy wiki I provided? Maybe read about what a brilliant mathematician and philosopher has written on the philosophy of mathematics to convince yourself, that philosophy of mathematics is valuable and necessary (wether you agree with his specific point of view or not). You're already engaging in philosophical debate yourself. Your claims about the nature of philosophical arguments and mathematical proofs are themselves philosophical in nature.
Also, though you haven't clearly articulated your philosophical position, it seems to be close to the one of the famous Vienna Circle , which was inspired by Wittgenstein, but later rejected by him. It's generally agreed today, that their project of logical empiricism has failed. You can find the critiques of the various points in the article above.
It's generally agreed
That's my point. Mathematical proofs aren't generally agreed. They are agreed by everyone to logically follow from the definitions and axioms started with. Every single statement in a mathematical proof evaluates to true or false, and if you don't believe a mathematical proof, you can directly point to a statement that is false. Philosophical arguments are "generally agreed" upon until the tools to take them out of philosophy are developed, and then the philosophical arguments are discarded entirely.
Your same argument that mathematics can be discussed under philosophy can be used to argue that mathematics can be discussed under the framework of wild untethered speculation. Neither one is a convincing argument that philosophy or wild untethered speculation is useful.
This is why ethics has failed. It has been built on the unstable foundation of philosophy instead of on the solid foundation of mathematics.
Mathematical proofs aren't generally agreed.
Yes, they are. Have you seen the controversies around many recent proofs? Proofs are getting so long and topics so specialized, that simply just reading them takes for ever. Some important ones have only been checked by one or two people. Some have been out for years and are still controversial, because no one claims to have some the immense work to actually checked them. That's one of the reasons why proof assistants are used in the first place. They help, but they come with their own problems and challenges.
This is why ethics has failed. It has been built on the unstable foundation of philosophy instead of on the solid foundation of mathematics.
This is such a very old idea and you're not the first one to have it. Just try it yourself as an exercise. Is like to see how you get an ought from an is with pure math. Every one who tried to build ethics on math only failed. Please, just google it or read some of the links I shared. Philosophers are totally familiar with very advanced math and use it. Again read some articles on like set theory or quantum mechanics on plato.stanford.edu to verify yourself. It's already being used and always has. Even the antique philosophers were mathematicians. They invented logic and geometry. Every philosophy student through antiquity and the middle ages up to the Renaissance was forced to learn them before getting to the more advanced topics.
No matter how smart you are, other smart people probably had very similar ideas before you, tried to formalize them, got challenged, responded, tried again and so on. The history of their work is the history of philosophy. Trying to do better without even reading any of it would fit the definition of being naive.
And again, the history of philosophy is replacing philosophical arguments with better tools. Your link just shows sloppy thinking from both Hume and his critics.
If a mathematical proof hasn't been verified, it isn't accepted. For a proof that uses lots of new nontrivial machinery, the mathematician is expected to give talks to motivate that machinery and answer questions from other mathematicians. Or they can just build their proof in Lean from already well understood axioms.
What do you actually think is philosophy and what do you propose instead? How do you know your "tools" are better? Better by which criteria? Why those and not others? Even just attempting to answer any of these questions is doing philosophy. You can't escape it. Framing philosophical questions in the language of say, set theory, like Russel did, dosn't answer them. It's just using another language. The Vienna Circle thought (inspired by Wittgenstein) that using a formal language would make the answers perfectly clear. And the one who refuted them, proofed them wrong, was no other then the one they admired the most, Wittgenstein himself. No one will take your ideas seriously, if you don't engage with this history first. I'm not saying it's pointless or stupid, it might well be worthwhile. You just have to do it first or end up embarrassingly chasing around the first idea that pops into your head. Like "I feel sure about my answers in a math test and unsure about my essay in philosophy class, that's why math is the best and philosophy is stupid" this is the infantile and emotional level your understanding of both philosophy and math is at currently. Or maybe it isn't, but it sure seems this way, since you haven't clearly articulated your positions, nor made any attempt to formulate an argument for them. Not using normal language and not using mathy language.
Better by the only criteria that matters. Once something is proved, everybody will agree to it given enough time to examine and question the proof. Once someone makes a mathematical proof, the philosophical arguments are thrown on the trash heap. As you mentioned, Wittgenstein threw his earlier philosophical arguments on the trash heap. Given a few more years, he would have thrown his latest philosophical arguments on the trash heap as well.
I think saying that a theorem is true presumes the axioms from which it was proven and so the entire system is "true everywhere forever".
I often find it helpful to think of chess as my axiomatic system. When we say the king is in checkmate, it presumes that we accept all the underlying rules of chess. And these pieces that theoretically form a checkmate will always do so forever... Assuming the usual rules of chess, assuming they're unchanging, etc.
When you put things in terms of chess, these "deep" statements about "math" often become banal. And it works for any game that's a "formal system" (eg. most board games).
Ehh...
Gödel basically showed we can never know which "mathematics" is the "correct one".
"Proven true assuming my axioms are true" is closer to reality.
I'm a chemist, I just gave a class to students today. The main topic of the whole lesson was this: we have all these theories and methodologies, we are not going to study how they work and how to use them, let's discuss now all the limitations they have and when they do not work.
Former chemistry student here. In chemistry, every single thing you ever do gets multiplied by a ridiculously big number. A few drops of water has 6.02*10^23 molecules in it. So even the tiniest chemical reactions are massive exercises in parallel processing, and measuring in human-scale units means you might miss by a few hexillion in either direction.
Isn't it amazing internal combustion engines...ever work?
Economics. You forgot Economics. Heres a bunch of rules.
Let's Assume you are an Economist. Now if you first overestimate and then underestimate, on average, you are correct in your estimates, Ceteris Paribas .
Economics: Figure out what rich people want to hear and get funded forever.
As an economics student, I tend to disagree.
Economist are themselves Economic Agents. Their mind, by nature of market, is often split between what they understand to be correct analysis versus what their pay master wants. Add to it competition, and we've two persons either who sees but cannot talk, or who talks but is blindfolded. That's shit, but that's how things are.
Behavior analysis: we don't even care what species you are.
Geology: laughs in multiple working hypotheses.
Psychology furiously staring from the corner but afraid to speak lest it be made to sit at the folding table with Astrology and Tarot readings.
Psychiatry in the front of the room covered in blood and sitting on a pile of cash.
Quantum Mechanics has entered the chat
Surprisingly that is a controversial view. Most physicists insist QM has nothing to do with probability! But then why does it only give you probabilistic predictions? Ye old measurement problem, an entirely fabricated problem because physicists cannot accept that a theory that gives you probabilities is obviously a probabilistic theory.
The wavestate is entirely deterministic, and we don't fully understand where the probabilistic measurement happens. The Copenhagen intrpretation makes it probabilistic but is not proven.
(even many worlds doesn't explain why we ourselves only see one macroscopic section of the wavefunction)
In any statistical theory, the statistical distribution, which is typically represented by a vector that is a superposition of basis states, evolves deterministcally. That is just a feature of statistics generally. But no one in the right mind would interpret the deterministic evolution of the statistical state as a physical object deterministically evolving in the real world. Yet, when it comes to QM, people insist we must change how we interpret statistics, yet nobody can give a good argument as to why.
We only "don't fully understand where the probabilistic measurement happens" if you deny it is probabilistic to begin with. If you just start with the assumption that it is a statistical theory then there is no issue. You just interpret it like you interpret any old statistical theory. There is no invisible "probability waves." The quantum state is an epistemic state, based on the observer's knowledge, their "best guess," of a system that is in a definite state in the real world, but they cannot know it because it evolves randomly. Their measurement of that state just reveals what was already there. No "collapse" happens.
The paradox where we "don't know" what happens at measurement only arises if you deny this. If you insist that the probability distribution is somehow a physical object. If you do so, then, yes, we "don't know" how this infinite-dimensional physical object which doesn't even exist anywhere in physical space can possibly translate itself to the definite values that we observe when we look. Neither Copenhagen nor Many Worlds have a coherent and logically consistent answer to the question.
But there is no good reason to believe the claim to begin with that the statistical distribution is a physical feature of the world. The fact that the statistical distribution evolves deterministically is, again, a feature of statistics generally. This is also true of classical statistical models. The probability vector for a classical probabilistic computer is mathematically described as evolving deterministically throughout an algorithm, but no sane person takes that to mean that the bits in the computer's memory don't exist when you aren't looking at them an infinite-dimensional object that doesn't exist anywhere in physical space is somehow evolving through the computer.
Indeed, the quantum state is entirely decomposable into a probability distribution. Complex numbers aren't magic, they always just represent something with two degrees of freedom, so we can always decompose it into two real-valued terms and ask what those two degrees of freedom represent. If you decompose the quantum state into polar form, you find that one of the degrees of freedom is just a probability vector, the same you'd see in classical statistics. The other is a phase vector.
The phase vector seems mysterious until you write down time evolution rules for the probability vector in quantum systems as well as the phase vector. The rules, of course, take into account the previous values and the definition of the operator that is being applied to them. You then just have to recursively substitute in the phase vector's evolution rule into the probability vector's. You then find that the phase vector disappears, because it decomposes into a function over the system's history, i.e. a function over all operators and probability vectors at all previous time intervals going back to a division event. The phase therefore is just a sufficient statistic over the system's history and is not a physical object, as it can be defined in terms of the system's statistical history.
That is to say, without modifying it in any way, quantum mechanics is mathematically equivalent to a statistical theory with history dependence. The Harvard physicist Jacob Barandes also wrote a proof of this fact that you can read here. The history dependence does make it behave in ways that are bit counterintuitive, as it inherently implies a non-spatiotemporal aspect to how the statistics evolve, as well as interference effects due to interference in its history, but they are still just statistics all the same. You don't need anything but the definition of the operators and the probability distributions to compute the evolution of a quantum circuit. A quantum state is not even necessary, it is just convenient.
If you just accept that it is statistics and move on, there is no "measurement problem." There would be no claim that the particles do not have definite states in the real world, only that we cannot know them because our model is not a deterministic model but a statistical model. If we go measure a particle's position and find it to be at a particular location, the explanation for why we find it at that location is just because that's where it was before we went to measure it. There is only a "measurement problem" if you claim the particle was not there before you looked, then you have difficulty explaining how it got there when you looked.
But no one has presented a compelling argument in the scientific literature that we should deny that it is there before we look. We cannot know what its value is before we look as its dynamics are (as far as we know) random, but that is a very different claim than saying it really isn't there until we look. This idea that the particles aren't there until we look has, in my view, been largely ruled out in the academic literature, and should be treated as an outdated view like believing in the Rutherford model of the atom. Yet, people still insist on clinging to it.
They pretend like Copenhagen and Many Worlds are logically consistent by writing enormous sea of papers upon papers upon papers, where it only seems "consistent" because it becomes so complicated that hardly anyone even bothers to follow along with it anymore, but if you actually go through the arguments with a fine-tooth comb, you can always show them to be inconsistent and circular. There is only a vague aura of logical and mathematical consistency on the surface. The more you actually engage with both the mathematics and read the academic literature on quantum foundations, the more clear it becomes how incoherent and contrived attempts to make Copenhagen and Many Worlds consistent actually are, and how no one in the literature has actually achieved it, even though many falsely pretend they have done so.
I kinda boil it down to discreet energy packets distributed in an area as field values and the collapse occurs when two discreet packets interact
What if two packets interact with each other? If you claim a collapse occurs then entanglement could never happen, and so such a viewpoint is logically ruled out. If you say a collapse does not occur but only occurs if you introduce a measurement device, then this is vague without rigorously defining what a measurement device is, but providing any additional physical definition with then introduce something into the dynamics which is not there in orthodox quantum mechanics, so you've not moved into a new theory and are no longer talking about textbook QM.
I'm pretty sure this goes against the properties proven of entanglement (Bell test) and how far entanglement can propagate, but I don't know enough about quantum mechanics to explain why this explanation is incompatible with entanglement.
However, I don't currently see how this at all explains computing with superpositions; if it's just statistics a superposition can never exist, so entanglement doesn't exist; so quantum algorithms wouldn't be possible, but we know they are.
I’m pretty sure this goes against the properties proven of entanglement (Bell test) and how far entanglement can propagate, but I don’t know enough about quantum mechanics to explain why this explanation is incompatible with entanglement.
If you don't know anything about the topic then maybe you shouldn't speak on it. Especially when claiming you have debunked peer reviewed papers from Harvard physicists like Jacob Barandes.
However, I don’t currently see how this at all explains computing with superpositions; if it’s just statistics a superposition can never exist
Superposition is a property of statistics. Even classical statics commonly represent the system's statistical state as a linear combination of basis states. That's just what a probability distribution is. If you take any courses in statistics, you will superimpose things all the time. This is a mathematical property.
so entanglement doesn’t exist; so quantum algorithms wouldn’t be possible, but we know they are.
Quantum advantage obviously comes from the phase of the quantum state. If you remove the phase from the quantum state then all you are left with is a probability distribution, and so there would be nothing to distinguish it from a classical statistical theory. But the phase is, again, a sufficient statistic over the system's history. The quantum advantage comes from the fact that you are ultimately operating with a much larger information space, since each instruction in the computer is a function over the whole algorithm's history back to the start of the quantum circuit, rather than just the current state of the computer's memory at that present moment.
since each instruction in the computer is a function over the whole algorithm's history back to the start of the quantum circuit, rather than just the current state of the computer's memory at that present moment.
How do you explain, without superposition, how a gate operating on single (entangled) qubits has access to the entire history of all qubits of the system?
Questions like these stem from the cancer that was the abandonment of "materialism" for "physicalism." Physicalism has rotted people's brains to believe that every law of nature needs an underlying "explanation" whereby the explanation is always some invisible entity that is impossible to observe under any possible circumstances but, like the hand of God, pilots the objects we can perceive in order to "explain" why they behave in that way, according to that law.
No, we do not need such an "explanation." It is perfectly logically consistent to just treat is as nomological. It is a law of nature that tells you how the particles behave. The law is itself the "explanation." There need not be any underlying invisible entities piloting the objects we perceive to "explain" why their behavior operates according to those natural laws. It is simply in their nature to do so.
The natural laws simply are a function of the historical state of the system. The explanation is the law. There is no deeper, invisible mechanism.
Well our current model of superposition is what lets us do predictions on qubits that have turned out to be correct; just seeing "history" would not let our current quantum algorithms be developed. That's the beauty of scientific theories; good ones are simple but let us predict and test new ideas. Superposition is wildly successful in that sense.
You are fallaciously conflating a mathematical model with your own personal metaphysical interpretation of what the model represents. You are presupposing that a purely mathematical description in terms of a superposition of basis states literally represents, in ontological reality, particles being in multiple states at once, and then when I say I disagree with that metaphysical accounting, you accuse me of denying the physics.
But I am not. I am denying your philosophical accounting of the physics. Nothing about a superposition of basis states implies that particles are in multiple states at once. Do not conflate a mathematical description (superposition) with a specific metaphysical ontology, and don't accuse others of being science deniers because they disagree with your metaphysics. I do not appreciate that at all.
We also use superposition of basis states in classical statistics as well, and no one in their right mind interprets that as the particle being in multiple states at once. The only thing that makes quantum theory different is that we also have to keep track of a phase, but the phase is mathematically decomposable into a function over its statistical history, and is thus merely a sufficient statistic over the particle's historical statistical trajectory. The whole theory is mathematically equivalent to a statistical theory with history dependence.
Logic isn't MAEth.
Butt MAEth is logic. Don't misunderstand my meaning.
This language is literally cognitive shit.
Archaeology rifles through the pockets of other disciplines and takes what it wants


top 99 comments