Proving that a sentence is inconsistent
Prove $\vdash \neg(\square F\land p)$ in $KD$
Grub does not show a Windows 8 option after dual boot So, I've successfully dual-booted my Windows 8 machine with Ubuntu 12.04 . However, I still don't have a convenient method of choosing what OS to load at boot time.  After installing Ubuntu, my computer still loads Windows 8 directly. I then added grubx64.efi to the white list of my boot loader. But after that, my machine loads Ubuntu directly without even a shadow of GRUB showing up!  I used boot-repair and I got this paste.ubuntu URL: . After running boot-repair (and re-white listing the grubx64.efi file), GRUB now shows up but without any Windows 8 option!  Lastly, I ran sudo fdisk -l and it gave me this:  WARNING: GPT (GUID Partition Table) detected on '/dev/sda'! The util fdisk doesn't support GPT. Use GNU Parted.   Disk /dev/sda: 750.2 GB, 750156374016 bytes 255 heads, 63 sectors/track, 91201 cylinders, total 1465149168 sectors Units = sectors of 1 * 512 = 512 bytes Sector size (logical/physical): 512 bytes / 4096 bytes I/O size (minimum/optimal): 4096 bytes / 4096 bytes Disk identifier: 0x6396389f     Device Boot      Start         End      Blocks   Id  System /dev/sda1               1  1465149167   732574583+  ee  GPT Partition 1 does not start on physical sector boundary.   I'm guessing my problem has something to do with the warning from fdisk above but I don't know what to do with it. How do I proceed now?  Edit  My etc/default/grub is as follows:  # If you change this file, run 'update-grub' afterwards to update # /boot/grub/grub.cfg. # For full documentation of the options in this file, see: #   info -f grub -n 'Simple configuration'  GRUB_DEFAULT=0 #GRUB_HIDDEN_TIMEOUT=0 GRUB_HIDDEN_TIMEOUT_QUIET=true GRUB_TIMEOUT=10 GRUB_DISTRIBUTOR=`lsb_release -i -s 2&gt; /dev/null || echo Debian` GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" GRUB_CMDLINE_LINUX=""  # Uncomment to enable BadRAM filtering, modify to suit your needs # This works with Linux (no patch required) and with any kernel that obtains # the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...) #GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"  # Uncomment to disable graphical terminal (grub-pc only) #GRUB_TERMINAL=console  # The resolution used on graphical terminal # note that you can use only modes which your graphic card supports via VBE # you can see them in real GRUB with the command `vbeinfo' #GRUB_GFXMODE=640x480  # Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux #GRUB_DISABLE_LINUX_UUID=true  # Uncomment to disable generation of recovery mode menu entries #GRUB_DISABLE_RECOVERY="true"  # Uncomment to get a beep at grub start #GRUB_INIT_TUNE="480 440 1"   Also, just for the record,  in installing my dual-boot. The tutorial (which uses, 11.10, I must note), doesn't mention anything about this problem. Is there anything there I shouldn't have done? Blender render crash when using subsurf modifiers. I'm working on the Fourier transform, but I don't know how to evaluate the integral:  $$I = \int_{ - \infty }^{ + \infty } {\frac{{\cos (ax)}}{{{x^2} + 1}}{e^{ - ibx}}\,\mathrm dx} $$ What tool do you use to monitor your servers? How to convert numbers between hexadecimal and decimal How to isolate the text from a bitmap logo? I'm buying a bus ticket to get to Boston 23 hours before my flight to ensure I reach my departure airport on time.  If I didn't arrange bus transport well in advance, what legal remedies would I have if a delayed bus caused me to miss my flight? Sorting hashmap based on keys I read the definition of  as  $$W ~=~ \vec{F} \cdot \vec{d}$$  $$\text{ Work  =  (Force) $\cdot$ (Distance)}.$$ If a book is there on the table, no work is done as no distance is covered. If I hold up a book in my hand and my arm is stretched, if no work is being done, where is my energy going? How is the optimal probability cut-off in a ROC defined by the R package Epi? The plot below was created by R package Epi::ROC for a binary classification problem. There is an optimal cut off or threshold for the classification probability at which sensitivity and 1-specifitiy are balanced in some optimal way (called ps3 in the plot). My question is how this point is defined mathematically in this case and if there are other ways to define it. What is the difference between linear regression on y with x and x with y? Why did Voldemort hide two Horcruxes in Hogwarts? Unable to locate package There are many  about Unable to locate package.  For example : if user try to install package by using apt-get then the following error shown. (Here package is used only as example for displaying error message):  sudo apt-get install package Reading package lists... Done Building dependency tree        Reading state information... Done E: Unable to locate package package   What does this error mean? How do I solve it?    provided General solution to understand and how to solve such type of error (which is helpful for new users that may unaware of repository-apt install mechanism)  Note : For resolving unmet-dependencies, visit: . Why is the multiplicative group of a finite field cyclic? Why is the multiplicative group $(K\smallsetminus\{0\},\cdot)$ of a finite field $(K,+,\cdot)$ always cyclic? Formatting should not count towards the character limit on comments CSOM: Identify "columns" created by user rather than built-in When iterating the fields of a list how do you know which columns are yours and which are built-in ?  I know a solution for "classic" SDK using SPField.SourceId  but I can't find one for CSOM.  I thought UserCreated was the way to go for but   So how do you tell apart theirs and mine ? Using a combination of Hidden CanBeDeleted FromBaseType ? Checking for a list of special internalNames ?          ClientContext context = new ClientContext(siteUrl);         context.Credentials = creds;         Web web = context.Web;         var list = web.Lists.GetByTitle(listName);          context.Load(list.Fields);         context.ExecuteQuery();          foreach (Field field in list.Fields)         {         bool thisColumnWasCreatedByUser =                        field .FromBaseType == false &amp;&amp;                     //this.InternalName != "Title" &amp;&amp; // builtin but I'd rather keep it                     field .InternalName != "_dlc_DocId" &amp;&amp; // probably safe                     field .InternalName != "_dlc_DocIdUrl" &amp;&amp;                     field .InternalName != "_dlc_DocIdPersistId" &amp;&amp;                     field .InternalName != "Combine" &amp;&amp; // sucks                     field .InternalName != "RepairDocument" // sucks too         }   EDIT  Mixing suggestions by Viraj Gorajia and Dikesh Gandhi, my current solution is  bool thisColumnWasCreatedByUser =  field .FromBaseType == false &amp;&amp; (!field .SchemaXml.Contains(" SourceID=\"http")) &amp;&amp; // remove "Title", "Combine", "RepairDocument"  (!field .EntityPropertyName.StartsWith("OData__")) // field .Sealed == true could be working too but I don't know if it could exclude valid results Maven check for updated dependencies in repository What is a StackOverflowError? What is a StackOverflowError, what causes it, and how should I deal with them? Proof that a sequence is convergent Show that the following series of function defines a continuous differentiable function function in $\mathbb R$. $$\sum_{n=1}^{\infty}\frac{\sin (nx^2)}{1+n^3}.$$  We have , $|f_n(x)|=\left|\frac{\sin (nx^2)}{1+n^3}\right|\le \frac{1}{1+n^3}\le \frac{1}{n^3}=M_n \text{ (say) }$  As, $\sum M_n$ is convergent so, the given series is uniformly convergent. Also , each $f_n(x)$ is a continuous function in $\mathbb R$. So, the given series converges to a continuous function , say $f(x)$.  But how we can show that $f(x)$ is differentiable function ?  Please help...