Re: Existence as predicate
From: Robert Trypuz (trypuz_at_poczta.enterpol.pl)
Date: 08/30/04
- Next message: Mitch Harris: "Re: [PO] halting problem: existence proofs"
- Previous message: Robert Low: "Re: [PO] halting problem: existence proofs"
- In reply to: Terry Firma: "Existence as predicate"
- Next in thread: Witt: "Re: Existence as predicate"
- Reply: Witt: "Re: Existence as predicate"
- Messages sorted by: [ date ] [ thread ]
Date: Mon, 30 Aug 2004 10:10:59 +0200
Everybody knows that adding a predicate "exist" to Predicate Calculus leads
to CONTRADICTION.
(Proof is very simple).
greetings
-- Robert Trypuz http://www.trypuz.enterpol.pl/
- Next message: Mitch Harris: "Re: [PO] halting problem: existence proofs"
- Previous message: Robert Low: "Re: [PO] halting problem: existence proofs"
- In reply to: Terry Firma: "Existence as predicate"
- Next in thread: Witt: "Re: Existence as predicate"
- Reply: Witt: "Re: Existence as predicate"
- Messages sorted by: [ date ] [ thread ]
