Logic
in [Science]
|
BP loves Waxman-Obama cap&trade (circa Kyoto Protocol, or Waxman's '91 bill) that *was* rather easy. so, why can't we just have a little tax on carbon, instead of this "free trade" rip-off? This is easy to explain: --le theoreme prochaine du Fermatttt! http://wlym.com ... 22 Jun 2010 21:33
Algorithm for smallest subtree having all of a set of nodes (subtrees) What is the smallest subtree of a given tree that has all of a given set of nodes within it? C-B ... 23 Jun 2010 00:50
Why the Ignorant / Stupid Are the First Responders to Good Math / Science / Tech OPs You've seen it happen a thousand times. The first responses to a good OP will be those with nothing to say and no interest in the subject, IOW, the stoopid. Later on the knowledgeable appear exposing the first responders as complete fools. This is easy to explain: 1. The thoughtful, by definition, are goi... 6 Jul 2010 22:15
Musatov shows his writing chops: Prolog to new novel, sneek peek! ++++++++++++++++++++++++++++++++ Plowing the Dark A Machine Aided Novel by by M. M. M. ++++++++++++++++++++++++++++++++ This is how I was born. Prolog // Download Words by William Whitaker . . . Help // Input Latin: novel // Two words // May be 2 words combined (no+vel) // ... 21 Jun 2010 06:57
How Wide Do All The Possible Computed Digit Sequences Go? Every possible combination X wide... What is X? Now watch as 100 mathematicians fail to parse a trivial question. Someone MUST know what idea I'm getting at! This ternary set covers all possible digits sequences 2 digits wide! 0.00 0.01 0.02 0.10 0.11 0.12 0.20 0.21 0.22 HOW WIDE ARE ALL_POSSI... 7 Jul 2010 06:52
Question about the complexity of a sentence In his thesis "The Search for New Axioms" Peter Koellner asserts that the following statement SPHERE. One cannot take a sphere apart into finitely many boldface Sigma^1_2 pieces, and rearrange them using rigid motons to form a sphere twice the size of the original is a Sigma^1_3 sentence. I am having trouble s... 21 Jun 2010 00:25
Godels incompleteness theorem proven invalid-illegitamate Since no-one has replied to you for 4 days I figured I'd have a go. [added sci.logic] (Note that opposition to Goedel's incompleteness theorems is a perennial topic in sci.logic.) In article <9ee477fa-09ad-48bf-b8ea-1ac0bca640c1(a)42g2000prb.googlegroups.com>, byron <spermatozon(a)yahoo.com> wrote: it i... 24 Jun 2010 11:51
KBH Word Coordinates for Shorter Text Messaging The KBH Word Coordinate Application assigns 17,636 most frequent words to the KBH Word Coordinate System. The purpose of the KBH Word Coordinates are shorter text messages and easier input of text messages. The KBH Word Coordinate Application is a reference source for text messaging that installs on a Win32 PC c... 4 Jul 2010 06:52
Peter Koellner's thesis In his thesis "The Search for New Axioms" Peter Koellner writes "There is no known example of a natural sentence phi of first-order arithmetic such that (1) phi is known to be independent of ZF and (2) it is not known whether phi is true." Is there any example at all of a "natural" sentence of first-order arit... 21 Jun 2010 19:10 |