Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-08-09 Thread Rustom Mody
On Sunday, August 9, 2015 at 2:57:20 AM UTC+5:30, Marko Rauhamaa wrote: Marko Rauhamaa : Steven D'Aprano : The contemporary standard approach is from Zermelo-Fraenkel set theory: define 0 as the empty set, and the successor to n as the union of n and the set containing n: 0 = {}

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-24 Thread Grant Edwards
On 2015-07-24, Paul Rubin no.email@nospam.invalid wrote: Grant Edwards invalid@invalid.invalid writes: You can always pick out the topologist at a conference: he's the one trying to dunk his coffee cup in his doughnut. Did you hear about the idiot topologist? He couldn't tell his butt from

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-24 Thread Mark Lawrence
On 24/07/2015 15:13, Grant Edwards wrote: On 2015-07-24, Paul Rubin no.email@nospam.invalid wrote: Grant Edwards invalid@invalid.invalid writes: You can always pick out the topologist at a conference: he's the one trying to dunk his coffee cup in his doughnut. Did you hear about the idiot

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-24 Thread Paul Rubin
Grant Edwards invalid@invalid.invalid writes: Did you hear about the idiot topologist? He couldn't tell his butt from a hole in the ground, but he *could* tell his butt from two holes in the ground. Wow. Now I know _two_ topologist jokes. The girls are going to be impressed! I got it

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Marko Rauhamaa
Chris Angelico ros...@gmail.com: Fortunately, we don't need to completely understand it. New Horizons reached Pluto right on time after a decade of flight that involved taking a left turn at Jupiter... we can predict exactly what angle to fire the rockets at in order to get where we want to

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Grant Edwards
On 2015-07-23, Marko Rauhamaa ma...@pacujo.net wrote: Chris Angelico ros...@gmail.com: Fortunately, we don't need to completely understand it. New Horizons reached Pluto right on time after a decade of flight that involved taking a left turn at Jupiter... we can predict exactly what angle to

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Chris Angelico
On Fri, Jul 24, 2015 at 7:59 AM, Marko Rauhamaa ma...@pacujo.net wrote: Laura Creighton l...@openend.se: In a message of Fri, 24 Jul 2015 00:29:28 +0300, Marko Rauhamaa writes: At the time I was in college I heard topology was very fashionable among mathematicians. That was because it was one

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread MRAB
On 2015-07-23 22:50, Mark Lawrence wrote: On 23/07/2015 22:29, Marko Rauhamaa wrote: Chris Angelico ros...@gmail.com: Fortunately, we don't need to completely understand it. New Horizons reached Pluto right on time after a decade of flight that involved taking a left turn at Jupiter... we can

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Laura Creighton
In a message of Thu, 23 Jul 2015 23:01:51 +0100, MRAB writes: And an Apple engineer would suggest buying a new car that runs only on its manufacturer's brand of fuel. :-) Before you do that, read this: http://teslaclubsweden.se/test-drive-of-a-petrol-car/ (ps, if you can read Swedish, the

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Mark Lawrence
On 23/07/2015 22:29, Marko Rauhamaa wrote: Chris Angelico ros...@gmail.com: Fortunately, we don't need to completely understand it. New Horizons reached Pluto right on time after a decade of flight that involved taking a left turn at Jupiter... we can predict exactly what angle to fire the

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Marko Rauhamaa
Ian Kelly ian.g.ke...@gmail.com: Gravity existed before Newton, but the *theory* of gravity did not, so he composed the theory? Ironically, gravity is maybe the least well understood phenomenon in modern physics. Marko -- https://mail.python.org/mailman/listinfo/python-list

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Mark Lawrence
On 23/07/2015 23:01, MRAB wrote: On 2015-07-23 22:50, Mark Lawrence wrote: On 23/07/2015 22:29, Marko Rauhamaa wrote: Chris Angelico ros...@gmail.com: Fortunately, we don't need to completely understand it. New Horizons reached Pluto right on time after a decade of flight that involved

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Laura Creighton
In a message of Fri, 24 Jul 2015 00:29:28 +0300, Marko Rauhamaa writes: Chris Angelico ros...@gmail.com: Fortunately, we don't need to completely understand it. New Horizons reached Pluto right on time after a decade of flight that involved taking a left turn at Jupiter... we can predict

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Marko Rauhamaa
Laura Creighton l...@openend.se: In a message of Fri, 24 Jul 2015 00:29:28 +0300, Marko Rauhamaa writes: At the time I was in college I heard topology was very fashionable among mathematicians. That was because it was one of the last remaining research topics that didn't yet have an application.

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Chris Angelico
On Fri, Jul 24, 2015 at 7:50 AM, Mark Lawrence breamore...@yahoo.co.uk wrote: Heard the one about the three engineers in the car that breaks down? The chemical engineer suggests that they could have contaminated fuel. They should try and get a sample and get someone to take it to a lab for

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Rustom Mody
On Thursday, July 23, 2015 at 12:28:19 PM UTC+5:30, Gregory Ewing wrote: Rustom Mody wrote: Ive known good ones) most practicing-mathematicians proceed on the assumption that they *discover* math and not that they *invent* it. For something purely abstract like mathematics, I don't

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Rustom Mody
On Friday, July 24, 2015 at 2:59:41 AM UTC+5:30, Marko Rauhamaa wrote: Chris : Fortunately, we don't need to completely understand it. New Horizons reached Pluto right on time after a decade of flight that involved taking a left turn at Jupiter... we can predict exactly what angle to

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Rick Johnson
On Thursday, July 23, 2015 at 7:08:10 PM UTC-5, Grant Edwards wrote: You can always pick out the topologist at a conference: he's the one trying to dunk his coffee cup in his doughnut. [Hey, how often do you get to use a topology joke.] Don't sale yourself short Grant. You get extra bonus

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Paul Rubin
Grant Edwards invalid@invalid.invalid writes: You can always pick out the topologist at a conference: he's the one trying to dunk his coffee cup in his doughnut. [Hey, how often do you get to use a topology joke.] Did you hear about the idiot topologist? He couldn't tell his butt from a hole

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Rick Johnson
On Thursday, July 23, 2015 at 9:03:15 PM UTC-5, Paul Rubin wrote: Did you hear about the idiot topologist? He couldn't tell his butt from a hole in the ground, but he *could* tell his butt from two holes in the ground. This sounds more like a riddle than a joke. So in other words: the message

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Ian Kelly
On Jul 22, 2015 9:46 PM, Steven D'Aprano steve+comp.lang.pyt...@pearwood.info wrote: On Thursday 23 July 2015 04:09, Rustom Mody wrote: tl;dr To me (as unprofessional a musician as mathematician) I find it arbitrary that Newton *discovered* gravity whereas Beethoven *composed* the 9th

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Chris Angelico
On Fri, Jul 24, 2015 at 6:59 AM, Marko Rauhamaa ma...@pacujo.net wrote: Ian Kelly ian.g.ke...@gmail.com: Gravity existed before Newton, but the *theory* of gravity did not, so he composed the theory? Ironically, gravity is maybe the least well understood phenomenon in modern physics.

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Gregory Ewing
Rustom Mody wrote: Ive known good ones) most practicing-mathematicians proceed on the assumption that they *discover* math and not that they *invent* it. For something purely abstract like mathematics, I don't see how there's any distinction between discovering and inventing. They're two words

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Rustom Mody
On Thursday, July 23, 2015 at 12:28:19 PM UTC+5:30, Gregory Ewing wrote: Rustom Mody wrote: Ive known good ones) most practicing-mathematicians proceed on the assumption that they *discover* math and not that they *invent* it. For something purely abstract like mathematics, I don't

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-23 Thread Marko Rauhamaa
Steven D'Aprano st...@pearwood.info: I think that we can equally choose the natural numbers to be axiomatic, or sets to be axiomatic and derive natural numbers from them. Neither is more correct than the other. Mathematicians quit trying to define what natural numbers mean and just chose a

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Laura Creighton
One way to look at this is to see that arithmetic is _behaviour_. Like all behaviours, it is subject to reification: see: https://en.wikipedia.org/wiki/Reification and especially as it is done in the German language, reification has this nasty habit of turning behaviours (i.e. things that are

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Steven D'Aprano
On Thu, 23 Jul 2015 02:58 am, Steven D'Aprano wrote: 1. We have reason to expect that the natural numbers are absolutely fundamental and irreducible That's wrong. If we had such a reason, we could state it: the reason we expect natural numbers are irreducible is ... and fill in the blank.

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Rustom Mody
On Wednesday, July 22, 2015 at 11:22:57 PM UTC+5:30, Oscar Benjamin wrote: On Wed, 22 Jul 2015 at 18:01 Steven D'Aprano st...@pearwood.info wrote: I think that the critical factor there is that it is all in the past tense. Today, I believe, the vast majority of mathematicians fall into

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Rustom Mody
Nice Thanks for that Laura! I am reminded of | The toughest job Indians ever had was explaining to the whiteman who their | noun-god is. Repeat. That's because God isn't a noun in Native America. | God is a verb! From http://hilgart.org/enformy/dma-god.htm On Wednesday, July 22, 2015 at

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Laura Creighton
In a message of Wed, 22 Jul 2015 10:49:13 -0700, Rustom Mody writes: Nice Thanks for that Laura! I am reminded of | The toughest job Indians ever had was explaining to the whiteman who their | noun-god is. Repeat. That's because God isn't a noun in Native America. | God is a verb! From

OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Steven D'Aprano
On Wed, 22 Jul 2015 11:34 pm, Rustom Mody wrote: On Tuesday, July 21, 2015 at 4:09:56 PM UTC+5:30, Steven D'Aprano wrote: We have no reason to expect that the natural numbers are anything less than absolutely fundamental and irreducible (as the Wikipedia article above puts it). It's

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Paul Rubin
Steven D'Aprano st...@pearwood.info writes: That's wrong. If we had such a reason, we could state it: the reason we expect natural numbers are irreducible is ... and fill in the blank. But I don't believe that such a reason exists (or at least, as far as we know). However, neither do we have

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Oscar Benjamin
On Wed, 22 Jul 2015 at 18:01 Steven D'Aprano st...@pearwood.info wrote: I think that the critical factor there is that it is all in the past tense. Today, I believe, the vast majority of mathematicians fall into two camps: (1) Those who just use numbers without worrying about defining them

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Rustom Mody
On Wednesday, July 22, 2015 at 11:18:23 PM UTC+5:30, Paul Rubin wrote: Remember also that in ultrafinitism, Peano Arithmetic goes from 1 to 88 (due to Shachaf on irc #haskell). ;-) No No No Its 42; Dont you know? -- https://mail.python.org/mailman/listinfo/python-list

Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Rustom Mody
On Tuesday, July 21, 2015 at 4:09:56 PM UTC+5:30, Steven D'Aprano wrote: We have no reason to expect that the natural numbers are anything less than absolutely fundamental and irreducible (as the Wikipedia article above puts it). It's remarkable that we can reduce all of mathematics to

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Chris Angelico
On Thu, Jul 23, 2015 at 11:44 AM, Dennis Lee Bieber wlfr...@ix.netcom.com wrote: On Thu, 23 Jul 2015 03:21:24 +1000, Steven D'Aprano st...@pearwood.info declaimed the following: Are tomatoes red? In answer I offer a novel: /Fried Green Tomatoes at the Whistle Stop Cafe/ (and lots of

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Steven D'Aprano
On Thursday 23 July 2015 03:48, Paul Rubin wrote: Steven D'Aprano st...@pearwood.info writes: That's wrong. If we had such a reason, we could state it: the reason we expect natural numbers are irreducible is ... and fill in the blank. But I don't believe that such a reason exists (or at

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Steven D'Aprano
On Thursday 23 July 2015 04:09, Rustom Mody wrote: tl;dr To me (as unprofessional a musician as mathematician) I find it arbitrary that Newton *discovered* gravity whereas Beethoven *composed* the 9th symphony. Newton didn't precisely *discover* gravity. I'm pretty sure that people before

Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?]

2015-07-22 Thread Mark Lawrence
On 22/07/2015 19:14, Laura Creighton wrote: I don't suppose anybody could spare a bit of time for something that is slightly more important IMHO, like getting the core workflow going? I'm fairly well convinced that the vast majority of people here aren't in the slightest bit interested in