Re: Existence as predicate
From: Witt (oorionus_at_yahoo.com)
Date: 08/30/04
- Next message: Peter Olcott: "Re: [PO] Re: Can a regular Turing Machine provide Protected Memory?"
- Previous message: Chris Menzel: "Re: Can a regular Turing Machine provide Protected Memory?"
- In reply to: Robert Trypuz: "Re: Existence as predicate"
- Next in thread: rbb: "Re: Existence as predicate"
- Messages sorted by: [ date ] [ thread ]
Date: Mon, 30 Aug 2004 11:31:00 GMT
"Robert Trypuz" <trypuz@poczta.enterpol.pl> wrote in message
news:cgund7$dje$2@achot.icm.edu.pl...
> Everybody knows that adding a predicate "exist" to Predicate Calculus
leads
> to CONTRADICTION.
> (Proof is very simple).
???
Can we see your very simple proof?
>
> greetings
> --
> Robert Trypuz
> http://www.trypuz.enterpol.pl/
>
>
>
>
- Next message: Peter Olcott: "Re: [PO] Re: Can a regular Turing Machine provide Protected Memory?"
- Previous message: Chris Menzel: "Re: Can a regular Turing Machine provide Protected Memory?"
- In reply to: Robert Trypuz: "Re: Existence as predicate"
- Next in thread: rbb: "Re: Existence as predicate"
- Messages sorted by: [ date ] [ thread ]
