ie, for any next number candidate you can say, give me the one epsilon closer
― flopson, Sunday, January 3, 2016 9:52 PM Bookmark Flag Post Permalink
right, but since the proof it exists is nonconstructive, you can't pick any particular candidate and actually execute that construction. that's why there's not a contradiction.
― big WHOIS aka the nameserver (s.clover), Monday, 4 January 2016 03:37 (eight years ago) link
or i think i'm tangling myself here. that's why explicit infinitesimals are not a contradiction in a system like synthetic differential geometry without excluded middle. with regards to standard analysis, ignore all this :-)
― big WHOIS aka the nameserver (s.clover), Monday, 4 January 2016 04:03 (eight years ago) link
hey so, math thread, as a programmer/computer science type and not a mathematician at all I stopped fucking with continuous domains after taking multivariable calculus in high school, so the diffeq and analysis and algebra sequence is pretty much unknown to me at any level of sophistication. Is there a good book/resource/PDF/set of lecture notes out there where I can learn, like, some "greatest hits" of analysis without tons of additional prerequisites? Like idk precisely what I'm asking for, I just have this sense that there's some Fun Facts About the Reals that I could get a sense of with appropriate scaffolding but without having to like consume three semesters' worth of course material.
― pizza rolls are a food that exists (silby), Monday, 4 January 2016 18:09 (eight years ago) link
i only took up to analysis 4 but you could always download a pdf of Rudin and read the definitions and theorems skipping the proofs
― flopson, Monday, 4 January 2016 18:38 (eight years ago) link
does anyone know if there's an R equivalent to STATA's .do files? i'm switching over to R from STATA cuz they don't own a license to the latter at my job and i feel like i've exhausted what i can get out of vba/excel, and i really liked those .do files when i was in school
― flopson, Tuesday, 29 March 2016 20:07 (eight years ago) link
If you are using R and you are only sort of a programmer, using R Studio will probably help you out a lot. It looks like .do files are just scripts, so yes, there is an equivalent, just save R commands to a text file and then run Rscript on it or load it into your interactive session with source().
― petulant dick master (silby), Tuesday, 29 March 2016 20:12 (eight years ago) link
sweet, thx silby
― flopson, Tuesday, 29 March 2016 20:13 (eight years ago) link
yep, also ask for a raise, you're a programmer now
― petulant dick master (silby), Tuesday, 29 March 2016 20:14 (eight years ago) link
Lol at the Rudin recommendation upthread.
― Woke Up Scully (James Redd and the Blecchs), Tuesday, 29 March 2016 20:29 (eight years ago) link
i wanna make a pdf of that, like a Jefferson bible of Real Analysis
― flopson, Tuesday, 29 March 2016 20:37 (eight years ago) link
Michael Spivak’s Calculus and Needham’s Visual Complex Analysis
― Allen (etaeoe), Wednesday, 30 March 2016 14:38 (eight years ago) link
I like “Classic” Rudin, but “Baby” Rudin is a fantastic way to discourage students from studying the subject.
― Allen (etaeoe), Wednesday, 30 March 2016 14:42 (eight years ago) link
Yes, exactly.
― Woke Up Scully (James Redd and the Blecchs), Wednesday, 30 March 2016 15:31 (eight years ago) link
i said to just read the theorems! and i was talking about classic Rudin. presumably silby already knows most of the results in baby Rudin from calculus.
does spivak prove anything past multivariable calculus? that's kind of the thing with analysis, just dainty ways of proving the stuff you took for granted when you took calculus. i think measure theory and functional analysis was the first time i felt like i was actually learning something new
― de l'asshole (flopson), Wednesday, 30 March 2016 15:41 (eight years ago) link
still never took complex though
Complex Analysis is different in the United States. It’s commonly taken after an Introduction to Analysis course (i.e. “Baby” Rudin), but before a Real Analysis course (i.e. “Classic” Rudin and Royden’s Real Analysis). It’s weird.
― Allen (etaeoe), Wednesday, 30 March 2016 17:16 (eight years ago) link
(i.e. I suspect you wouldn’t learn too much!)
― Allen (etaeoe), Wednesday, 30 March 2016 17:17 (eight years ago) link
isn't Complex Analysis where you learn what holomorphic means? i don't know what it means
― de l'asshole (flopson), Wednesday, 30 March 2016 18:34 (eight years ago) link
i took complex analysis in college because i was interested in spectroscopy, it turned out to not really be an analysis class, we just went over taylor and maclaurin series and fourier transforms in depth
― the late great, Wednesday, 30 March 2016 19:09 (eight years ago) link
nice riddle and solution
http://fivethirtyeight.com/features/should-you-pay-250-to-play-this-casino-game/
Suppose a casino invents a new game that you must pay $250 to play. The game works like this: The casino draws random numbers between 0 and 1, from a uniform distribution. It adds them together until their sum is greater than 1, at which time it stops drawing new numbers. You get a payout of $100 each time a new number is drawn.For example, suppose the casino draws 0.4 and then 0.7. Since the sum is greater than 1, it will stop after these two draws, and you receive $200. If instead it draws 0.2, 0.3, 0.3, and then 0.6, it will stop after the fourth draw and you will receive $400. Given the $250 entrance fee, should you play the game?Specifically, what is the expected value of your winnings?
For example, suppose the casino draws 0.4 and then 0.7. Since the sum is greater than 1, it will stop after these two draws, and you receive $200. If instead it draws 0.2, 0.3, 0.3, and then 0.6, it will stop after the fourth draw and you will receive $400. Given the $250 entrance fee, should you play the game?
Specifically, what is the expected value of your winnings?
slick solution:
https://twitter.com/octonion/status/715995679060000768
― de l'asshole (flopson), Friday, 1 April 2016 20:53 (eight years ago) link
i'd say yes.
1M simulations gets me $21,829,600 of winnings
― koogs, Friday, 1 April 2016 21:23 (eight years ago) link
LOL (Yes!)
― Allen (etaeoe), Monday, 4 April 2016 14:28 (eight years ago) link
R studio RULES
― de l'asshole (flopson), Monday, 4 April 2016 17:05 (eight years ago) link
Yeah, it’s dope. But it’s just a gateway drug to Jupyter. :D
― Allen (etaeoe), Monday, 4 April 2016 21:54 (eight years ago) link
It's not! I really like Jupyter notebook, but I wish there were a development environment as good as R Studio for Python! In fact, I just wish R studio would include full python support (technically you can run python from inside it, but not very well). I was so spoiled coming from R, I assumed there was something as good as R Studio for every language.
There's some exciting R/Python crossover going on. Hadley and Wes McKinney just created Feather together: http://blog.rstudio.org/2016/03/29/feather/
― Dan I., Thursday, 7 April 2016 02:01 (eight years ago) link
I've tried Rodeo, but it's just a pale facsimile of R Studio.
― Dan I., Thursday, 7 April 2016 02:02 (eight years ago) link
PyCharm (maybe)?
(I like RStudio too! I just find it difficult to organize projects.)
They re-implemented HDF? I guess? Nonetheless, I like Hadley and Wes. :D
― Allen (etaeoe), Sunday, 10 April 2016 21:44 (eight years ago) link
Oh, Spyder is worth a look too. https://pythonhosted.org/spyder/
― Allen (etaeoe), Sunday, 10 April 2016 21:45 (eight years ago) link
fuck i'm getting crucified on StackOverflow for my noob R questions lol
i'm finding weening myself off of for-loops is pretty difficult... all my intuitions about how to approach a problem kind of go out the window. but i'm slowly getting the hang of the 'just put it in a list and lapply' philosophy. someone on SO directed me to this which i read last night stoned in my room at like 2 am and it blew my mind. my scripts are gorgeous now, even though it takes me twice as long to write them
― de l'asshole (flopson), Sunday, 26 June 2016 01:04 (seven years ago) link
oh is R a functional language? my wife is learning it because she's moving into ~~~ data science ~~~ (she has a doctorate in math) & all the jobs want R. was thinking it would be a week-long project b/c I thought it was more a tool for stat analysis than for developing apps, but I dunno.
― droit au butt (Euler), Sunday, 26 June 2016 12:51 (seven years ago) link
it is functional and a tool for stat analysis
― de l'asshole (flopson), Sunday, 26 June 2016 15:02 (seven years ago) link
And can generate lots of graphs quickly
― The Invention of Worrell (James Redd and the Blecchs), Sunday, 26 June 2016 15:24 (seven years ago) link
That SO answer is really weird to me! Putting dfs into a list to apply a function over all of them is natural, but do you really need to do that so often that you're going to keep all your dfs in a list right from the beginning just in case? Reflects a very unorthodox (but not necessarily wrong, I guess) mindset!
― Dan I., Sunday, 26 June 2016 18:13 (seven years ago) link
It's possible that I'm missing some fundamental advantage of the approach. I just can't remember the last time I needed to do the same thing to an entire list of dfs.
― Dan I., Sunday, 26 June 2016 18:14 (seven years ago) link
Ah, okay, a comment on a question linked to that question helps me understand: "If the data.frames have a similar structure, it is a good idea to keep them in a list."
that makes sense
― Dan I., Sunday, 26 June 2016 18:28 (seven years ago) link
Typically dreadful article on Gödel in the New Yorker
― droit au butt (Euler), Wednesday, 29 June 2016 16:04 (seven years ago) link
surprised, i think roberts is usually pretty good
― Guayaquil (eephus!), Wednesday, 29 June 2016 16:08 (seven years ago) link
Promulgated in Vienna in the early nineteen-thirties, the notion of incompleteness threw mathematics into a hall of mirrors, where it reflected upon itself to alluring, if disorienting, effect: the theorem proved, using mathematics, that mathematics could not prove all of mathematics. Of course, it has a proper and technically precise formulation, but the late logician Verena Huber-Dyson paraphrased it for me as follows: “There is more to truth than can be caught by proof.” Or, as the British novelist Zia Haider Rahman put it in his award-winning début, “In the Light of What We Know,” “Within any given system, there are claims which are true but which cannot be proven to be true.”
until the last sentence, that's just heartbreakingly ugh.
― droit au butt (Euler), Wednesday, 29 June 2016 16:09 (seven years ago) link
& even the last sentence is super wrong.
Whee shimmering metaphors for incompleteness what fun
― Sean, let me be clear (silby), Wednesday, 29 June 2016 16:15 (seven years ago) link
i had a friend who was always horrified by explanations of incompleteness theorems intended for popular audiences. those quotes don't look that bad to me and the author is explicit about quoting a logician who is himself paraphrasing, and a novelist who why would you even ask a novelist. idk it never bothered me that much but i only ever read 'Godel's Proof' by Ernst Nagel
imo exactingly precise statements of the gödel thing can seem trivial without historical background, like why would anyone care that you can encode statements with arithmetic etc. but people really believed in Hilbert's program, and iirc even kg himself intended to prove a positive result of 2nd problem
would love to read a good history of devastating negative results in math
i read the first 50 pages of Zia Haider Rahman's book due to a favorable James Wood review, but found it insufferable, partly because of how it tossed math around as this complicated thing you couldn't possibly understand except in the most banal metaphors. i just read Cryptonomicon and was wondering if a real logic/cs/cryptography person would be rolling their eyes at some of the technical stuff in it. but contra Rahman Stephenson really takes time to explain stuff; the gears of a bike analogy for prime factors was great
― de l'asshole (flopson), Wednesday, 29 June 2016 20:33 (seven years ago) link
Don't have to be too exacting to point out that eg elementary geometry is immune to incompleteness
― droit au butt (Euler), Wednesday, 29 June 2016 20:38 (seven years ago) link
I myself have an allergic reaction to popularizations that go overboard with the far flung analogies and "connections" -which reminds me to ask- why does every other book related to computability have to have an intro by Douglas Hofstadter?- so I can only imagine how a professional logician like Euler feels. Would like to read Janna Levin novel about Gödel and Turing, though.
If I had to summarize Gödel's theorem in four words I would type "Formalize. Apply diagonal argument."
― Frankie Teardrop Explodes (James Redd and the Blecchs), Wednesday, 29 June 2016 23:16 (seven years ago) link
Also, guy who inspired me to start this thread Math & Music: The Severed Alliance. Some Recent Academic Approaches (Do Not Read If You Hate Drums) who is a topologist at Lehman College is playing a jazz piano gig tonight at Mezzrow. Would like to go sometime but probably not tonight.
― Frankie Teardrop Explodes (James Redd and the Blecchs), Wednesday, 29 June 2016 23:20 (seven years ago) link
― de l'asshole (flopson), Sunday, June 26, 2016 11:02 AM Bookmark Flag Post Permalink
R is not really that functional. It's a weird hybrid designed by people in an ad-hoc way. It's got amazing libraries and tooling, but as a language if you think "functional" you'll get confused after a while (but probably if you don't think 'functional' you'll get confused too -- lots of things just don't make much sense outside of 'it was easier to implement this way').
― R.I.P. Haram-bae, the good posts goy (s.clover), Thursday, 30 June 2016 00:21 (seven years ago) link
Hadley Wyckham says R is "at its heart, a functional programming language"
― de l'asshole (flopson), Thursday, 30 June 2016 00:44 (seven years ago) link
idk it never bothered me that much but i only ever read 'Godel's Proof' by Ernst NagelWhen I studied this as an undergraduate, we spent a term going through Boolos and Jeffrey, but this Nagel book looks short and sweet.
― Frankie Teardrop Explodes (James Redd and the Blecchs), Thursday, 30 June 2016 01:22 (seven years ago) link
Hadley Wyckham is right and wrong in the same way as if you said that about say Javascript. If you _can_ have closures, you _can_ be functional. But that's not how most libraries are written, and the language has lots else going on
http://jasp.ism.ac.jp/kinou2sg/contents/R-ism-dec-8-no-anim.pdf
http://r.cs.purdue.edu/pub/ecoop12.pdf
http://community.haskell.org/~ndm/temp/EGMitchell-ExperienceReport.pdf
― R.I.P. Haram-bae, the good posts goy (s.clover), Thursday, 30 June 2016 01:34 (seven years ago) link
i read the first 50 pages of Zia Haider Rahman's book due to a favorable James Wood review, but found it insufferable
OK I looked at the Wikipedia page for this and I can't think of a time extravagant praise for something made it sound so terrible
― Guayaquil (eephus!), Thursday, 30 June 2016 01:43 (seven years ago) link
from paper sclover linked
As a language, R is like French; it has an elegant core, but every rule comes with a set of ad-hoc exceptions that directly contradict it.
sick burn lol
and this seems like a good answer to Euler's question:
The R user community roughly breaks down into three groups. The largest groups are the end users. For them, R is mostly used interactively and R scripts tend to be short sequences of calls to prepackaged statistical and graphical routines. This group is mostlyunaware of the semantics of R, they will, for instance, not know that arguments are passed by copy or that there is an object system (or two). The second, smaller and more savvy, group is made up of statisticians who have a reasonable grasp of the semanticsbut, for instance, will be reluctant to try S4 objects because they are “complex”. This group is responsible for the majority of R library development. The third, and smallest, group contains the R core developers who understand both R and the internals of theimplementation and are thus comfortable straddling the native code boundary. One of the reasons for the success of R is that it caters to the needs of the first group, end users. Many of its features are geared towards speeding up interactive data analysis.The syntax is intended to be concise. Default arguments and partial keyword matches reduce coding effort. The lack of typing lowers the barrier to entry, as users can start working without understanding any of the rules of the language. The calling conventionreduces the number of side effects and gives R a functional flavor.
― de l'asshole (flopson), Thursday, 30 June 2016 02:21 (seven years ago) link