They definitely know how to make customers happy, something EA never understood, but I’m old enough to remember when Valve used to be horrible 15 years ago. They’d sell you broken games with no return system. They’d straight up delete games out of your library with no recourse, amounting to outright theft. The EU rolled out regulations targeting Steam’s shady practices. They’ve been okay since.
Turing's machines are notdigital by their construction
I won’t argue with you, because some of what you wrote isn’t even wrong.
However, on the off chance that you actually care about what is true, I urge you to take a theoretical computer science course. Lectures from MIT and Carnegie Mellon are available on YouTube.
Stop watching podcasts with pseudo-intellectual media grifters and read the actual research literature by real philosophers and mathematicians on these otherwise arcane topics.
There can be no enumerable list of axioms for the true statements of mathematics. No computational procedure could exist to determine whether propositions are valid, provable, or even equivalent. And no matter how you formulate the number-theoretic axioms, a mathematician would always have insights (for instance, about whether a Diophantine equation has a solution) that are both clearly “true” and obviously unprovable. This holds true for all digital systems.
Here is what we don’t know for sure:
The metaphysical implications.
Your distinction between science and philosophy is incorrect. Science is inductive and abductive. It can’t “prove” things. It’s not deductive. Mathematics and philosophy can prove things.
Philosophy also determines the formal systems we use as a basis of reasoning, for instance, in science.
You will find what I said in any philosophy of mathematics textbook dealing with the subject. In fact, I am paraphrasing the Oxford logician Joel David Hamkins.
You’re welcome to also read Shapiro’s famous paper for a rephrasing. These results have been well understood for half a century, although because the implications are ultimately metaphysical and not mathematical, we can’t be sure of the wider consequences, if any.
Valve is a company that garnishes 30% of all video games sales. It doesn’t matter what their corporate structure is at that point. It could be two guys with buckets on their heads and they’d make bank.
You’re misunderstanding the implications of both the halting problem and Gödel’s first incompleteness theorem.
What Turing and Gödel independently proved is that a human observer can (theoretically) always have insights about mathematics and programming that are incomputable. That is, you cannot program or axiomatize or formalize or digitize everything that a mind can do. Period.
Analog computers are sufficiently different from digital systems to potentially emulate brain activity. But digital (discrete) methods are probably too constrained.
It is not presumptuous at all. Inference to the best explanation is how you know (almost) anything.
This table isn’t conscious.
This is my justified belief. No inferential claim is guaranteed and all objective claims are inferential (which is why scientific claims aren’t absolute).
That said, I have strong reasons to think that tables aren’t conscious. They might be, but I’m epistemically compelled to believe otherwise.
ChatGPT isn’t conscious.
Ditto. It would be irrational for me to believe otherwise given the strong evidence.
That you “don’t know for sure” is an implied disclaimer for every scientific claim.
If the evidence is ambiguous, we say so. Regarding ChatGPT, the evidence is unambiguous.
I am conscious.
This is a non-inferential claim that I know through direct contact with reality. It is a priori.
This is called the problem of other minds. Of course I can’t be certain about the consciousness of others. I can only be certain about my own.
We do have a way of measuring the correlates of consciousness. But we have no clue how to detect the presence of subjective experience using quantitative methods.
Philosophy departments (which is where any discovery on this front will originate) are heavily defunded. If you’re waiting for physicists or biologists to figure this out you’ll be waiting even longer.
Problem sets in college are done in LaTeX. Lots of python and R in STEM. Not to mention essays, watching lectures, and taking notes.