https://groups.google.com/d/forum/sci.mathsci.mathMathematical discussions and pursuits.Google GroupsWilliam Elliot2014-04-20T08:10:40Zhttps://groups.google.com/d/topic/sci.math/bhZ9EtlwW8kV = LSet theory for this dicussion is ZF. V = L is the proposition that the universe of sets is constructable. Define by transfinite induction L_eta = P(\/{ L_xi | xi < eta }). Does V = L mean that for every set A, there's some ordinal eta with A in L_eta? Within ZF, can we prove L = \/{ L_eta | eta imuec...@rz.fh-augsburg.de2014-04-20T07:59:18Zhttps://groups.google.com/d/topic/sci.math/HJS741mHa3Q§ 480 Edward Nelson on Potential and Actual InfinityNumerals constitute a /potential infinity/. Given any numeral, we can construct a new numeral by prefixing it with S. Now imagine this potential infinity to be completed. Imagine the inexhaustible process of constructing numerals somehow to have been finished, and call the result the /set of all numdrhu...@gmail.com2014-04-20T00:10:13Zhttps://groups.google.com/d/topic/sci.math/aTKqUHj3DlMHow many symbolic calculator on smartphoneHow many symbolic calculator on smartphone ?The Starmaker2014-04-19T18:03:49Zhttps://groups.google.com/d/topic/sci.math/m3tsRF9jsyIEarth-likeDid you hear about the new Earth-like planet they discovered? It's Round like the Earth. That makes it habitable. Maybe got water and girls! Here's it's password:186f Don't forget to change your planet password every few months. 186f shouldn't the f me a capitol letter? It is round or thejonas.t...@gmail.com2014-04-19T14:11:32Zhttps://groups.google.com/d/topic/sci.math/fwc2MsBetLMHow do one write out that a filter on an expression?If we take a simple set x^y (is it a set?), let say i only plot out y= 3,5,7 in a graph how do i write that, and is it then a filter on set x^y? And the opposite let say i plot out all y except 3,5,7? And what about other arrangements like plotting out every second every third y, and so on?BV2014-04-19T11:56:59Zhttps://groups.google.com/d/topic/sci.math/vR_iydJIEIQThe Purpose Of Life & Muslim Spoken Word & The Daily ReminderThe Purpose Of Life & Muslim Spoken Word & The Daily Reminder http://www.youtube.com/watch?v=Wdhk2y6zFg4 Thank youzuhair2014-04-19T10:46:36Zhttps://groups.google.com/d/topic/sci.math/FhIfoo8BoTYA criterion for completenessThis is basically a trial to capture Isaacson's argument for completeness of PA. I'm not sure if it was explicitly stipulated by him or others in that manner: T is said to be Z-Complete iff there do not exist a statement S in the language of T such that ~ [(T+S)|- Con(T)] and there exist models M,Noercim2014-04-19T09:49:13Zhttps://groups.google.com/d/topic/sci.math/-sC6jYpSDsMminimaziton problem with unknown form of objective functionLet f(x,y)=0 which is an implicit function of x and y. Let, "y" be such a variable that I can control. I mean, I can give any value for "y" and then solve f(x,y). So "y" is my control varible, and "x" is uncontrlled. Let "x*" denote a solution for a a value of "y*". I have another function g(x*) whimuec...@rz.fh-augsburg.de2014-04-19T09:16:14Zhttps://groups.google.com/d/topic/sci.math/iyRBwGPgd_U§ 479 Herbert B. Enderton on Potential and Actual InfinityThere was no objection to a "potential infinity" in the form of an unending process, but an "actual infinity" in the form of a completed infinite set was harder to accept. [H.B. Enderton: "Elements of Set Theory", Academic Press, New York (1977) p. 14f] http://www.amazon.de/Elements-Set-Theory-HerbeWilliam Elliot2014-04-19T07:50:34Zhttps://groups.google.com/d/topic/sci.math/_lsfwOSylNcOrdinalsDoes the set of all ordinals exist within ZF?Archimedes Plutonium2014-04-19T05:22:16Zhttps://groups.google.com/d/topic/sci.math/rGm_qf8Edz4Cornell University math professors endorse Infinity borderline analysis proof to arxiv.orgNow I do not know what it is about Google that it has all these different colors of ink for sci.math. A black here, a blue there a purple there. Just have all the colors one color-- black and forget about this silly multicolors. I need to include this in the textbook of Correcting Math for many a tTim Rogers2014-04-18T23:46:55Zhttps://groups.google.com/d/topic/sci.math/RUKvSQEr09ITeaching a pig to fly: Dyslexia and mathematicsI have always loved the beauty of mathematics and physics. However I'm severely dyslexic and find it very hard to keep numbers in my head, in fact any more then 4 numbers at a time and they melt together and lose their meaning. (you know that feeling when you wake up after a lucid dream but as you tPeter2014-04-18T22:04:04Zhttps://groups.google.com/d/topic/sci.math/F01hkvwlzRkQuestion about dates of EasterHere's a chart showing dates of Easter in years 1800-2200: http://www.astro.uni.torun.pl/~kb/Efemerydy/EasterDates.htm Each Easter in March is marked by blue color and each Easter in April is marked by red color. By looking at it I made an interesting observation: Easter never occurs in March twisnmp2014-04-18T21:22:17Zhttps://groups.google.com/d/topic/sci.math/eEaErC-2onscorollaries to Lagrange's TheoremHi, I am new to groups and I have attempted the following proofs. Are these proofs correct? Thanks snmp ps: not homework problems. Some corollaries of Lagrange's Theorem. 1. Prove that if G is a finite group of order n and 'a' is an element of G then ord(a) divides |G| Proof: Let H = (a,a^2,.pedro2014-04-18T15:41:58Zhttps://groups.google.com/d/topic/sci.math/5Mi3-9XWJAsDoubts about Dedekind cutsCan anyone help me with two doubts about Dedekind cuts? See if you can understand my doubts. Here is the definition of a Dedekind cut: a Dedekind cut is defined to be a set of rationals alpha such that it's different from the empty set and the set of all rationals; and for all p and q in the rationdrhu...@gmail.com2014-04-18T15:06:14Zhttps://groups.google.com/d/topic/sci.math/HH1Wi1boCjcMathHandbook CAS on any smartphoneIt is an online graphic calculator and computer algebra system. It can perform exact, numeric, symbolic and graphic computation, e.g. arbitrary-precision calculation, solve equation, plot data and user-defined functions, linear regression, symbolic differentation and integration, pattern-match. It iAbraham A2014-04-18T14:40:59Zhttps://groups.google.com/d/topic/sci.math/PJp0yV8c2XUWhat's the reason for faster convergence of 1st degree Taylor polynomial approximation as compared to the 2nd degreeI thought the error diminishes as we increase the terms in Taylor polynomial approximation, yet here I am trying to solve for the interest rate by defining the IRR in terms of net present value and solving for the interest rate in a 1st degree and a 2nd degree Taylor polynomial approximation only toPOPE FRANCIS2014-04-18T14:18:15Zhttps://groups.google.com/d/topic/sci.math/WUxdjRLQckYEVEN THE VATICAN STUNNED BY $9.99 PURCHASE OF 1834 DARWIN PHOTO< "SANCTUM SANCTORUM CACAS!" < < GOOGLE NOTE: Our staff has painstakingly translated this reply into English (below) because, as everybody knows, almost nobody speaks Latin anymore. < < "HOLY SHIT!" < < ======================== < < RARE PHOTOGRAPH OF CHARLES DARmuec...@rz.fh-augsburg.de2014-04-18T09:32:49Zhttps://groups.google.com/d/topic/sci.math/L_MT5-q8AiY§ 478 Paul Lorenzen on Potential and Actual InfinityThe finite world-models of present natural science clearly show how the power of the idea of actual infinity has come to an end in classical (modern) physics. In this light the inclusion of the actual infinite into mathematics which explicitly started by the end of the last century with G. Cantor apArchimedes Plutonium2014-04-18T06:30:41Zhttps://groups.google.com/d/topic/sci.math/agA4Kz1qgtUshowing that the Renormalization in Physics QED is really just the method of starting with 10 Grid, then 100 Grid #1651 Correcting MathAlright, in a prior post of #1650, I was concerned about what type of algebra this set has, since its maximum and minimum nonzero numbers are the macro and micro infinity borderlines. numbers larger than 1*10^603 are infinite numbers and nonzero numbers smaller than 1*10^-603 are infinite numbers.Kevin Barry2014-04-17T23:58:27Zhttps://groups.google.com/d/topic/sci.math/oDDATtWHhJYIs Hinduism RedeemableSo the flash on the gospel goes something like: Really intelligent Jews make friends easily but none of Jesus' apostles were 'devotees'... as evidenced by the fact that it was every man for himself at the time of the crucifixion. Paul was a devotee who went to lengths not to aggravate the original aRT2014-04-17T20:30:24Zhttps://groups.google.com/d/topic/sci.math/vX_H0DMtuuEProbability Question... This seems to be a Real Stumper.Using 3 US pennies, you toss the three coins all at once and repeat the operation 6 times. What would be the probability of Event 1 duplicating itself exactly on the next six tosses of the coins? Key H(heads)=2 and T(tails)=3, Event 1 would translate into: Event 1 1st toss - HHT = 7 2nd toss -Pentcho Valev2014-04-17T16:55:58Zhttps://groups.google.com/d/topic/sci.math/ma8UwKSzJ4wEINSTEINIANS : CHILDREN OF THE UNIVERSEhttp://backreaction.blogspot.com/2014/04/the-problem-of-now.html Sabine Hossenfelder: "Most people get a general feeling of uneasiness when they first realize that the block universe implies all the past and all the future is equally real as the present moment, that even though we experience the prlarry harson2014-04-17T12:18:07Zhttps://groups.google.com/d/topic/sci.math/M803lsCknn4How does invariance of q wrt λ for a stationary functional, restrict the function?Suppose I have the following functional: S(q)=∫L(t,q(t),q′(t))dt where q(t) = x(t)+λ, and λ is a constant independent of t. If S(q) is stationary for a particular x(t) independent of λ, how does this restrict the form of the function L? Thanks in advance, Larry Harsonzuhair2014-04-17T12:13:37Zhttps://groups.google.com/d/topic/sci.math/I9K8MO97tm8Advances in defining mathematics and logicI think that I reached into the definition of logic and mathematics. Logic is the study of statement rule following. A pure logical symbol is a symbol to which no meaning can be attributed other than a role in establishing rule following. (Note: some would hold that this is equivalent to saying tKoos Nolst Trenite2014-04-17T11:15:33Zhttps://groups.google.com/d/topic/sci.math/WeCcNITKl40Protect your Perception: Don't sneeze, and use a LEF meter - {FPP Note 20140415-V2.0)' Protect your Perception: Don't sneeze, and use a LEF meter 15 April 2014 {FPP Note 20140415-V2.0) (Version 2.0 on 17 April 2014) ' If you WON'T even defend YOURSELF (your soul), what use are you then to others? [POLA] ' The point is here, to protect your Perception Energy and at the same time to pmuec...@rz.fh-augsburg.de2014-04-17T09:11:35Zhttps://groups.google.com/d/topic/sci.math/poUAfxC0Bds§ 477 Georg Cantor on Potential and Actual InfinityTo exclude this confusion from the outset I denote the smallest transfinite number by a symbol that differs from the usual symbol oo of the improper infinite, namely omega. In fact omega can be considered somehow as a limit which is approached by the variable, finite number nu, but only in the senseArchimedes Plutonium2014-04-17T05:26:05Zhttps://groups.google.com/d/topic/sci.math/CHgsBhuiOvkis sci math google working properlytestDan Christensen2014-04-16T13:14:37Zhttps://groups.google.com/d/topic/sci.math/bFe5u_61uEYTestTestKevin Barry2014-04-16T23:58:49Zhttps://groups.google.com/d/topic/sci.math/_DbGKPAk_7AClairvoyance and RoyaltyI suppose there is a joke to the notion that it should be OK to argue with Queen Elizabeth given the appropriate circumstance but somehow, I would anticipate that most Brits would disagree. America is deeply and profoundly in denial... so what makes me think that I'm not in denial? My Aunt Ruth is dlarry harson2014-04-16T17:29:43Zhttps://groups.google.com/d/topic/sci.math/UmQEfNkNC1wHow does invariance of q(t) wrt a parameter for a stationary functional, restrict the function?Suppose I have the following functional: S(q) = \int_{b}^{a}L(t, q(t), q'(t))dt and q(t) = x(t) + Y, where Y is a constant independent of t. If S(q) is stationary for a particular x(t) independent of Y, how does this restrict the form of the function L? Thanks in advance, Larry HarsonArchimedes Plutonium2014-04-16T22:31:13Zhttps://groups.google.com/d/topic/sci.math/f_4t7PeSMCktest if google is workingtestDeep2014-04-16T23:58:59Zhttps://groups.google.com/d/topic/sci.math/Xfgad8YDfZs--- --- --- conjectureConsider (1) below under the given conditions. z^2 - x^2 - y^k (1) Conditions: z, x, y are coprime integers each > 1, 2|y, prime k > 3. Parametric solutions of(1) are given as (1.1), (1.2), (1.3) where a, b are coprime odd integers. z = a^k + 2^(k-1)b^k (1.1) x = a^k -POPE FRANCIS2014-04-17T00:38:18Zhttps://groups.google.com/d/topic/sci.math/itaZXOW1YxkVATICAN RESPONSE: PRICELESS 1834 PHOTO SOLD ON EBAY FOR $9.99< "SANCTUM SANCTORUM CACAS!" < < GOOGLE NOTE: Our staff has painstakingly translated this reply into English (below) because, as everybody knows, almost nobody speaks Latin anymore. < < "HOLY SHIT!" < < ======================== < < RARE PHOTOGRAPH OF CHARLES DARWquasi2014-04-16T21:13:57Zhttps://groups.google.com/d/topic/sci.math/h1LqCZn4asoarea of a chordal regionA computational challenge problem (hard) ... Computer assistance allowed. Given a unit square, find the area of the region consisting of all points in the interior of the square which lie on some unit length chord having endpoints on adjacent sides. quasiArchimedes Plutonium2014-04-16T20:13:32Zhttps://groups.google.com/d/topic/sci.math/ncyAfmlExosreply to Dan Re: math professors of Cornell Univ to endorse infinity-borderline proofI know Google newsgroups is delayed or down. Date: Wed, 16 Apr 2014 13:08:02 -0700 (PDT) From: Archimedes Plutonium <plutonium....@gmail.com> To: plutonium-a...@googlegroups.com Message-Id: <mailto:cba4e91a-0054-46bc-b45c-0b471bbd1a46@googlegroups.com> Subject: math professors of Cornell Univ. to endorsehumbled survivor2014-04-16T21:41:49Zhttps://groups.google.com/d/topic/sci.math/HRfVuKxr-j8The Conical Spiral, ballisticshttp://stonetabernacle.com/cone.html This calculates the source of the gunshot by its conical shock wave. However there is rifling in the barrel causing the bullet to spin, which sweeps out a conical spiral on the surface of the cone of the shock wave. Towards the end of the page I take a look atMichael Jones2014-04-16T18:41:35Zhttps://groups.google.com/d/topic/sci.math/U1-8FEuJmZQSimple question regarding computational time complexityAssume a program A that receives as input an integer m and proceeds to print all numbers from 1 to m. The input length n is the number of bits needed to represent the input, i.e. i.e. n = O(logm). But the program will print m numbers, thus the total bits that it will print is O(m * logm). Thus AThe Starmaker2014-04-16T16:57:50Zhttps://groups.google.com/d/topic/sci.math/CU23Kak54Scfabricating imagesApril 16, 2014 8:20 a.m. ET A top scientist who co-wrote disputed studies on stem cells apologized on Wednesday over errors in the research but played down his role in directing it. Sasai, deputy director of the Riken Center for Developmental Biology , worked closely with lead author Haruko Obokathumbled survivor2014-04-16T13:02:33Zhttps://groups.google.com/d/topic/sci.math/hqKK_3b-OKUMach projectile, trilateration, space inversionhttp://www.stonetabernacle.com/ Mach projectile, trilateration, space inversion. -- Jon Giffen, author jon...@peoplepc.comPort5632014-04-16T11:55:17Zhttps://groups.google.com/d/topic/sci.math/AeaZh48nRrAA pretty property of circles (new to me, at least)I was given this in the form of a problem in plane geometry which was trivial to solve. So, instead, I will give you the underlying property, which IMO is pretty. (And can be generalised a little further). Let A be a closed figure comprising a semi-circumference of a circle and the diameter d_A bejonas.t...@gmail.com2014-04-16T08:35:53Zhttps://groups.google.com/d/topic/sci.math/LH13lm8_LWoAre sequenses of form x*y^n geometric foldings?I wrote a script that write out sequenses in the form of x*y^n and sum them as series searching for the x*y^n serie closest to a userspecies, are there a name for sequenses of this form. When i wrote it i was thinking in terms of foldings ΣAf=P*E^F Partition P Elements E Folds f So is the sequenmuec...@rz.fh-augsburg.de2014-04-16T07:45:25Zhttps://groups.google.com/d/topic/sci.math/GyITS-Vv8Po§ 476 Detlef Laugwitz on Potential and Actual InfinityNumbers serve the purposes of counting, mesuring and computing. [...] the logical short circuit that results from transforming the infinitely increasing number of digits of the potential infinite into an actual infinite and /identifying/ sqrt(2) with the never ending decimal representation 1.4142 ..Virgil2014-04-16T08:04:30Zhttps://groups.google.com/d/topic/sci.math/zFXZ66_bYkoRe: ï¿½ 476 Detlef Laugwitz on Potential and Actual InfinityIn article <mailto:b493a551-bb93-4abc-be3d-ec1c07280672@googlegroups.com>, muec...@rz.fh-augsburg.de wrote: > Numbers serve the purposes of counting, mesuring and computing. > [...] the logical short circuit that results from WM's thinking processes notwithstnding! --Robin Chapman2014-04-16T07:07:38Zhttps://groups.google.com/d/topic/sci.math/HVqW1TdW0LIRe: Write a book review, earn $250The only review so far is at http://www.amazon.com/product-reviews/1118810082/ref=cm_cr_dp_syn_footer?k=Developing%20Analytic%20Talent%3A%20Becoming%20a%20Data%20Scientist&showViewpoints=1 Is Mr/Ms/Dr Chang in line for Dr Granville's 250 bucks?snmp2014-04-15T23:51:38Zhttps://groups.google.com/d/topic/sci.math/g8HZZFs4yfEconjectureHi, This is a conjecture. Consider a,b co-prime positive numbers. If a^2 -ab + b^2 is a cube of an integer, then possible candidates for (a,b) are (a,b) = (1,1) or (-1,-1) or (1,0) or (-1,0) mod 18. (obviously a and b can be swapped). Is there a proof for this? Thanks snmpPiergiorgio Sartor2014-04-15T17:37:05Zhttps://groups.google.com/d/topic/sci.math/SIfY-sqQT3gKelly criterion and Proebsting's paradoxHi all, I hope this is the right NG to post such a question, in case I'm mistaken, please let me know a better place. I just run into the Kelly criterion, which, I guess, I understood (but maybe not). Following it, I discovered the Proebsting's paradox. At this point, I got confused. I also triedKevin Barry2014-04-15T17:04:36Zhttps://groups.google.com/d/topic/sci.math/nqn0KkUrcS4Why Hawking Can't Be BeatThe obvious thing to say about Hawking is that it doesn't really seem to matter if he is asleep or dead most of the time. His support staff keeps him on schedule. Would it surprise anyone if other people wrote his speeches for him and he is wheeled out onto the stage to deliver it? Schedule is whatPeter Percival2014-04-15T15:56:00Zhttps://groups.google.com/d/topic/sci.math/X6kzofFne78Spot the errors...H.E. Rose's A course in number theory(*) has a prerequisites section. Item (iii) reads: "Euler's integral theorem. There is a constant gamma (= 0.56...), called the Euler constant, such that, if x >= 1, int_1^x = ln x + gamma + O(1/x), where ln denotes the natural logarithm function." That's a