I am not a mathematician, but I study it for fun.  I know that Cantor showed that the infinite set of the real numbers is larger than the rationals since the real numbers are uncountable and the rationals are countable.  The real numbers include rational and irrational numbers and the irrational numbers are uncountable.  Is the set of irrational numbers smaller than the set of real numbers, the same size, or does this question not make sense?  Thank you!
I know and I have proved more than once that the set of irrational numbers ($\mathbb{I}$) is uncountable, but now I'm given to solve this problem:   Show that $|\mathbb{I}|=|\mathbb{R}|$,  How can I do that?  Do I need to assume the Continuum Hypothesis in order to that statement to be true?  Thanks
I will be landing at New Delhi airport. The worth of new laptop  (Lenovo Yoga Idea Pad 13) is about $1000 and old one (Macbook Pro) is > 1 lakh INR. I want to leave the new laptop in India. I have a copy of bill with me but not the original bill. I want to know if I have risk of being charged with custom duty. Is there any way to use a nether portal to travel to y = 250? Character Limit in HTML How to prevent page breaking for lstinputlistings? How to install PYPY3 on Ubuntu, for newbies? I want to install pypy3 in Ubuntu. I have read the answer for this question "How to install PyPy3 (2.1, beta) on Ubuntu?" and still have no idea what to do. Could some kind soul please explain it so that even I can understand it :)  Here's what I have done so far:  Went    Read that I had to go   Downloaded: pypy3-2.1-beta-linux_x86_64-portable.tar.bz2  Opened it with the Archive manager (because it seemed like a reasonable thing to do)  Extracted it to desktop/PYPY3  Then desperately tried all the shell commands I came across last night. I will not be able to give a clear account of what I tried and what errors came back, as it is kind of a blur to me at this point.  But I can tell you that I got the Tar thing unpacked at one point and that I have tried running the pypy executable from the command line from the folder containing it, but got this:   bash: /usr/bin/pypy: No such file or directory   Could someone please tell me what to do. (have read the readme, the install docs at pypy.org and lots of posts) This has been nagging me for a while and then I saw  asking what the difference is between variables and parameters. In the context of mathematics, what is the difference between  variables constants parameters arguments  I get 1. and 2. confused because, for example the general form of the quadratic function is often expressed $f(x)=ax^2+bx+c, a \neq 0$ and $x$ is the variable so what does that make a,b and c? I assume since math is so rigorous with precise definitions, these have one, but it is also a valid answer that as words they do not have a single precise definition. I want to count the total number of files in particular directory that ends with ".mp4" extension.  I am getting following command:  ls -F |grep -v / | wc -l   It count all the files in particular directory, but I want the count of files that end with .mp4 extension.  Is there any Ubuntu command for that? How to Improve Mathematical Thinking and General Problem Solving Skills? I'm a sophomore in university and seriously feel that I'm bad at solving mathematical and algorithmic problems (be it discrete math, calculus or just puzzles). I noticed that I'm only good at solving questions that are similar to the ones that have been taught to us.  Here's how I generally approach it:   What is the problem? What do I need to do here? Does it look like I've encountered this before?  Can I think of a smaller problem to solve instead?   If the answer is no to all the above then I sort of blank out. I stare at it and force my brain to run through a wide variety of stuff, almost like a brute force attempt of solving it. Obviously that leads me to nowhere everytime. I simply can't think "outside the box."   What can I do to improve my situation? ZFC + $\exists$ Standard model $\rightarrow$ Con(ZFC + $\exists \omega$-model) $ZFC + \exists V_\alpha$ model of $ZFC \vdash Con(ZFC + \exists$ transitive standard model of $ZFC)$  and then  $ZFC + \exists$ transitive standard model of $ZFC \vdash Con(ZFC + \exists \omega-model$ of $ZFC)$  For the first one :   We can always find a countable extentional $M \subset V_\alpha$ elementary equivalent to $V_\alpha$. Let $M&#39;$ be the mostowski collapse of $M$. $M&#39; \approx M$ so $M&#39;$ is model of ZFC. And because $M&#39;$ is countable and transitive then $M&#39; \in V_\alpha$ (since $H_{\omega_1} \subset V_{\omega_1}$ and $\alpha$ is surely far larger than $\omega_1$).   So $V_\alpha$ is the model of '$\exists$ a standard transitive model of ZFC'.  For the second one :   I don't really know how to do it... Does anyone have an idea ? Pay real money to set bounties (another method, not replacing rep method) It may seem like a stupid thing, but could we please be able to pay real money to set a bounty.  For example, if I had only 1 rep, I want to be able have a bounty.   Here late the suggested prices in USD. Convert money    $0.49 for each 50 reputation $0.99 for each week $1.99 for a month $9.99 for a year   Every month, the bounty fee would come in. This would mean you would have to enable your account with a bounty fee button on your profile. I've been making a map for 1.10 and it's going great, but 1.11 shows great mobs to use for it. However, most things have channged in command syntax. For example, /kill @e[type=ArmorStand,r=6] is now /kill @e[type=Armor_Stand,r=6]  What about /testfor? I can't find a way to testfor a player to stand on a block and give them an effect.   What's is going on in this image is that a redstone clock is running into this command /testfor @a[1117,20,507,r=1] (if I was to stand on them cords the comparator would turn on and power that command block), but it only works in 1.10... from 1.11 snapshots, I've seen some errors of it, like it now needs to have {} at the beginning and end of it. (e.g. /testfor @a{[1117,20,507,r=1]})   It's still not working, though, so does anyone know how to get it to work? I've seen animated GIF images of screen casts (like the one below) promoted a few times on this site as a way to improve answers.    What toolchain is being used to create these? Is there a program that does this automagically, or are people taking screencasts, converting them into a series of static frames, and then creating the GIF images? Redirect, Change URLs or Redirect HTTP to HTTPS in Apache - Everything You Ever Wanted to Know About mod_rewrite Rules but Were Afraid to Ask I'm thinking about buying the new MacBook Pro with 4 USB-C ports.  I want to attach two screens, mouse and keyboard and ethernet to the MacBook Pro while using the fewest number of USB-C ports possible.  So what I need is an adaptor with:   two DP or HDMI ports (or one DP port with daisy chaining support) two or more USB ports an ethernet port   Best case would be a hub to which all devices are connected with a single connection to the MacBook Pro, including power supply. Worst case if attaching the MacBook Pro to the devices would require me to use all four of USB-C ports.  Given the answers up to far, I can tell that:   Daisy chaining might or might not work with the MacBook Pro (since it requires DP1.2 which is supported by the graphics chipset, but it's uncertain if it's supported by the MacBook Pro itself) I can attach the monitors with two cables as a last resort, leaving me with two ports for the remaining peripherals.   What I still don't know:   Would daisy chaining work with a hub or does it require the first monitor to be directly attached to the MacBook Pro? Does some kind of hub exist supporting attachment of all listed devices with a single upstream connection to the MacBook Pro? What is the best way to remove accents (normalize) in a Python unicode string? I have a Unicode string in Python, and I would like to remove all the accents (diacritics). I found on the web an elegant way to do this (in Java):  convert the Unicode string to its long normalized form (with a separate character for letters and diacritics) remove all the characters whose Unicode type is &quot;diacritic&quot;.  Do I need to install a library such as pyICU or is this possible with just the Python standard library?  And what about python 3? Important note: I would like to avoid code with an explicit mapping from accented characters to their non-accented counterpart. Limit involving binomial coefficients: $\lim_{n\to\infty}\left(\binom{n}{0}\binom{n}{1}\dots\binom{n}{n}\right)^{\frac{1}{n(n+1)}}$ I am facing difficulty with the following limit. $$ \lim_{n\to\infty}\left(\binom{n}{0}\binom{n}{1}\dots\binom{n}{n}\right)^{\frac{1}{n(n+1)}} $$ I tried to take log both sides but I could not simplify the resulting expression. Please help in this regard. Thanks. Modernist Cuisine recommends that for longer sous vide cooking (times greater than 36 hours) that bags are vacuum sealed rather than just using the water displacement method to remove the air from a ziploc bag.  What is the reason for this? Will I be losing something essential if I just use a regular ziploc bag without vacuum sealing? How does the Girl-Genius web-comic relate to the Agatha H. books? After spending some time reading  I was convinced to buy the book.  I've ordered what I think is the  in my local bookstore (yay local) and it seems to relate to the first one or two years of of web content, but I can't be sure.  My question is: "how does the book series line up with the Web comic?"  Does it contain specific episodes/adventures, relate to strips from a specific time-span or is it simply an assortment of episodes?  UPDATE: They are amazing.  It is interplanetary war in the introduction!!!!  Yes! What is the name of a small unluxurious restaurant? Is there a name for this kind of restaurant? Searching Google, I can't find any synonym of restaurant. I've tried to search for images of unluxurious restaurant, small restaurant or mundane restaurant, with no satisfactory result. The restaurant I'm looking for is small, not so clean and definitely not a place that high class people go to eat.  It can be a house:    Or lie on a side of the street: I had posted a  last week about customizing a ToolValidator class and got some very good answers.  In working with the proposed solutions, I have created a custom module that performs queries on a db, and will be called by both the ToolValidator class (to provide values for the drop-down lists) and later in the geoprocessing script (to get other parameters based on items selected in drop-down lists).  However, I can't seem to actually call the custom module in the ToolValidator class.  I have been trying to append to path with no luck.  When I try to apply these changes to the script, I get a runtime error:  [Errno 9] Bad file descriptor.  If I comment out import line, no errors.  sys.path.append('my_custom_module_directory') import my_custom_module   Many of you may be asking why don't I just implement a custom tool with ArcObjects.  The reason is that my end users don't have the privleges necessary to register ANY dlls on their computer.  UPDATE:  This was happening to me in ArcGIS 10.  Interestingly enough, I was initially appending to the path inside of the initialiazeParameters function of the ToolValidator class.  If I do the append outside (i.e., on top of) of the ToolValidator class, everything works as expected.  sys.path.append('C:/Working/SomeFolder') import somescript --------&gt;THIS WORKS  class ToolValidator:   """Class for validating a tool's parameter values and controlling   the behavior of the tool's dialog."""    def __init__(self):     """Setup arcpy and the list of tool parameters."""     import arcpy     sys.path.append('C:/Working/SomeFolder')     import somescript -------&gt; THIS DOESNT WORK     self.params = arcpy.GetParameterInfo()   UPDATE 2:  I think I found the true cause of my problem.  In the code snippets in this post, I have been appending what appear to be real paths (ex C:/Working/SomeFolder) to the sys.path.  In my actual ToolValidator class, I was constructing a relative path using os.path.dirname(__file__) +"\my_special_folder...".  I was anticipating that os.path.dirname(__file__) would return the path of the toolbox, since that contains the ToolValidator class.  I have come to find this is not the case.  As far as I can tell, the ToolValidator class is never actually written to a .py file, and I speculate the the this code is passed to the python interpreter in memory, so __file__ is useless, or some temp script is persisted and then execfile(path_to_script) is called, again rendering __file__ useless.  I'm sure there are other reasons I am missing as well.    Long story short, if I use a hardcoded path, the sys.append works anywhere, relative paths don't work so well in the ToolValidator class.