Logic

Question on a paper of Patton's
This post refers to Thomas E. Patton, 'Church's Theorem on the Decision Problem', Notre Dame Journal of Formal Logic, volume VI, Number 2, April 1965. It will mean nothing to people not familiar with that paper. Formula (8b) on page 150 reads Az_2,y,Z_3 -> Ax,11,z_2 -> Ay,111,z_1 -> Gz_1 -> Hz_1 is there a ... 26 Jun 2010 09:44

prime numbers
Prime numbers are known as building blocks. I think they are also un- builiding blocks. What do you say? ... 26 Jun 2010 05:27

Constructing Tethered Strands Causative but non-deterministic in any traditonal sense of the word when 1. For GET and HAVE: We compute
ARPA.DNS G.ROOT-SERVERS.NET. ARPA.DNS F.ROOT-SERVERS.NET. ARPA.DNS B.ROOT-SERVERS.NET. ARPA.DNS K.ROOT-SERVERS.NET. ARPA.DNS L.ROOT- P N N P N N P N N P N N P N 34567 56789012 2345678901234567890 78901 ... 25 Jun 2010 18:41

Another Search for Intelligent Life
Is there anyone here who has lots of ideas and keeps them organized? And does periodic surveys of a given subject? Is there anyone here who has developed their own written system to create proofs of well-known theorems and new theorems? Has anyone here developed any new proofs of famous theorems? C-B ... 25 Jun 2010 09:53

How Can ZFC/PA do much of Math - it Can't Even Prove PA is Consistent (EASY PROOF)
Charlie-Boo <shymathguy(a)gmail.com> writes: Who has proved PA consistent using ZFC? If it were possible then I assume someone would have done it. It certainly would be a very educational exercise. So why not have a try at it? You'll find all the details you need in any decent text. -- Aatu Koskensi... 8 Jul 2010 02:39

My FINAL Cantor thread!
> Consider the list of computable reals.   Let w = the digit width of the largest set of complete permutations   assume w is finite there are 10 computable copies of the complete permutations of width w each ending in each of digits 0..9 (at position w+1) which generates a set larger than width... 6 Jul 2010 13:24

Incompleteness thru Venn Diagrams
Consider the Venn Diagram that consists of an overall universal set of all sets of sentences, and two overlapping sets within it. One inner set is the set of r.e. sets, and the other is the set of all co-r.e. sets (i.e. its complement is r.e.) Now place these four sets within the Venn Diagram: PR=provable sentenc... 24 Jun 2010 13:02

Potato head's Oily Obama worries
------- ahahaha... AHAHAHA... ahahaha... -------- Brian "spudnik", son of PotatoheaD, "PhD" for short, not Brian but his fatha being that. The son however is still just "thus&so" aka <Space998(a)hotmail.com> who addressed a poster unknown, & "thus&so" he wrote: yeah; that was quite self-referential, dood. ... 24 Jun 2010 05:17

folks really believe that oilcos hate cap&trade on fossilized fuels TM?
teabagism is based on a false principle, that the American Revolution was predicated upon "taxation without representation," which was but a tiny corner of the real ecoonomic problem -- which is exemplified by the so-called Nobel Prize in Economics, such as the NYTimes columnist got; there ain't no such a thing! ... 23 Jun 2010 22:47

Garbage in, Garbage out (Was Re: Why the Ignorant / Stupid Are the First Responders to Good Math / Science / Tech OPs)
On Jun 22, 12:34 pm, Bret Cahill <BretCah...(a)peoplepc.com> wrote: 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 fo... 22 Jun 2010 22:39