Re: Request for Reference/Link to example of defining a theory/logic.
- From: "Scott" <ToaTerra@xxxxxxxxx>
- Date: 14 Nov 2006 11:48:22 -0800
Charlie-Boo wrote:
In CBL:
PR/PR The set of theorems is representable.
PR/TW The set of theorems is expressible.
YES/PR The logic is Turing complete.
PR/YES The logic is axiomatizable.
~PR/TW "This is unprovable." (Godel 1st Incompleteness)
DIS/TW "This is refutable." (Smullyan Dual Form)
DIS/PR Rosser's requirement.
I am unfamiliar with this notation. Do you have a glossary or link that
explains it? Or is CBL = Charlie-Boo's Logic, something of your own
devising?
.
- References:
- Request for Reference/Link to example of defining a theory/logic.
- From: Scott
- Re: Request for Reference/Link to example of defining a theory/logic.
- From: Charlie-Boo
- Re: Request for Reference/Link to example of defining a theory/logic.
- From: Scott
- Re: Request for Reference/Link to example of defining a theory/logic.
- From: Peter_Smith
- Re: Request for Reference/Link to example of defining a theory/logic.
- From: Scott
- Re: Request for Reference/Link to example of defining a theory/logic.
- From: Charlie-Boo
- Request for Reference/Link to example of defining a theory/logic.
- Prev by Date: Re: Request for Reference/Link to example of defining a theory/logic.
- Next by Date: Re: A few questions about formal systems
- Previous by thread: Re: Request for Reference/Link to example of defining a theory/logic.
- Next by thread: Re: Request for Reference/Link to example of defining a theory/logic.
- Index(es):
Relevant Pages
|
