Description:
Logic -- math, philosophy & computational aspects.
|
|
|
nike jordan 1-23 shoes timberland ugg boots
|
| |
we also sell retail air jordans,jordan sneakers shoes include: Air Jordan Retro womens shoes Air Jordan Retro kids shoes Air Jordan Spizikes Air Jordan Dub Zeros Air Jordan 4 Fusion Air Jordan 5 Fusion Air Jordan 12 Fusion Air Jordan 23 Fusion Air Jordan 3 x Air Force one Fusion Air Jordan 4 x Air Force one Fusion... more »
|
|
|
Naturalizing Godel's incompleteness theorems
|
| |
Tired of waiting for a real-world description of Godel's ideas? If you're like me, you will be getting more than a little peeved by tripping the other-worldly round of concept-empty technicalese,, theories, consistencies and the like. So here's the first of what I hope will be, or should be, a range of... more »
|
|
|
Counting Puzzle
|
| |
Zaljohar wrote this, which at first sight seems reasonable: "One, Two, Three, ... , are words we use to denote the multiplicity of discriminable objects (objects that one can see the difference between them and their surrondings)" But there is a problem with the proposal that IF an object can be discriminable THEN it must be countable:... more »
|
|
|
modernism or post-modernism
|
| |
A friend recently explained to me that post-modernism is where one's meta-narrative is that there is no meta-narrative. Obviously this raised a contradiction, but then I realized that this was a modernists disproof of post-modernism, and as such was invalid. Then I started to think about why I accept modernism as so infallible.... more »
|
|
|
Is Cantor's Diagonal Proof Impredicative?
|
| |
A definition is called 'impredicative' iff it defines an object x by reference to a set of which x is a member. A proof is impredicative iff it involves an impredicative definition. Cantor's theorem says that for all sets S there is no one-one function from S to P(S), the set of all subsets of S. Cantor's diagonal proof... more »
|
|
|
CFP: Submission deadline approaching: ICDM '08
|
| |
ICDM '08: The 8th IEEE International Conference on Data Mining ------------------------------ ------------------------------ -- December 15-19, 2008 Pisa, Italy [link] Important Dates --------------- June 30, 2008 Deadline for tutorial proposals July 7, 2008 Deadline for paper submission... more »
|
|
|
