```Date: Apr 2, 2013 7:52 AM
Author: Jesse F. Hughes
Subject: Re: Mathematics and the Roots of Postmodern Thought

david petry <david_lawrence_petry@yahoo.com> writes:> On Tuesday, March 26, 2013 12:51:21 PM UTC-7, Dan wrote:>>> The first>> principle that is to be falsified when doing mathematics is the>> principle of falsifiability .>>> I'm not convinced you understand what "falsifiability" means.>> We say that a statement is falsifiable if and only if it makes> predictions about the outcome of well-specified, feasible> experiments.  For mathematics, those experiments will be> computational experiments.>> For a simple example, consider Fermat's Last Theorem.  We could> write a computer program that methodically searches for> counterexamples to the theorem and then halts when it finds such a> counterexample.  Fermat's Last Theorem predicts that the program> will never halt.  And, of course, Fermat's Last Theorem would be> "falsified" if the program did halt.>> The principle of falsifiability asserts that statements that make no> predictions are meaningless and should be ignored.And so, for instance, while Fermat's Last Theorem is kosher, itsnegation is pseudoscientific claptrap.And, similarly, Goldbach's conjecture is a good, honest hypothesis,but its negation is twaddle.Interestingly, the scientific hypothesis, "The universe is infinite," isan upstanding example of falsifiability, while, "The universe isfinite," fails the falsifiability test.And, see "The Logic of Reliable Inquiry" by Kevin Kelly for manyexamples of apparently scientific hypotheses (matter is finitelydivisible, human behavior is computable, etc.) which are *NOT*falsifiable.> The mathematics that helps us reason about the real world is> necessarily compatible with the principle of falsifiability.Honestly, I agree with part of what you say.  In so far as ourmeasurements are always to some finite precision, it seems plausiblethat we can use finitist mathematics in our scientific theories.But I don't see why anyone would want to do so, given the fact thatclassical real analysis is simple and beautiful.  It allows concisestatements of theorems.  And, in any case, even if we agree thatscientific hypotheses must be falsifiable, it does not follow that themath used in science must be "falsifiable".  -- Jesse F. Hughes"Well, I guess that's what a teacher from Oklahoma State Universityconsiders proper as Ullrich has said it, and he is, in fact, a teacherat Oklahoma State University." -- James S. Harris presents a syllogism
```