What led you to assume that I didn't read IBD's response?
That you only responded to his first sentence and ignored the rest of his post.
That's your opinion.
Can you explain how IDB is correct?
Sure thing...
First, let me lay out the definitions for particular terminology that I will be making use of below:
SCIENCE: 1) A set of falsifiable theories.
OR as IBD prefers to express this as: 2) A set of falsifiable models that predict nature.
RELIGION: An initial circular argument with other arguments stemming from it.
This definition can be expressed differently as well, but my mind prefers to express things via logic.
THEORY: An explanatory argument.
ARGUMENT: A predicate (or set of predicates) and a conclusion.
PREDICATE: An independent statement within an argument.
CONCLUSION: A dependent statement within an argument.
EVIDENCE: Any statement that supports an argument.
PROOF: An extension of an axiom.
AXIOM: A "rule of the game". A fundamental statement/proposition that is assumed to be true.
Science is, simply, "a set of falsifiable theories". That's all science is. All the "supporting evidence", "experiments", "methods", "peer review", "publications", "websites", "consensus", etc. in the world will not in any way bless, sanctify, or otherwise make holy, any theory (suddenly transforming it into a "theory of science"). What sets science apart from religion is the fact that one can perform a null hypothesis test on the theory (due to it being falsifiable).
Both science and religion start at an identical logical standpoint, which is with a theory. Once the theory (explanatory argument) is formed, one now has in their hands what is known (in logic terminology) as a circular argument (otherwise known as an "argument of faith"). Contrary to what you might have falsely learned in some logic class in college, a circular argument in and of itself is NOT a fallacy (an error of logic). A circular argument takes the logical form A->A, thus a circular argument is logically valid per the axioms of logic since the conclusion [A] follows from the predicate [A].
A circular argument fallacy, on the other hand, occurs whenever one attempts to
prove a circular argument (iow, using the conclusion of a circular argument as a proof that the conclusion is true). The circular argument fallacy takes the logical form (A->A)->A.
It is at this very point (after a theory has been formed) that science and religion separate from each other. Religion is unable to move beyond being circular in nature (iow, religion cannot move beyond being a circular argument or being an argument of faith). Therefore, the most that one can do with it is toss a bunch of supporting evidence at it. Supporting evidence is, however, not a proof. This whole notion of a religion not being able to be proven true or false is why religion is best defined as "an initial circular argument with other arguments stemming from it". Unlike science, religion is accepted as true/false purely on a faith basis.
Science, on the other hand, makes use of theories that are FALSIFIABLE (can be proven false), as opposed to unfalsifiable (can't be proven false). Neither science nor religion can be proven true since they are both open functional systems rather than closed functional systems (such as logic and mathematics). IOW, the type of theory that science makes use of (falsifiable theories) can be tested against a null hypothesis, but that testing must be accessible, practical, quantifiable, specific, and produce a specific result. If a theory survives internal testing (against logic... iow, the theory is logically sound) and external testing (as I described prior), then the theory becomes a 'theory of science' and remains a 'theory of science' until it fails to survive such a test (iow, until the theory is falsified). At that point, the "used to be a theory of science" is now completely and utterly destroyed, and is no longer accepted as a part of science.
So, as you can see, science makes no use of supporting evidence like religion makes use of, as ONLY conflicting evidence is used in science (to falsify theories). Thus, science is best defined as "a set of falsifiable theories", or as IBD expresses it, "a set of falsifiable models that predict nature". The (continued) survival of null hypothesis testing is what allows a theory to become (and continue to be) a theory of science, and is what separates science from religion.
This logical framework of religion and science is what many people do not understand (and/or outright deny). This is why they will believe that theories such as the Big Bang Theory, the Theory of Evolution, and the Theory of Global Warming are "science". They are not science at all, as they are not falsifiable in any accessible manner. They are instead religions, per my above reasoning.