Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle

Replies: 53   Last Post: Feb 13, 2013 3:53 PM

 Messages: [ Previous | Next ]
 Graham Cooper Posts: 4,495 Registered: 5/20/10
Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle

Posted: Feb 6, 2013 1:29 AM

On Feb 6, 2:01 pm, 1treePetrifiedForestLane <Space...@hotmail.com>
wrote:
> Russell's paradoxes, mostly, are illinguistic,
> essentially not properly tensed.
>
> the village barber has to go to the next village,
> iff he doesn't want to do it, himself.

----------------------------------

all(MAN) : men

if [ not [ shave MAN MAN ]] [ shave barber MAN ]

"if a man doesn't get a shave by himself
then the barber will shave him"

-----------------------------------

shave X barber?

=====================

Remove the ALL()

{ M | M e men } C { M | not(shave(M,M) -> shave(barber,M) }

i.e. not shaving yourself then the barber shaves you
holds for all men (atleast)

the Paradox still holds over all men, by the possibility of the
construction of the above formula.

if you know of an algorithmic process that parses this into

{ M | M=/=barber -> M e men }
C { M | not(shave(M,M) -> shave(barber,M) }

then you could dismiss it as being a paradox, but you'll probably have
to algorithmically detect the contradiction 1st in which case provable
set specification can eliminate the definition (rather than rewrite
it).

not(provable(THM)) <-> derive(not(THM)) (eg a contradiction)

provable(THM) <-> exist(set(....THM))

Herc
--
www.BLoCKPROLOG.com

Date Subject Author
2/1/13 Graham Cooper
2/3/13 Charlie-Boo
2/3/13 Graham Cooper
2/3/13 Charlie-Boo
2/3/13 Graham Cooper
2/3/13 Graham Cooper
2/3/13 Charlie-Boo
2/3/13 Graham Cooper
2/3/13 Charlie-Boo
2/3/13 camgirls@hush.com
2/4/13 Charlie-Boo
2/4/13 billh04
2/4/13 Charlie-Boo
2/4/13 William Hale
2/4/13 Lord Androcles, Zeroth Earl of Medway
2/9/13 Graham Cooper
2/5/13 Charlie-Boo
2/4/13 Graham Cooper
2/5/13 Charlie-Boo
2/5/13 Graham Cooper
2/5/13 Brian Q. Hutchings
2/6/13 Graham Cooper
2/6/13 Charlie-Boo
2/4/13 fom
2/4/13 Charlie-Boo
2/4/13 fom
2/5/13 Charlie-Boo
2/7/13 fom
2/9/13 Charlie-Boo
2/9/13 Graham Cooper
2/11/13 Charlie-Boo
2/10/13 fom
2/10/13 Graham Cooper
2/10/13 fom
2/10/13 Graham Cooper
2/11/13 Charlie-Boo
2/11/13 Charlie-Boo
2/11/13 Charlie-Boo
2/11/13 Graham Cooper
2/13/13 Charlie-Boo
2/11/13 Charlie-Boo
2/11/13 fom
2/5/13 Charlie-Boo
2/5/13 fom
2/6/13 fom
2/11/13 Charlie-Boo
2/11/13 fom
2/13/13 Charlie-Boo
2/13/13 fom
2/4/13 Graham Cooper
2/4/13 Charlie-Boo
2/5/13 Charlie-Boo