(urth) barrington interview

[Norwood, Frederick Hudson]

As with my comment on the universality of mathematics, I am not saying that mathematics can solve everything, just that what it solves is solved once and for all.  There are no four-sided triangles.

I notice that none of the people who think logic is relative, or a product of evolution, have commented on my challenge: can it be possible, in any context what-so-ever, for a statement "If A is true then B is always true," to be true; and A to be true; and B to be false?

Rick Norwood

-----Original Message-----
From: Urth [mailto:urth-bounces at lists.urth.net] On Behalf Of Jeffery Wilson clueland.com
Sent: Thursday, October 09, 2014 4:53 PM
To: The Urth Mailing List
Subject: Re: (urth) barrington interview

On 10/9/2014 7:04 AM, Norwood, Frederick Hudson wrote:
> I think you are also confusing math with its applications.  Pure mathematics consists of a set of axioms, a set of definitions, and the theorems that follow logically from those axioms and definitions.  The logic involved is called a mathematical proof.  For mathematics to be untrue, you need a case where the following happens.  You know that if A is true, then B must be true.  You know A is true.  But it turns out B is false.

We have that now, it's the difference of validity (true in every circumstance under consideration) to satisfiability (true in some circumstances). There are various algorithms to work these out in modern logical theory, though not every conjecture's provability can decided, which is part of what separates it from the classical logic theory.

-- 
Jeff Wilson - < jwilson at clueland.com >
A&M Texarkana Computational Intelligence Lab
< http://www.tamut.edu/cil >
_______________________________________________
Urth Mailing List
To post, write urth at urth.net
Subscription/information: http://www.urth.net