Re: Patriarchy: Re: What Matriarchy?

• Messages sorted by: [ date ][ thread ][ subject ][ author ]
• Next message: Shannon Adams: "Re: Rites of Passage"
• Previous message: Joel and Lynn Gazis-Sax: "Culture of Science?"

Stephen Barnard wrote:
>
> Godel's famous Incompleteness Theorem proves that any formal deductive
> system of sufficient power (at least the power of Peano arithmetic,
> which isn't that powerful) will be incomplete. That is, it will be
> possible to state theorems in that system that cannot be proven true or
> false.

Oops. I meant "well-formed formulas" (wffs), not "theorems".

Steve Barnard

• Next message: Shannon Adams: "Re: Rites of Passage"
• Previous message: Joel and Lynn Gazis-Sax: "Culture of Science?"