Log in

No account? Create an account

> Recent Entries
> Archive
> Friends
> Profile
> Chronarchy.com

Ár nDraíocht Féin
Three Cranes
Chaos Matrix

May 25th, 2005

Previous Entry Share Flag Next Entry
02:13 pm - Warning: Evolution might be involved!
I would approve of putting evolution warning stickers on text books if they looked like this:

Maybe it's time to make such stickers and distribute them to certain school boards. Any takers?
Current Mood: amusedamused
Current Music: "She's Going Out of My Mind", -JB

(32 comments Leave a comment)


[User Picture]
Date:May 26th, 2005 09:38 pm (UTC)

Re: Just to check

Yes ... in any formal axiomatic system strong enough to do natural number theory (which requires that it's second-order, has identity, and has the predicate "... is a natural number"), there exists a truth expressible in the system which is not provable using the system (that is, it's incomplete). Gödel's Second Incompleteness Theorem states that for all such systems, its completeness entails its inconsistency. Paraconsistent logics, ones which reject ex contradictione quodlibet by accepting the meaningfulness of statements like "This statement is false", can apparently be complete.

> Go to Top