Hi, Thanks for your recent visit, http: / / www. nandoism. com --come back to read my series on the inauguration--it will make you laugh, cry and get a touch of hypothermia! And please join the community as it's growing with great bloggers like yourself. And leave a comment...they make me feel like a new Barbie Doll, shiny and plastic!

hi buddy... here is my new site www. techmachi. com

Hello! what was normal sex practice, in ASIA, come latter in the rest of the world; SONG in B-mol, E-mol; I like Wagner, like HITLER's like Eva Braun; It's a roumor, but seems to be This pair invent the beating for good sex, skiny dessues, bed's rope's using; flagelation, masturbation and whole, makes GOD in our days angry -from "LUMEA- THE WORLD"; YESTERDAY, I'll Heard "The BEATLES" on RAIN WEBSITE: EXCELLENT IDEA; YESTERDAY VAN DEN HAGUE INTERNATIONAL COURT, president, MRS. Higgins- some physician fiind out higgs-bosons -called "GOD's particle"for Serpent's Island; ROMANIA SENT A MAP; UKRAINE SENT ANOTHER; I WACH THOSE MAPS, BECAUSE "On n'a rien compris- students dans francaise en ZAIR's Schools"; I take COURT'S MAPS: like mathematician, was easy to observe, wrong bi-sectors of an angle; In adition MOLDAVIA of the KING STEPHEN the BIG and SAINT-47 VICTORIES AGAINST TURKISH EMPIRE- 47 CHURCHES and MONASTERIES built in HONOR AND GOD's GLORY for those VITORIES; I'm a DIRECT (DC) PERSSON: AFTER THE VERDICT OF DEN HAGUE INTERNATINAL COURT: "On n'a rien compris", but, know the ISLAND -A SMALL ROCK, WITHOUT IMPORTANCE, WHERE THE PEOPLES OF ILLE DES SERPENT PRESERVE JUST LONG RANGE NOOK MISSILES AND WHAT A FARMER HAVE DROP IN THE BARN- STAY FACE BY FACE WITH USA ARMY DISLOCATED ON THE COAST OF THE BLACK SEA and because, now, the Ille des Serpent c'est Divisee, two OF MOST DANGEROUSS ARMIES WILL STAY EACH DAY TO PATROL SIDE BY SIDE; MAYBE, IF THEY MADE A PIDJIN LANGUAGE- will cooperate in night poker games, some drinking-CONTESTS, SHOOT AT THE TARGET WITH DIFFERENT WEAPPONS, HIT THE TARGET WITH THE KNIVES, Bals, SPORTS and news; Hi, SCI- FI, AWESOME;s CALLED YOU; HI SCI-FI;DO YOU LIKE STARGATE OR STARGATE ATLANTIS or maybe FARSCAPE - SATURN AWARDED ; YES, KIND SATURN; MANY PLANETS HAVE RINGS; ORGANIZE WEDDINGS THERE: HEBREWS REVENGE AFTER 5000 years UPON EGIPTIANS () 7 days WAR, in 1957 Hai! Thanks for interests, not in all cases I could look up for your materials; some axiomatic math theory build you know, you reffer all rhe time to definition of WIKI; WIKI has classic and newer; newer's not "true with necessiry", as you claims; constuctivism is a method and is your buisenrss if you preffered or not; Most imporatant: 1 ) exist maby branches build without an axiomatic system; 2 ) Reality is shown by physics; 3) Math model is are elected by physical relevance; 4) You did 'n 't remember postulate or experimental relevance or predictions; 5 ) I conclude you wanna waist my time, repeating WIKI definition; 6 ) I did 'n; t knew about you to wrote something; 7 ) You did'n't mention GERMAN or FRENCH mathematicians Remark: For many Years Maths School, Physic School from Romania, IT -School, have just three competitors: a ) USA, RUSSIA, CHINA b ) Israel have a different MATH, PHYS, IT values, you was unable to verify the HOLY BIBLE with "modern" Sciences, like ME, for instance c ) My book is your shok wave, and I'm your nightmare in another nightmare; d) Check your rank in sciences, in the world e) because your arogance (unjustify- cause you was GOD's people, in the past, but know you are nothing but FASCIST comitting GENOCIDS, after you KILLED the SON of GOD, you are no more GID's people) ; f ) HITLER's not dead, is your ANTICHRIST; since know you are not even jewgarbage, you are JEW-FASCIST GARBAGE; I recignize your iritation, when you about GERMAN Mathematicians; g ) Your proud precede your fail; h ) What do you INVENT ? Words? Talmoud ! Succsess in the bottom of HELL, JUDAS MESSIAH VERYSIGN, AWESOME „STEEL GUARDS” COMMANDER On Wed, Feb 4, 2009 at 3:23 PM, sci.logic group wrote: sci.logic http: / / groups. google. com/ group/ sci. logic? hl=en Today's most active topics: * The modern mathematical concept of infinity is ... - 15 new http: / / groups. google. com/ group/ sci. logic/ t/ bda172b132efb331? hl=en * axiom of cardinality in boolean algebra? - 13 new http: / / groups. google. com/ group/ sci. logic/ t/ 83dfcf92add54204? hl=en * Modal logic: a simple question - 10 new http: / / groups. google. com/ group/ sci. logic/ t/ 8739254141ee38c0? hl=en * #209 Chapter 7, All Possible Digit Arrangements builds the Reals and Naturals, better than Peano and Dedekind; new book 2nd edition: New True Mathematics - 8 new http: / / groups. google. com/ group/ sci. logic/ t/ 1a77ed0bacf596b6? hl=en * What is this property of relations called? - 8 new http: / / groups. google. com/ group/ sci. logic/ t/ 37267d81361a8538? hl=en Active Topics ------------- What is this property of relations called? - 8 new -------------------- -------------------- ---------- ...Should anyone be interested, this thread has turned into a discussion of certain definitions in the first few pages of Jean-Louis Krivine (translated by David Miller) _Introduction to Axiomatic Set Theory_ Reidel, 1971. It is reviewed by Azriel Levy in JSL, 39(1), 1974, pp 180-181. I don't have access to this. - Tues, Feb 3 2009 4:10 am 8 messages , 3 authors http: / / groups. google. com/ group/ sci. logic/ t/ 37267d81361a8538? hl=en The modern mathematical concept of infinity is indefensible - 2 new -------------------- -------------------- -------------------- ------- ...What was misleading and bizarre was your expressing the triviality, that in case of statements that aren't logical truths or falsehoods we can find a way of assigning meaning to the non-logical terms so that the statement comes out true and also so that it comes out false, by saying that the negation of the codification of an important truth - Tues, Feb 3 2009 4:22 am 2 messages , 2 authors http: / / groups. google. com/ group/ sci. logic/ t/ aa23ba5baa7661e6? hl=en having relatively short formal proofs and the class NP - 1 new -------------------- -------------------- -------------------- -- ...True. I think then the P=NP algorithm should then be able to tell us in polynomial time that there is no proof shorter than m for S, where | S| = n and m depends somehow polynomially from n. - Tues, Feb 3 2009 4:29 am 1 message, 1 author http: / / groups. google. com/ group/ sci. logic/ t/ b7d148dca82a9532? hl=en Pet Bed China www. skpetproducts. com China Pet Bed, Pet Bed Manufacturers, China Pet Bed Suppliers - 2 new -------------------- ----------- Dog boots Dog Shoes Pet Pendant Dog Sweater Pet Sweater Pet Charms Pet Jewelry Home » Product Directory » Sporting Goods & Recreation » Pet Supplies » Pet Clothes » Dog Shoes china dog boot Competitive Dog Shoes products from various China Dog Shoes manufacturers and Dog Shoes suppliers are listed below, please view - Tues, Feb 3 2009 4:53 am 2 messages , 2 authors http: / / groups. google. com/ group/ sci. logic/ t/ 5bf0b98c0967af6c? hl=en The modern mathematical concept of infinity is indefensible - 3 new -------------------- -------------------- -------------------- ------- ...The distinction between "expressible" and "representable" is standard, but the definitions of these terms is not. This distinction is not in any apparent way relevant here, whatever definitions one has in mind. George seems to be saying that the usual formalisation of "ZFC is consistent" is somehow incorrect or inadequate, presumably because of - Tues, Feb 3 2009 4:53 am 3 messages , 2 authors http: / / groups. google. com/ group/ sci. logic/ t/ a4594d031c5e13ad? hl=en The modern mathematical concept of infinity is ... - 15 new -------------------- -------------------- ------------------- ... Dik T. Winter schrieb: ... If a b than a = b+1 or a b+1 or, for sure, in another notation: a b a = b+1 or a b+1 So you claim that in the floating-point numbers on a computer (actually discrete quantities and finitely many too), the relation 1.5 1 - Tues, Feb 3 2009 4:54 am 15 messages , 10 authors http: / / groups. google. com/ group/ sci. logic/ t/ bda172b132efb331? hl=en Modal logic: a simple question - 10 new -------------------- ------------------- Hi everybody! I'm studying modal logic and I've a question that probably is simple: I need to prove that □p -- ◊p, also known as axiom D, is not valid in the class of all frames? If you can read correctly all chars it is: box p implies diamond p. I belived that axioms are always valid... but it seems I'm wrong. - Tues, Feb 3 2009 6:50 am 10 messages , 4 authors http: / / groups. google. com/ group/ sci. logic/ t/ 8739254141ee38c0? hl=en Gentzen's hauptsatz - 6 new -------------------- ------- ...Gentzen's Haupsatz, cut-elimination for first-order logic, does not yield consistency of PA. (It is provable already in PRA.) You're thinking of a different result, also due to Gentzen. - Tues, Feb 3 2009 7:01 am 6 messages , 3 authors http: / / groups. google. com/ group/ sci. logic/ t/ 99861138eb68e518? hl=en For All x - 6 new ----------------- ...I was not able to convey my question precisely. One more attempt. Suppose we have a set theory with just one axiom: Ez Ax ~x e z [i.e there is a null set 0] Would every set that contains 0 be a domain for a model of this theory? In particular, would the truth value of Ax x=0 depend on the pre- selected domain? - Tues, Feb 3 2009 7:40 am 6 messages , 3 authors http: / / groups. google. com/ group/ sci. logic/ t/ db7f2bf70003f0c6? hl=en More data definitions of the C variables - 1 new -------------------- -------------------- -------- Where might I find a resolution of the ISO code for pre-lexical variations in the C process? Nothing available from CERN or IEEE definitions. How involved mathematically is such an equation? And does the fwide orientation factor this into the physics? Markov "testing... testing..." - Tues, Feb 3 2009 8:00 am 1 message, 1 author http: / / groups. google. com/ group/ sci. logic/ t/ 6de912e29628be30? hl=en #209 Chapter 7, All Possible Digit Arrangements builds the Reals and Naturals, better than Peano and Dedekind; new book 2nd edition: New True Mathematics - 8 new --- ...I get the idea. ...Aye, there's the rub! Not all entries will correspond to natural numbers. In particular, your string ...999999 (all 9's) is not a natural number. Neither is ...11111 (all 1's), or ...22222 (all 2's), etc. And I'm quite sure you cannot prove (from PA plus suitable + and ^ functions) that - Tues, Feb 3 2009 8:10 am 8 messages , 4 authors http: / / groups. google. com/ group/ sci. logic/ t/ 1a77ed0bacf596b6? hl=en operation terminology for Boolean algebras, logic, set theory, and computer science - 3 new --------------- ...constant zero ...constant one -paul- - Tues, Feb 3 2009 9:23 am 3 messages , 3 authors http: / / groups. google. com/ group/ sci. logic/ t/ c1e9a7beb9a82311? hl=en axiom of cardinality in boolean algebra? - 13 new -------------------- -------------------- --------- Boolean algebra is well known to be algebraic representation of Propositional calculus. However, I'm not certain if I ever came across an axiom that explicitly states that there are only 2 values T and F such as T | F. ( whatever T and F BA expressions might be). In other words, am I right to assume that for BA to be faithful representation of Propositional - Tues, Feb 3 2009 10:45 am 13 messages , 3 authors http: / / groups. google. com/ group/ sci. logic/ t/ 83dfcf92add54204? hl=en Liar paradox (Philosophy Now, Wittgenstein) - 6 new -------------------- -------------------- ----------- ...Yes, idiot. And YOU are an even bigger one. Herb - Tues, Feb 3 2009 11:15 am 6 messages , 4 authors http: / / groups. google. com/ group/ sci. logic/ t/ 61909906042e8993? hl=en Comments on P = NP Proof - 2 new -------------------- ------------ Has anyone looked at this paper? A Polynomial Time Algorithm for 3-SAT [link] I think I read a review that tore it apart and showed several examples of 3SAT instances where this method failed. But, I can't seem to find the article I read. Also, I am looking for relatively small - Tues, Feb 3 2009 1:48 pm 2 messages , 2 authors http: / / groups. google. com/ group/ sci. logic/ t/ 89cba941ed0af9d8? hl=en potential/constant/v ariable confusion - 1 new -------------------- -------------------- ----- ...Not exactly. It doesn't mean "set" AT ALL as far as we're concerned: it is about a set VARIABLE that can take DIFFERENT values. The mathematical entities that WE talk about are, by contrast, CONSTANTS. WE DON'T DO *time*. THEY (the "potential infinity" people) are talking about ONE AND THE SAME SET having MORE members at a LATER time, - Tues, Feb 3 2009 3:34 pm 1 message, 1 author http: / / groups. google. com/ group/ sci. logic/ t/ 31a187d244fa97da? hl=en practical application of Godel's Incompleteness Theorem - 4 new -------------------- -------------------- -------------------- --- Is there any statement S, - other than the Godel statenent for a theory T,- that is provable in T+G(T) but not provable in T? would the statement: S: "G(T) is true but unprovable in T AND 1+1=2" qualify as such a statment? (If there does not exist such an S, then since the only thing that T+G (T) would prove in addition to what T proves would be just G(T) - Tues, Feb 3 2009 3:54 pm 4 messages , 4 authors http: / / groups. google. com/ group/ sci. logic/ t/ cc511618d2da7310? hl=en The modern mathematical concept of infinity is indefensible - 1 new -------------------- -------------------- -------------------- ------- ...Russell's point was that 1,2,3,... is only one possible ordering of the naturals. But yes, there is a "mathematical" reason that 2 is the successor of 1 and the predecessor of 3. However, it has been pointed out to you before that there are other mathematically sound systems that are not inherently based - Tues, Feb 3 2009 3:54 pm 1 message, 1 author http: / / groups. google. com/ group/ sci. logic/ t/ 9d7af6ce70e95e03? hl=en The modern mathematical concept of infinity is indefensible - 1 new -------------------- -------------------- -------------------- ------- ...More correctly, what is indespenable is the study of how human minds create and manipulate abstractions (metaphors) for pretty much everything and anything. Once we discover how a person conceives of a cat, for example, we pretty much know how he also conceives of a dog, a horse, and perhaps all animals in general. - Tues, Feb 3 2009 4:02 pm 1 message, 1 author http: / / groups. google. com/ group/ sci. logic/ t/ 730b7bb3c0cfaaeb? hl=en 2nd order replacement and non-standard models of ZF? - 1 new -------------------- -------------------- -------------------- I'm asking this question on behalf of someone else who wants to know more about it: If one takes a second-order axiom of replacement, one can prove that ZF has non-standard interpretations, as mentioned in Stewart Shapiro's book on second order logic. Can anyone supply an outline on this? Thanks, MoeBlee - Tues, Feb 3 2009 5:39 pm 1 message, 1 author http: / / groups. google. com/ group/ sci. logic/ t/ 9d6a24e03c65547d? hl=en A Modest Proposal - 3 new -------------------- ----- On Feb 3, 3:42 am, stevendaryl3...@yaho o.com (Daryl McCullough) helpfully and politely observed: ...As I have said many times, the simplest way to avoid avoidable confusion, is to avoid using terms used in one context, for similar but essentially different things in another context. ...Exactly so. We can still use "real" when it doesn't make any - Tues, Feb 3 2009 6:45 pm 3 messages , 3 authors http: / / groups. google. com/ group/ sci. logic/ t/ cef400b1973fefc4? hl=en Pet Bed in Car www. skpetproducts. com China Dog Beds Mat Seat in Car Soft Crate pad - 1 new ----------- Pet Bed in Car [link] China Dog Beds Mat Seat in Car Soft Crate pad • When choosing a dog bed, consider your dog's size and choose one that will fit him as an adult. • Consider a dog bed that fits in his crate to make his “home” more comfortable. • When testing the bed filling, it should be springy, not compacted, - Tues, Feb 3 2009 8:02 pm 1 message, 1 author http: / / groups. google. com/ group/ sci. logic/ t/ a8eb3d5997099e24? hl=en PANORAMARE - 2 new ------------------ RETURN FROM TURNEUM FOR TURNIR WITH ALIENS be jealouss: this is good for your feromonial activity; don't you see what you have on your face? Hi! AWESOME's say HI! HELLO! excuse mois pour deranjer, peut etre a c'est dimanche de la fines des toutes crepouscules (twilight), by I want to confesed to you; I'never confess to womens is the most dangerouss, but in these - Tues, Feb 3 2009 9:07 pm 2 messages , 1 author http: / / groups. google. com/ group/ sci. logic/ t/ eb8d9d34e6c10af4? hl=en & 1 Samuel 25v42 - 1 new -------------------- ---- And Abigail hasted, [link] and arose, and rode upon an ass, with five damsels of hers that went after her; and she went after the messengers of David, and became his wife. Please TURN! to page 288 of your king james green covered bible printed with one page printed in korea with me and have a look at this particularly - Wed, Feb 4 2009 12:30 am 1 message, 1 author http: / / groups. google. com/ group/ sci. logic/ t/ 8e8903118aab4f7b? hl=en ==================== ==================== ==================== ================== You received this message because you are subscribed to the Google Groups "sci.logic" group. To post to this group, send email to sci.l ogic@googlegroups.co m or visit http: / / groups. google. com/ group/ sci. logic? hl=en To unsubscribe from this group, send email to sci.logic+unsub scribe@googlegroups. com To change the way you get mail from this group, visit: http: / / groups. google. com/ group/ sci. logic/ subscribe? hl=en To report abuse, send email explaining the problem to abuse @googlegroups.com ==================== ==================== ==================== ================== Google Groups: http: / / groups. google. com/ ? hl=en Posted by iontudormath at 00:21 0 comments Labels: AWESOME "STEEL GUARDS" COMMANDER BRAND Reactions: AUX REVOIR MEDAME ET MESIEUR, lE SOLEIL BRILLANT SUR LES PAYS DES VERCINGETORIX; PILLIPE LE BEUAX, RETOURNEE TOUTES LE ROYAUME DE FRANCAISE, POUR LES CREDITEUR !!!- HEBREW, IN HIS MODE OF KINGROULE LA FRANCE !!!

Hello there! I've added you in my contact list and joined your community. I have just visited your blog and I must say you've done a good job putting it together as I believe a lot of visitors will find it very useful. I would like you to visit my site, comments and suggestion are also welcome and appreciated. Thanks

Feature Alert! Find others you may know who are already kickin' it on MyBlogLog. Friender searches your friend lists across the web to suggest new contacts. http: / / mybloglog. com/ user/ friender - The MyBlogLog crew

Hi Anthony LaFauce ! Nice to meet you, please visit http: / / muebook. blogspot. com/ to find many interesting things

welcome to the community - come drop by sometime matey, newman

hi.. how are oyu? have a nice day..