Newsgroups: sci.logic, sci.math, sci.physics, sci.chem, comp.ai.philosophy
From: Graham Cooper <grahamcoop...@gmail.com>
Date: Sat, 17 Nov 2012 00:50:40 -0800 (PST)
Local: Sat, Nov 17 2012 3:50 am
Subject: SCI.LOGIC is a STAGNANT CESS PITT of LOSERS!
FROM AXIOMS you DERIVE THEOREMS!
Nobody CARES if SomeModel |= 'this is not derivable from your
IT's not DERIVABLE FROM THE AXIOMS! END OF STORY!
Nothing Mathematically INCOMPLETE ABOUT IT!
LOGIC is an ARTS DEGREE on SLAGGING OFF COMPUTER PROGRAMMERS because
1 Godel proved LOGIC DOESNT WORK!
and Swamped any discussion with THAT WONT WORK because "TEACHER IS
Any and All mathematical logicians posting to SCI.LOGIC have all been
A FORMAL SYSTEM WRITTEN PURELY IN PREDICATES!
what(X,true) :- t(X).
On Oct 31, 12:13 am, Gary Forbis wrote:
> -? wff(if(1,0))Only 1 other capable mathematical logician here!
> having found wff(X) :- t(X).
> wants to evaluate t(if(1,0)).
> having found t(if(X,Y)) :- if(X,Y).
> wants to evaluate if(1,0).
> having found if(X,Y) := t(X), t(Y).
> wants to evalueate t(1).
> Find t(1)
> RETURNS success.
> wants to evaluate t(0).
> RETURNS failure.
> wants to evaluate t(if(if(1,0),Y) :- if(if(1,0),Y)
> wants to evaluate if(1,0)
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.