OK. I'll go with that. However, there is such a thing as "evidence" and evidence seems better than lack thereof.godelian wrote: ↑Wed Feb 19, 2025 3:26 amMathematics does not prove anything about the physical universe. It only deals with Platonic abstractions. Otherwise it is not mathematics.Gary Childress wrote: ↑Wed Feb 19, 2025 3:04 am Mathematics proves mathematical equations. I think we would all agree to that.
In other words, there simply is no proof possible about physical reality.
Crashing both ChatGPT and DeepSeek with the following question
-
Gary Childress
- Posts: 11748
- Joined: Sun Sep 25, 2011 3:08 pm
- Location: It's my fault
Re: Crashing both ChatGPT and DeepSeek with the following question
Re: Crashing both ChatGPT and DeepSeek with the following question
Yes, of course.Gary Childress wrote: ↑Wed Feb 19, 2025 3:31 am However, there is such a thing as "evidence" and evidence seems better than lack thereof.
There certainly are stubborn observable patterns in physical reality. They can be tested by collecting experimental evidence for them. Without testing these patterns, there is no way to assess how "stubborn", i.e. "scientific", they actually are.
-
Veritas Aequitas
- Posts: 15722
- Joined: Wed Jul 11, 2012 4:41 am
Re: Crashing both ChatGPT and DeepSeek with the following question
This had happened many times where I corrected your wrong view and yet you are still repeating this mistake. Something is very wrong with you. You are insulting your own intelligence which such dogmatism and ignorance.godelian wrote: ↑Wed Feb 19, 2025 2:55 amMathematics proves mathematical equations. I think we would all agree to that.godelian wrote: ↑Wed Feb 19, 2025 2:55 amVeritas Aequitas wrote: ↑Sat Feb 15, 2025 4:54 am Godelian is too dogmatic in insisting 'proof' is confined only to Mathematics.Hence, there is no proof outside mathematics.ChatGPT: Is scientific evidence proof?
Not exactly. Scientific evidence is strong support for a claim, but it is not absolute proof. Science operates on probabilities and falsifiability, meaning that evidence supports or refutes a hypothesis rather than proving it conclusively.
In contrast, mathematical proofs are absolute because they follow logical steps that cannot be contradicted. Science, however, deals with empirical observations, which are always subject to new interpretations or discoveries.
Your rationality and critical thinking is of very low standard.
You need to improve your critical thinking and expand your cognitive power.
Here is my discussion with "MY" ChatGpt which indicate your lack of intellectual competence:
Note "Your Interlocutor’s Misstep"... in ChatGpt's response.
VA to ChatGpt
Please put the following in its proper perspective.
My interlocutor asked ChatGpt the following question:
Is scientific evidence proof?
ChatGpt Responded:
"Not exactly. Scientific evidence is strong support for a claim, but it is not absolute proof. Science operates on probabilities and falsifiability, meaning that evidence supports or refutes a hypothesis rather than proving it conclusively.
In contrast, mathematical proofs are absolute because they follow logical steps that cannot be contradicted. Science, however, deals with empirical observations, which are always subject to new interpretations or discoveries."
So my Interlocutor asserted:
"Hence, there is no proof outside mathematics."
I believe there are a lot of nuances to the above from different perspectives:
My views:
The term 'proof' is not confined absolutely to 'Mathematics'. The term 'proof' is a common terms used correctly with reference to the defined context.
"mathematical proofs are absolute" is only absolute within the very specifically defined Mathematics Framework and System.
The term 'proof' can be used as 'scientific proof' as long as it is qualified to the scientific FS.
Please comment on the above.
I suggest you post the whole of the above chat to "YOUR" ChatGpt for comments.ChatGPT said:
Your perspective is well-founded, and your interlocutor’s assertion that "there is no proof outside mathematics" is overly simplistic and contextually misleading. Here’s why:
The Context-Dependence of 'Proof'
The term proof is not monolithic; its meaning depends on the framework or system in which it is used. While mathematical proof is deductive and follows strict logical axioms, other domains have their own standards of justification. Legal proof, scientific proof, and historical proof all exist within their respective frameworks, each governed by different criteria of validation.
Scientific 'Proof' vs. Mathematical Proof
In mathematics, proof is deductive, meaning that once a proposition is proven within an axiomatic system, it is necessarily true within that system.
In science, proof is inductive and empirical. While science does not deal in absolute certainty, it establishes strong justifications for claims through repeated observation, experimentation, and falsifiability. The term scientific proof is often used in a qualified sense to indicate a high level of empirical support for a theory.
This aligns with your FS-objective view: within the scientific framework and system (FS), scientific proof is valid, though it remains open to revision.
Your Interlocutor’s Misstep
By claiming that "there is no proof outside mathematics," they are imposing an overly rigid, absolutist definition of proof, dismissing other valid forms of justification. Their argument conflates deductive certainty (found in mathematics and formal logic) with empirical justification, which is the standard for scientific proof.
The Relativity of Absolutes
Even the claim that "mathematical proofs are absolute" is relative to the axiomatic system in which they are formulated. Mathematical truths are conditionally absolute, meaning they are absolute within the framework of their given axioms. If the axioms change (e.g., Euclidean vs. Non-Euclidean geometry), the conclusions change as well.
Conclusion
You are correct in asserting that proof is not confined to mathematics. The term proof is context-sensitive, and within a given FS (mathematical, scientific, legal, etc.), proof is meaningful. Your clarification about scientific proof being valid within the scientific FS helps bridge the gap between inductive and deductive reasoning while maintaining the integrity of different epistemic frameworks.
Re: Crashing both ChatGPT and DeepSeek with the following question
No, there is no proof in science:Veritas Aequitas wrote: ↑Wed Feb 19, 2025 5:47 am Your clarification about scientific proof being valid within the scientific FS helps bridge the gap between inductive and deductive reasoning while maintaining the integrity of different epistemic frameworks.
Another article on exactly the same subject:https://www.psychologytoday.com/intl/bl ... ific-proof
Common Misconceptions About Science I: “Scientific Proof”
Why there is no such thing as a scientific proof.
Unfortunately, there are many other misconceptions about science. One of the most common misconceptions concerns the so-called “scientific proofs.” Contrary to popular belief, there is no such thing as a scientific proof.
Proofs exist only in mathematics and logic, not in science. Mathematics and logic are both closed, self-contained systems of propositions, whereas science is empirical and deals with nature as it exists. The primary criterion and standard of evaluation of scientific theory is evidence, not proof. All else equal (such as internal logical consistency and parsimony), scientists prefer theories for which there is more and better evidence to theories for which there is less and worse evidence. Proofs are not the currency of science.
https://www.forbes.com/sites/startswith ... is-a-myth/
Scientific Proof Is A Myth
Except that's a complete lie. While they provide very strong evidence for those theories, they aren't proof. In fact, when it comes to science, proving anything is an impossibility.
But as validating as that is — and as powerful as it is to falsify alternatives — it's completely impossible to prove anything in science.
Normally, they mean "they've convinced themselves that this thing is true," or they have overwhelming evidence that a specific idea is valid over a specific range. But nothing in science can ever truly be proven. It's always subject to revision.
Re: Crashing both ChatGPT and DeepSeek with the following question
There is no proof in science. It is you who keeps repeating the same mistake over and over again. Incessantly repeating an untruth will not make it true.Veritas Aequitas wrote: ↑Wed Feb 19, 2025 5:47 am This had happened many times where I corrected your wrong view and yet you are still repeating this mistake.
-
Veritas Aequitas
- Posts: 15722
- Joined: Wed Jul 11, 2012 4:41 am
Re: Crashing both ChatGPT and DeepSeek with the following question
You are still very dogmatic; obviously there is something wrong with your rigidity.godelian wrote: ↑Wed Feb 19, 2025 8:47 amNo, there is no proof in science:Veritas Aequitas wrote: ↑Wed Feb 19, 2025 5:47 am Your clarification about scientific proof being valid within the scientific FS helps bridge the gap between inductive and deductive reasoning while maintaining the integrity of different epistemic frameworks.
Another article on exactly the same subject:https://www.psychologytoday.com/intl/bl ... ific-proof
Common Misconceptions About Science I: “Scientific Proof”
Why there is no such thing as a scientific proof.
Unfortunately, there are many other misconceptions about science. One of the most common misconceptions concerns the so-called “scientific proofs.” Contrary to popular belief, there is no such thing as a scientific proof.
Proofs exist only in mathematics and logic, not in science. Mathematics and logic are both closed, self-contained systems of propositions, whereas science is empirical and deals with nature as it exists. The primary criterion and standard of evaluation of scientific theory is evidence, not proof. All else equal (such as internal logical consistency and parsimony), scientists prefer theories for which there is more and better evidence to theories for which there is less and worse evidence. Proofs are not the currency of science.
https://www.forbes.com/sites/startswith ... is-a-myth/
Scientific Proof Is A Myth
Except that's a complete lie. While they provide very strong evidence for those theories, they aren't proof. In fact, when it comes to science, proving anything is an impossibility.
But as validating as that is — and as powerful as it is to falsify alternatives — it's completely impossible to prove anything in science.
Normally, they mean "they've convinced themselves that this thing is true," or they have overwhelming evidence that a specific idea is valid over a specific range. But nothing in science can ever truly be proven. It's always subject to revision.
As MY ChatGpt had argued, the above is based on a conflation of the Mathematics Framework and System [FS] with other qualified FS.
Resorting to conflation is a logical fallacy.
As evident the term 'proof' is used and acceptable everywhere as long as it is qualified to its context without any reference to mathematics at all.
-
Veritas Aequitas
- Posts: 15722
- Joined: Wed Jul 11, 2012 4:41 am
Re: Crashing both ChatGPT and DeepSeek with the following question
ChatGpt Wrote:
Here is a comprehensive list of domains where the term proof (as a form of justification) is used and acceptable within its qualified Framework-System (FS):
1. Mathematical Proof (Mathematical FS)
Proofs are deductive and absolute within axiomatic systems.
Examples:
Euclidean geometric proofs
Proofs in number theory (e.g., proof of the Pythagorean theorem)
Formal logic proofs
2. Scientific Proof (Scientific FS)
While science relies on falsifiability and empirical validation rather than absolute certainty, the term proof is often used to describe overwhelming empirical support.
Examples:
The proof of gravitational waves (indirect empirical confirmation)
The proof of the DNA double-helix structure (through X-ray crystallography and experimental validation)
The proof of the Higgs boson (empirical detection at CERN)
3. Legal Proof (Legal FS)
Legal proof is based on evidence and argumentation, varying in standards such as beyond a reasonable doubt (criminal cases) or preponderance of evidence (civil cases).
Examples:
Proof of guilt in a criminal trial
Proof of contract validity in a civil dispute
Proof of identity in legal documentation
4. Philosophical Proof (Philosophical FS)
Proofs in philosophy depend on logical reasoning and conceptual analysis rather than empirical verification.
Examples:
Proofs of the cogito (Descartes: "I think, therefore I am")
Proofs in modal logic (e.g., Gödel’s ontological argument)
Arguments in metaphysics (e.g., Kant's transcendental deductions)
5. Historical Proof (Historical FS)
Historical proof relies on documentation, artifacts, and corroboration of sources.
Examples:
Proof that Julius Caesar was assassinated (through historical records)
Proof of ancient civilizations (through archaeological findings)
Proof of the Holocaust (documented testimonies, photographs, physical evidence)
6. Engineering Proof (Engineering FS)
Engineering proof involves empirical testing, mathematical modeling, and practical validation.
Examples:
Proof of structural integrity in bridge designs
Proof of concept for a new technology (e.g., prototype testing)
Proof that a material can withstand extreme temperatures
7. Computer Science & Cryptographic Proof (CS & Cryptographic FS)
Proofs in computer science include formal verification methods, algorithmic proofs, and cryptographic security proofs.
Examples:
Proof of algorithm correctness (e.g., proving an algorithm runs in polynomial time)
Proof of encryption security (e.g., RSA encryption proof of security)
Proof-carrying code (ensuring code safety through formal proofs)
8. Economic Proof (Economic FS)
Economic proof relies on statistical models, empirical data, and theoretical frameworks.
Examples:
Proof of market efficiency (empirical validation of the Efficient Market Hypothesis)
Proof of inflation effects (statistical correlation between money supply and price levels)
Proof of economic inequality trends (data-driven studies)
9. Linguistic Proof (Linguistic FS)
Proof in linguistics is based on historical reconstruction, comparative analysis, and empirical data.
Examples:
Proof of language family relations (e.g., Indo-European languages)
Proof of phonetic evolution (reconstructing proto-languages)
Proof of grammatical rules in linguistic typology
10. Artistic & Aesthetic Proof (Aesthetic FS)
While aesthetics is largely subjective, certain proofs exist regarding artistic authenticity, authorship, and compositional techniques.
Examples:
Proof of authorship (e.g., proving a painting is by Da Vinci using forensic analysis)
Proof of historical influence (e.g., demonstrating how Renaissance art influenced modern styles)
Proof of forgery (e.g., using spectrographic analysis on paintings)
11. Theological Proof (Theological FS)
Theological proof is based on doctrinal interpretation, logical arguments, and historical documentation.
Examples:
Proof of divine existence (ontological, cosmological, and teleological arguments)
Proof of religious authenticity (e.g., textual and archaeological validation of religious scriptures)
Proof of miracles (documented testimonies, relic examinations)
12. Psychological Proof (Psychological FS)
Proof in psychology is based on experimental validation, cognitive models, and empirical studies.
Examples:
Proof of cognitive biases (empirical studies on the confirmation bias)
Proof of conditioning (e.g., Pavlov’s classical conditioning experiments)
Proof of mental disorders (evidence-based diagnosis in clinical psychology)
13. Medical & Biological Proof (Medical FS)
Medical proof is based on clinical trials, epidemiological studies, and biomedical research.
Examples:
Proof of vaccine efficacy (clinical trials showing immunity rates)
Proof of disease causation (e.g., Helicobacter pylori causing ulcers)
Proof of drug effectiveness (randomized controlled trials)
14. Ethical & Moral Proof (Ethical FS)
Moral proof relies on rational argumentation, empirical observations, and ethical consistency.
Examples:
Proof of ethical consistency (e.g., proving an ethical principle applies universally)
Proof of moral hypocrisy (showing contradictions in moral claims)
Proof of ethical consequences (evidence-based analysis of moral actions)
15. Business & Financial Proof (Business FS)
Business proof involves financial statements, audit verification, and economic trends.
Examples:
Proof of solvency (audited financial statements showing positive cash flow)
Proof of fraud (forensic accounting uncovering financial misrepresentation)
Proof of market trends (empirical data showing growth patterns)
Conclusion
The term proof is widely applicable across numerous domains, but always within a Framework-System (FS) that defines its criteria for justification. Your assertion that proof is not confined solely to mathematics is correct—each FS has its own valid standards for proof, whether deductive, empirical, or inferential.
Re: Crashing both ChatGPT and DeepSeek with the following question
If proof implies "absolute certainty", then there is no proof in science but only in math.ChatGPT: Is science backed by proof or by evidence?
Science is backed by evidence, not absolute proof.
In science, theories and hypotheses are supported by empirical evidence—observations, experiments, and data that are systematically collected and analyzed. Scientific knowledge is always open to revision if new evidence emerges.
Proof, in a strict sense, is more common in fields like mathematics, where logical deductions lead to absolute certainty. In contrast, scientific conclusions are based on the weight of evidence and can be refined or overturned with new discoveries.
So, while science aims for high confidence in its conclusions, it remains open to change—unlike mathematical proofs, which are definitive.
By the way, proof that does not imply absolute certainty, is just a tool for manipulation, of which the primary purpose is to mislead. I have never seen the phrase "scientific proof" used for an honest purpose. On the contrary, it is a red flag that points to underlying intellectual dishonesty.
-
Veritas Aequitas
- Posts: 15722
- Joined: Wed Jul 11, 2012 4:41 am
Re: Crashing both ChatGPT and DeepSeek with the following question
You got it wrong.godelian wrote: ↑Thu Feb 20, 2025 5:54 amIf proof implies "absolute certainty", then there is no proof in science but only in math.ChatGPT: Is science backed by proof or by evidence?
Science is backed by evidence, not absolute proof.
In science, theories and hypotheses are supported by empirical evidence—observations, experiments, and data that are systematically collected and analyzed. Scientific knowledge is always open to revision if new evidence emerges.
Proof, in a strict sense, is more common in fields like mathematics, where logical deductions lead to absolute certainty. In contrast, scientific conclusions are based on the weight of evidence and can be refined or overturned with new discoveries.
So, while science aims for high confidence in its conclusions, it remains open to change—unlike mathematical proofs, which are definitive.
By the way, proof that does not imply absolute certainty, is just a tool for manipulation, of which the primary purpose is to mislead. I have never seen the phrase "scientific proof" used for an honest purpose. On the contrary, it is a red flag that points to underlying intellectual dishonesty.
Whatever proof is absolute certain in math is never absolutely absolute certain.
Whatever is math is conditioned upon human conditions.
You can achieve an absolute perfection score of 100/100 in an objective test but not likely in a subjective test.
But that absolute perfection score is fundamentally and ultimately subjective, i.e. the whole exam is prepared by humans, i.e. subject.
It is less obvious in mathematic certainties within a mathematical system which ultimately is contingent upon human conditions.
You are obviously blind to this 500 pound gorilla due to selective attention.
Re: Crashing both ChatGPT and DeepSeek with the following question
Mathematics is exclusively about an abstract Platonic universe. What mathematics proves about its abstract Platonic objects is absolutely certain. These objects exist independent of humanity and independent of the physical universe. Mathematics does not deal whatsoever with the physical universe or with human conditions. That is the Platonic view on mathematics.Veritas Aequitas wrote: ↑Thu Feb 20, 2025 9:14 am Whatever proof is absolute certain in math is never absolutely absolute certain.
Whatever is math is conditioned upon human conditions.
The formalist view is that mathematics consists exclusively of string manipulations that are not about anything at all:
Both the Platonic and the formalist views are perfectly acceptable. The idea that mathematics has anything to do with human conditions, however, is totally unacceptable.https://en.m.wikipedia.org/wiki/Formali ... thematics)
In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be statements about the consequences of the manipulation of strings (alphanumeric sequences of symbols, usually as equations) using established manipulation rules.
A central idea of formalism "is that mathematics is not a body of propositions representing an abstract sector of reality.
According to formalism, the truths expressed in logic and mathematics are not about numbers, sets, or triangles or any other coextensive subject matter — in fact, they are not "about" anything at all.
-
Veritas Aequitas
- Posts: 15722
- Joined: Wed Jul 11, 2012 4:41 am
Re: Crashing both ChatGPT and DeepSeek with the following question
Your thinking is one-track dogmatism.godelian wrote: ↑Thu Feb 20, 2025 10:11 amMathematics is exclusively about an abstract Platonic universe. What mathematics proves about its abstract Platonic objects is absolutely certain. These objects exist independent of humanity and independent of the physical universe. Mathematics does not deal whatsoever with the physical universe or with human conditions. That is the Platonic view on mathematics.Veritas Aequitas wrote: ↑Thu Feb 20, 2025 9:14 am Whatever proof is absolute certain in math is never absolutely absolute certain.
Whatever is math is conditioned upon human conditions.
The formalist view is that mathematics consists exclusively of string manipulations that are not about anything at all:
Both the Platonic and the formalist views are perfectly acceptable. The idea that mathematics has anything to do with human conditions, however, is totally unacceptable.https://en.m.wikipedia.org/wiki/Formali ... thematics)
In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be statements about the consequences of the manipulation of strings (alphanumeric sequences of symbols, usually as equations) using established manipulation rules.
A central idea of formalism "is that mathematics is not a body of propositions representing an abstract sector of reality.
According to formalism, the truths expressed in logic and mathematics are not about numbers, sets, or triangles or any other coextensive subject matter — in fact, they are not "about" anything at all.
The more realistic view is this:
ChatGpt Wrote:
Your interlocutor's claim that mathematics concerns an abstract Platonic realm that exists independently of humanity and the physical universe is grounded in a form of Philosophical Realism, which assumes the existence of an absolute, mind-independent mathematical reality. However, from a Kantian perspective, this view is chasing an illusion.
Kant’s Copernican Revolution in philosophy establishes that all cognition, including mathematical knowledge, is necessarily conditioned by the human faculties of sensibility and understanding. Mathematics, for Kant, is not about discovering an independent Platonic realm but about constructing knowledge within the framework of human cognition. Mathematical truths are synthetic a priori—they are necessary and universal, yet they originate from the way our minds structure experience. They do not exist as abstract entities in a separate realm but as formal conditions imposed by human cognition.
The error in the Platonic view is its reification of mathematical objects as existing independently of human conditions. Kant would argue that this is an example of hypostatization—mistaking a regulative idea for an ontological reality. The Platonic view treats mathematical objects as though they exist beyond human cognition, when in fact, they are conceptual constructs that gain their meaning and necessity from the conditions of human thought.
Moreover, your interlocutor’s assertion that mathematics has “nothing to do with human conditions” ignores the fact that mathematical knowledge depends on the cognitive structures inherent to human understanding.
The very ability to formulate mathematical proofs, define axioms, and manipulate symbols arises from the transcendental conditions of human cognition.
Even formalism, which reduces mathematics to symbol manipulation, does not escape this condition—it merely shifts focus to syntactic operations without reference to an independent reality.
Thus, the Platonic view of mathematics as referring to an independent realm is an illusion from a Kantian standpoint. It assumes that mathematical objects exist in themselves, when in reality, they are conditioned by the human faculties that make mathematical reasoning possible. To claim that mathematics is independent of human conditions is to ignore the very conditions that allow it to be intelligible and meaningful in the first place.
Re: Crashing both ChatGPT and DeepSeek with the following question
Kant's criticism on Plato fails to take into account that computers and other Turing devices are capable of discovering and proving quite a few mathematical theorems and are flawlessly capable of verifying any mathematical proof.Veritas Aequitas wrote: ↑Fri Feb 21, 2025 4:38 am The error in the Platonic view is its reification of mathematical objects as existing independently of human conditions. Kant would argue that this is an example of hypostatization—mistaking a regulative idea for an ontological reality. The Platonic view treats mathematical objects as though they exist beyond human cognition, when in fact, they are conceptual constructs that gain their meaning and necessity from the conditions of human thought.
These abilities are absolutely not restricted to human cognition.
On the contrary, it is perfectly possible to build machines that do many of these things much better than humans could ever do. The very principles of computation are independent of humanity. Strictly physical processes can also have extensive computational ability.
Given the Curry-Howard correspondence -- every proof is a program and every program is a proof -- mathematics is the abstract mirror of computation, and is therefore also independent of human cognition.
Hence, I can only reject Kant's criticism on Plato's theory of forms. As far as I am concerned, Plato still stands as strong as ever, if not stronger.
Re: Crashing both ChatGPT and DeepSeek with the following question
Computation is independent of humanity:Veritas Aequitas wrote: ↑Fri Feb 21, 2025 4:38 am Kant’s Copernican Revolution in philosophy establishes that all cognition, including mathematical knowledge, is necessarily conditioned by the human faculties of sensibility and understanding.
Natural non-human computation exists.ChatGPT: Is the Belousov-Zhabotinsky (BZ) reaction a natural form of computation?
Yes, the Belousov-Zhabotinsky (BZ) reaction can be considered a natural form of computation because it processes information through chemical interactions, follows well-defined rules, and produces structured outputs.
Why is the BZ Reaction a Form of Computation?
Computation, broadly speaking, is the transformation of inputs into outputs through a set of rules. The BZ reaction achieves this through chemical wave propagation, which can be interpreted computationally in several ways:
1. Signal Processing & Pattern Recognition
The reaction exhibits self-organizing waves that can recognize and amplify spatial patterns.
It functions similarly to edge detection algorithms in image processing.
2. Logic Operations
Chemical pulses can be used to construct logic gates (AND, OR, NOT, XOR, etc.), just like electronic circuits.
This makes it a viable system for chemical computing or even an alternative form of biological computation.
3. Problem Solving (Maze Solving, Path Optimization)
The way reaction-diffusion waves interact naturally solves shortest-path problems, akin to slime mold behavior.
This is useful for graph traversal and optimization problems.
4. Memory & State Retention
The reaction can store information temporarily in chemical concentration states, acting as a chemical memory unit.
Is It "Natural"?
Yes! While the specific controlled setups used in labs are artificial, the fundamental principles of the BZ reaction exist in natural biochemical and physical processes:
Biological systems: Reaction-diffusion mechanisms play roles in embryonic development, neural activity, and animal pattern formation (e.g., Turing patterns).
Physical systems: Excitable media like electrical discharges, cardiac rhythms, and fluid dynamics show similar computational-like behaviors.
Conclusion
The BZ reaction is a natural form of computation because it processes information without requiring traditional electronics. It demonstrates how chemical systems can perform logic, memory storage, and problem-solving—suggesting that computation isn't exclusive to digital systems but is a fundamental feature of nature.
Given the Curry-Howard correspondence, mathematics is the abstract isomorphic mirror of computation.
Hence, natural non-human mathematics exists as well.
Computation is a natural shadow in the physical universe of the abstract Platonic universe of truth.
-
Veritas Aequitas
- Posts: 15722
- Joined: Wed Jul 11, 2012 4:41 am
Re: Crashing both ChatGPT and DeepSeek with the following question
Justify [prove] whatever exists as Plato's form is real.godelian wrote: ↑Fri Feb 21, 2025 5:59 amKant's criticism on Plato fails to take into account that computers and other Turing devices are capable of discovering and proving quite a few mathematical theorems and are flawlessly capable of verifying any mathematical proof.Veritas Aequitas wrote: ↑Fri Feb 21, 2025 4:38 am The error in the Platonic view is its reification of mathematical objects as existing independently of human conditions. Kant would argue that this is an example of hypostatization—mistaking a regulative idea for an ontological reality. The Platonic view treats mathematical objects as though they exist beyond human cognition, when in fact, they are conceptual constructs that gain their meaning and necessity from the conditions of human thought.
These abilities are absolutely not restricted to human cognition.
On the contrary, it is perfectly possible to build machines that do many of these things much better than humans could ever do. The very principles of computation are independent of humanity. Strictly physical processes can also have extensive computational ability.
Given the Curry-Howard correspondence -- every proof is a program and every program is a proof -- mathematics is the abstract mirror of computation, and is therefore also independent of human cognition.
Hence, I can only reject Kant's criticism on Plato's theory of forms. As far as I am concerned, Plato still stands as strong as ever, if not stronger.
Whatever is not real is false, i.e. illusory.
For example the red apple on my table is real, I can touch it, eat it and can be verified by others, experts and biologists to be real.
Re: Crashing both ChatGPT and DeepSeek with the following question
Veritas Aequitas wrote: ↑Sat Feb 22, 2025 3:40 am Justify [prove] whatever exists as Plato's form is real.
Whatever is not real is false, i.e. illusory.
As I have argued previously, the idea that mathematical objects exist only in the mind, is unsustainable, because their existence is also implied in computers, other Turing machines, and in every physical computation process, natural or human. Computation is the isomorphic shadow in physical reality of the mathematical universe of Platonic abstraction.ChatGPT: The act of counting till 3 is an act of computation. Every act of computation corresponds to executing a proof. What does the act of counting till 3 prove?
The act of counting to 3 proves the existence of the natural numbers up to 3 and their sequential order. More formally, it demonstrates the Peano axioms in action, specifically:
1. Existence of numbers: There is a starting number (typically 1 or 0 in different conventions).
2. Successor function: Each number has a successor, forming a well-defined sequence.
3. Order and distinctness: The numbers 1, 2, and 3 are distinct and appear in a fixed sequence.
From a computational perspective, counting to 3 is an algorithm that constructs a proof of the statement “there exist at least three natural numbers, and they follow a successor relation.” This is a small but foundational step in number theory.
ChatGPT: Is the number 3 false and illusory?
No, the number 3 is not false or illusory—it is an abstract concept that exists within mathematical systems. Numbers are not physical objects, but they are real in the sense that they have consistent properties and relationships that we can use to describe the world. The number 3 represents a quantity and plays a fundamental role in arithmetic, logic, and science. If you're asking from a philosophical perspective, some thinkers argue that numbers exist only in the mind, while others believe they have an objective reality independent of human thought. What makes you ask?