?

Log in

No account? Create an account
Chronarchy

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

Links
Ár nDraíocht Féin
Three Cranes
MySpace
Chaos Matrix
OSU PSA

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
Tags:

(32 comments Leave a comment)

Comments:


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

Re: Just to check

(Link)
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
LiveJournal.com