barrington interview

Norwood, Frederick Hudson · 10 Oct 2014, 12:12 · from 2014-October.txt.gz

This is the message as the crawl holds it, before anything here touched it. What the conversation shows has been through ingest: transfer encodings decoded, attachments dropped, quote markers repaired, and the archiver’s ? resolved into quotation marks and dashes. Those repairs are judgements and some of them are wrong, which is what this page is for. Email addresses are obscured here as they are everywhere else on the site, so it is before our repairs rather than byte for byte.

From: NORWOODR at mail.etsu.edu (Norwood, Frederick Hudson)
Date: Fri, 10 Oct 2014 12:12:31 +0000
Subject: (urth) barrington interview
In-Reply-To: <5436F5A7.10604 at clueland.com>
References: <BLU175-W672D9E233A130368B49B6CFA00 at phx.gbl>
	<0DA454A32913114C9CC19BB781FB907D0129FC at ETSUMB2.etsu.edu>
	<5436F5A7.10604 at clueland.com>
Message-ID: <0DA454A32913114C9CC19BB781FB907D012C04 at ETSUMB2.etsu.edu>

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

An unofficial mirror of a public mailing list · about & removal requests · download the archive · before the list · original archive at urth.net