<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <id>http://groups.google.com/group/sci.logic</id>
  <title type="text">sci.logic Google Group</title>
  <subtitle type="text">
  Logic -- math, philosophy &amp; computational aspects.
  </subtitle>
  <link href="/group/sci.logic/feed/atom_v1_0_msgs.xml" rel="self" title="sci.logic feed"/>
  <updated>2009-07-05T23:14:47Z</updated>
  <generator uri="http://groups.google.com" version="1.99">Google Groups</generator>
  <entry>
  <author>
  <name>MeAmI.org</name>
  <email>me...@vzw.blackberry.net</email>
  </author>
  <updated>2009-07-05T23:14:47Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/a08bdd7d7b923596/505c2d701954f3e6?show_docid=505c2d701954f3e6</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/a08bdd7d7b923596/505c2d701954f3e6?show_docid=505c2d701954f3e6"/>
  <title type="text">Proof of religion and &quot;anti-religion&quot;: &quot;One of the &#39;high priests&#39; made a mistake.&quot;</title>
  <summary type="html" xml:space="preserve">
  still &lt;br&gt; the idea is the same &lt;br&gt; so you could make a class RealRing &lt;br&gt; which could even just be an alias for the previous Real &lt;br&gt; mentioned as coefficients &lt;br&gt; and you could make a Ring-derived class Complex &lt;br&gt; and many other such rings &lt;br&gt; now let&#39;s define a simple &amp;quot;adapter class&amp;quot; concept &lt;br&gt; for any Ring r &lt;br&gt; where r may be any type derived from Ring
  </summary>
  </entry>
  <entry>
  <author>
  <name>Musatov</name>
  <email>marty.musa...@gmail.com</email>
  </author>
  <updated>2009-07-05T22:45:25Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/a9726008169e5aaf/fc9677e472a0fc70?show_docid=fc9677e472a0fc70</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/a9726008169e5aaf/fc9677e472a0fc70?show_docid=fc9677e472a0fc70"/>
  <title type="text">Re: question asked whether you can have Oblong HCP with Corner Edge HCP #691 new book 2nd edition: New True Mathematics</title>
  <summary type="html" xml:space="preserve">
  On Jul 5, 11:47 am, Archimedes Plutonium &lt;br&gt; Positive real numbers have three cube roots. The roots of eight are 2, &lt;br&gt; -1 + sqrt(3) i and -1 - sqrt(3)i. &lt;br&gt; M--m--m &lt;br&gt; (Musatov)
  </summary>
  </entry>
  <entry>
  <author>
  <name>Musatov</name>
  <email>marty.musa...@gmail.com</email>
  </author>
  <updated>2009-07-05T22:41:35Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/18143582ef447f61/f2dcdf0e6f026360?show_docid=f2dcdf0e6f026360</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/18143582ef447f61/f2dcdf0e6f026360?show_docid=f2dcdf0e6f026360"/>
  <title type="text">Re: looking for a proof of equivalence of New-Poincare Conjecture to 4Color Mapping #690 new book 2nd edition: New True Mathematics</title>
  <summary type="html" xml:space="preserve">
  On Jul 5, 11:03 am, Archimedes Plutonium &lt;br&gt; Here is one way to approach a proof of equivalence: &lt;br&gt; There are many equivalent ways of describing NP-completeness. .... A &lt;br&gt; proof of P = NP could have stunning practical consequences, if the &lt;br&gt; proof leads to ... &lt;br&gt; Arithmetic Hierarchy and P=NP &amp;lt;&amp;lt; Gödel&#39;s Lost Letter and P=NPand {z} is
  </summary>
  </entry>
  <entry>
  <author>
  <name>Musatov</name>
  <email>marty.musa...@gmail.com</email>
  </author>
  <updated>2009-07-05T22:26:15Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/113adb4508ed62a7/2528389e73267b6f?show_docid=2528389e73267b6f</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/113adb4508ed62a7/2528389e73267b6f?show_docid=2528389e73267b6f"/>
  <title type="text">Re: An Entertaining Conjecture and Interesting Theory in LaTeX</title>
  <summary type="html" xml:space="preserve">
  I would like to preface any comments with the second number need begin &lt;br&gt; with &amp;quot;1&amp;quot; and be followed by &amp;quot;0(s)&amp;quot;, for example 10, 100, or 1000.
  </summary>
  </entry>
  <entry>
  <author>
  <name>Musatov</name>
  <email>marty.musa...@gmail.com</email>
  </author>
  <updated>2009-07-05T22:23:24Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/113adb4508ed62a7/bf614c8c3f0ea8aa?show_docid=bf614c8c3f0ea8aa</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/113adb4508ed62a7/bf614c8c3f0ea8aa?show_docid=bf614c8c3f0ea8aa"/>
  <title type="text">An Entertaining Conjecture and Interesting Theory in LaTeX</title>
  <summary type="html" xml:space="preserve">
  \text{ &lt;br&gt; Begin with the number 1. Multiply by a number starting with 1 and &lt;br&gt; ending with 0. Allow the sets to converge as per below. Their product &lt;br&gt; will always be plus or minus 1 to a prime. &lt;br&gt; Imagine the set converges like so: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ==$&amp;gt;&amp;gt; &lt;br&gt; $*$&amp;lt;&amp;lt;$==10, 9, 8, 7, 6, 5, 4, 3, 2, 1 == ($\pm $)1 == P
  </summary>
  </entry>
  <entry>
  <author>
  <name>John Jones</name>
  <email>jonescard...@btinternet.com</email>
  </author>
  <updated>2009-07-05T21:32:42Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/e5b20cb7ad18f9ae/f61d7a0a652e420d?show_docid=f61d7a0a652e420d</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/e5b20cb7ad18f9ae/f61d7a0a652e420d?show_docid=f61d7a0a652e420d"/>
  <title type="text">Re: Computers, Logic, and the Single Event</title>
  <summary type="html" xml:space="preserve">
  Objects are not their own source. For example, a bouquet is not found &lt;br&gt; among a set or accumulation of flowers.
  </summary>
  </entry>
  <entry>
  <author>
  <name>MeAmI.org</name>
  <email>me...@vzw.blackberry.net</email>
  </author>
  <updated>2009-07-05T20:31:15Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/d74a727544538436/f665e4e7cfc36395?show_docid=f665e4e7cfc36395</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/d74a727544538436/f665e4e7cfc36395?show_docid=f665e4e7cfc36395"/>
  <title type="text">Re: Answer to Dik T. Winter</title>
  <summary type="html" xml:space="preserve">
  The name is &amp;quot;Musatov&amp;quot; not &amp;quot;Muckenheim&amp;quot;. &lt;br&gt; Dik, how might this thread mathematically be different if your name &lt;br&gt; contained a &amp;quot;c&amp;quot; variable, instead of sharing similarity to the popular &lt;br&gt; childrens programming company? &lt;br&gt; As to the transfinite cardinals we are onto something. Mark the binary &lt;br&gt; character &amp;quot;/&amp;lt;...&amp;gt;\&amp;quot; as both a division and continuation in logic.
  </summary>
  </entry>
  <entry>
  <author>
  <name>Ross A. Finlayson</name>
  <email>ross.finlay...@gmail.com</email>
  </author>
  <updated>2009-07-05T19:59:29Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/d74a727544538436/cc74c7ae18a321e3?show_docid=cc74c7ae18a321e3</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/d74a727544538436/cc74c7ae18a321e3?show_docid=cc74c7ae18a321e3"/>
  <title type="text">Re: Answer to Dik T. Winter</title>
  <summary type="html" xml:space="preserve">
  Mueckenheim raises a point of interest: application. Transfinite &lt;br&gt; cardinals and the construction of standard measure theory about them &lt;br&gt; is a reflexive shoehorn of real analysis and particularly that of the &lt;br&gt; unit interval towards making suitably rigorous the infinitesimal &lt;br&gt; analysis. What it doesn&#39;t do is satisfy all intuitions, reasonable
  </summary>
  </entry>
  <entry>
  <author>
  <name>Virgil</name>
  <email>virg...@nowhere.com</email>
  </author>
  <updated>2009-07-05T19:44:25Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/d74a727544538436/3745497a7adcfd56?show_docid=3745497a7adcfd56</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/d74a727544538436/3745497a7adcfd56?show_docid=3745497a7adcfd56"/>
  <title type="text">Re: Answer to Dik T. Winter</title>
  <summary type="html" xml:space="preserve">
  In article &lt;br&gt; &amp;lt;7f588dc2-e7c7-408d-b4ff-6c725 08e8...@a36g2000yqc.googlegrou ps.com&amp;gt;, &lt;br&gt; That presumes, falsely as it happens, that if a maximal infinite binary &lt;br&gt; tree can be constructed at all, which requires the existence of actually &lt;br&gt; infinite sets, that there exists a set whose power set injects into it. &lt;br&gt; But this is false for all finite sets, so why does it suddenly become
  </summary>
  </entry>
  <entry>
  <author>
  <name>Archimedes Plutonium</name>
  <email>plutonium.archime...@gmail.com</email>
  </author>
  <updated>2009-07-05T18:47:10Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/a9726008169e5aaf/9cff1399e316b653?show_docid=9cff1399e316b653</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/a9726008169e5aaf/9cff1399e316b653?show_docid=9cff1399e316b653"/>
  <title type="text">question asked whether you can have Oblong HCP with Corner Edge HCP #691 new book 2nd edition: New True Mathematics</title>
  <summary type="html" xml:space="preserve">
  A good question was raised as to whether you can have a Real Number &lt;br&gt; Cube &lt;br&gt; in which there is both Oblong HCP and Corner-Edge HCP? &lt;br&gt; As the previous post indicated Kepler Packing Problem KPP is nothing &lt;br&gt; more than a &lt;br&gt; tally and tabulation of what happens to three walls where the other &lt;br&gt; three &lt;br&gt; are the walls to stack with HCP-pure. When you get to the three remote
  </summary>
  </entry>
  <entry>
  <author>
  <name>Archimedes Plutonium</name>
  <email>plutonium.archime...@gmail.com</email>
  </author>
  <updated>2009-07-05T18:03:01Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/18143582ef447f61/a33b3a0a3c2976a0?show_docid=a33b3a0a3c2976a0</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/18143582ef447f61/a33b3a0a3c2976a0?show_docid=a33b3a0a3c2976a0"/>
  <title type="text">looking for a proof of equivalence of New-Poincare Conjecture to 4Color Mapping #690 new book 2nd edition: New True Mathematics</title>
  <summary type="html" xml:space="preserve">
  New Poincare Conjecture: every closed loop on sphere or Euclidean &lt;br&gt; geometry &lt;br&gt; can at most shrink to the primitive set of 9 consecutive points as &lt;br&gt; such: &lt;br&gt; . . . &lt;br&gt; . . . &lt;br&gt; . . . &lt;br&gt; 4Color Mapping Problem: 4 mutual adjacencies is the maximum possible. &lt;br&gt; I want to prove those two are the same. Both spring from the wellhead
  </summary>
  </entry>
  <entry>
  <author>
  <name>Eldon</name>
  <email>eldonb...@aol.com</email>
  </author>
  <updated>2009-07-05T16:48:34Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/635d542e7b75df18/9398a75b2a7d4a4d?show_docid=9398a75b2a7d4a4d</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/635d542e7b75df18/9398a75b2a7d4a4d?show_docid=9398a75b2a7d4a4d"/>
  <title type="text">Re: Palin in 2012: Pignotti Ponders Peirce?</title>
  <summary type="html" xml:space="preserve">
  No, I&#39;ve already seen your spam repeated over and overr and over, &lt;br&gt; asshole. Why don&#39;t you restrict your weird conspiracy theory shit to &lt;br&gt; newsgroups where somebody might believe you. The denizens of &lt;br&gt; alt.religion.scientogy are a bit too cynical for this sort of &lt;br&gt; innuendo.
  </summary>
  </entry>
  <entry>
  <author>
  <name>ZerkonXXXX</name>
  <email>z...@erkonx.net</email>
  </author>
  <updated>2009-07-05T16:36:28Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/29d879d8a757dedd/021c8392b387985b?show_docid=021c8392b387985b</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/29d879d8a757dedd/021c8392b387985b?show_docid=021c8392b387985b"/>
  <title type="text">Re: Does the World have parts, objects, and relationships?</title>
  <summary type="html" xml:space="preserve">
  OK I see. How are do you defining these in the common necessities of &lt;br&gt; human utility?
  </summary>
  </entry>
  <entry>
  <author>
  <name>ZerkonXXXX</name>
  <email>z...@erkonx.net</email>
  </author>
  <updated>2009-07-05T16:05:34Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/11345e18c21d5755/da618e8a56b908cd?show_docid=da618e8a56b908cd</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/11345e18c21d5755/da618e8a56b908cd?show_docid=da618e8a56b908cd"/>
  <title type="text">Re: Rational discourse</title>
  <summary type="html" xml:space="preserve">
  Discourse: &lt;br&gt; 1. communication of thought by words; talk; conversation: earnest &lt;br&gt; and intelligent discourse. &lt;br&gt; 2. a formal discussion of a subject in speech or writing, as a &lt;br&gt; dissertation, treatise, sermon, etc. &lt;br&gt; 3. Linguistics. any unit of connected speech or writing longer than &lt;br&gt; a sentence. &lt;br&gt; Ok, check... but, oh oh...
  </summary>
  </entry>
  <entry>
  <author>
  <name>nashville tuning</name>
  <email>nashvilletun...@gmail.com</email>
  </author>
  <updated>2009-07-05T15:45:57Z</updated>
  <id>http://groups.google.com/group/sci.logic/browse_thread/thread/635d542e7b75df18/366a58ab2b7d0286?show_docid=366a58ab2b7d0286</id>
  <link href="http://groups.google.com/group/sci.logic/browse_thread/thread/635d542e7b75df18/366a58ab2b7d0286?show_docid=366a58ab2b7d0286"/>
  <title type="text">Palin in 2012: Pignotti Ponders Peirce?</title>
  <summary type="html" xml:space="preserve">
  The Competitive Enterprise Institute (CEI) flourished under the Bush &lt;br&gt; Administration. &lt;br&gt; Big Oil and Big Tobacco were “Chimp’s” friends. They could do no &lt;br&gt; wrong, and, when they did, CEI was handed a lot of money to cover it &lt;br&gt; up. &lt;br&gt; Those days are over. Saudi Arabia is worried about competition from &lt;br&gt; oil producers such as Russia, Iran, Azerbaijan, and Kazakhstan. They
  </summary>
  </entry>
</feed>
