Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

nad

About

Username
nad
Joined
-
Visits
1,129
Last Active
Roles
Member

Comments

  • Jim what due you mean with ACT? The https://en.wikipedia.org/wiki/ACT_(NASDAQ) ? yes schneider electric seems to have automated reporting tools that is on: https://www.schneider-electric.com/en/about-us/investor-relations/share-information/share-p…
  • Category theory reduces all of mathematics to the study of arrows. The only mistake you can make with an arrow is to get it pointing the wrong way. Thus, in category theory, this is the mistake you will make. So for example if one would define …
  • I would like to add that I mentioned that it seems that only "half of the equivalence" would be needed for making the usual Reductio ad absurdum work. because as it seems it is this "eventually "unnecessary" other half" of the material implica…
    in Chapter 2 Comment by nad May 16
  • @John_Baez @Jonathan_Castello @Jesus_Lopez Jonathan Castello wrote: In the context of something like type theory (which has categorical roots), entailment \( A \vdash B \) is not a truth function, whereas the material conditional is. Yes and …
    in Chapter 2 Comment by nad May 16
  • @John_Baez @Jonathan_Costello John wrote in 27. Nad - people use A⊢B to mean lots of slightly different things, but basically it means "if you assume A, you can prove B". and As Jonathan explained, ⊢ is not a logical connective. Are yo…
    in Chapter 2 Comment by nad May 16
  • @John_Baez @Sophie_Libkind @Robert_Figura John wrote in 19. "This is a perfectly self-consistent viewpoint." It seems you forgot something here. That is Puzzle 57 reads: Puzzle 57. Which tasks could take longer, without changing the answ…
  • @Jonathan_Costello In addition to my previous comment (24.) it should also be mentioned that linguistic entailment https://en.wikipedia.org/wiki/Entailment_(linguistics) has yet another meaning.
    in Chapter 2 Comment by nad May 9
  • @Sophie_Libkind to comment 12: I find it also a bit unclear what John means with "you have reached all its predecessors" By that he probably doesn't mean "had been at all predecessors states" but more "performed all predecessors tasks", because (at…
  • @Jonathan Costello Aha this is a turnstile symbol - thanks for the hint. If I read though this: https://de.wikipedia.org/wiki/Begriffsschrift#Inhaltsstrich_und_Urteilsstrich it says that the symbol "-" meant that a judgement about the content can be…
    in Chapter 2 Comment by nad May 9
  • comment 11: The entailment symbol A⊢B can be read as A≤B, and then we can use our knowledge of posets to guess what's going on. They mention that in classical logic we have What is the exact meaning of this entailment symbol? It seems not in h…
    in Chapter 2 Comment by nad May 9
  • A left adjoint person would fill a cup as far as they can without it overflowing, while a right adjoint person would stop as soon as it overflows a bit. The pitcher goes often to the well, but is broken at last.
  • The LOD plots at IERS start in 1992: https://data.iers.org/plottool/publicv2/2dLine.php?reset=true but I think they have measurements since around 1973/1974: https://datacenter.iers.org/eop/-/somos/5Rgv/plotname/7/FinalsAllIAU1980-LOD-BULA.jpg I d…
    in Earthquakes Comment by nad November 2017
  • I disagree. The longer term LOD variation was removed in in the inset, thus reducing the fluctuation extremes from 2 to 1. OK on the image you showed it is not indicated that something had been taken away, the diagram header (Excess Length-of-d…
    in Earthquakes Comment by nad November 2017
  • In the first alledged zoom out of this diagramm from a "Chao paper" (whatever you mean by that) the LOD changes in the range of 1 millisecond but in the first image in the range of 2 milliseconds.
    in Earthquakes Comment by nad November 2017
  • there is now an new blogpost concerning the tectonics question of comment #85 at http://www.randform.org/blog/?p=6904. Still looks as if the Eurasian plate might break.
  • The O IV 554 can (now?) also be viewed within the TIMED mission: http://lasp.colorado.edu/lisird/data/timed_see_lines_l3a/ It has been increasing from 2003 -2012 (remark in between there was apriori a solar minimum). After 2012 the calibration of TI…
  • a comment to comment 85 and 86 about plate tectonics. Here a link to a video in which a simulation on future tectonics is given: https://twitter.com/galka_max/status/896799828843298817 In this video Eurasia gets pretty squeezed, but the author thin…
  • That cycle is the draconic month, which is 27.2122 days. The tropical month is 27.3216 days, which is the length of time the moon takes to appear at the same longitude. Wikipedia writes: It is customary to specify positions of celestial bod…
    in QBO and ENSO Comment by nad March 2017
  • Chandler discovered the earth's polar wobble in 1891. Scientists knew right away that there was a seasonal wobble that was easily explained by a forced factor. But why couldn't they determine the lunar factor? I don't quite understand why you g…
    in QBO and ENSO Comment by nad March 2017
  • The paper is essentially Curry whining that climate science is too difficult, instead of getting to work and figuring out the physics and math, like the rest of us try to do. Where is she whining ? I mean she is critizising certain features of …
  • As you know I was sofar mostly handcrafting the images in javascript (see above) but that took quite long. So my daughter recommended me to use Julia with Juno and Atom instead. She hadn't found the time to work much with it, but apriori it looked g…
  • I wrote: I mean if this is not a measurement error then what would be your first idea bout possible causes? I now have found the ultraviolett measurements at the extreme ultraviolett variability experiment which is also at UColorado. The plot…
  • This is terrible. I didn't know that he was suffering from depression and I interacted with him here only a bit on the forum, but still this also leaves me quite speechless.
    in David Tweed Comment by nad January 2017
  • I forgot to point out that in the another range (top circle) in here the hydrogen line 486nm can be found.
  • If in fact we are seeing any reduction over a span of a few years, then it would be extremely worrisome for life on the planet over the foreseeable future. reduction of what? The sun is expected to become a red giant, i.e. to rather blow up fir…
  • By the way I calculated the integral of the spectral irradiance between the frequencies 180.5 and 1797.62nm, also as a plausibility check for myself, it is: $$626.7597371000005 W/m^2$$ which sounds plausible since direct sun is about 1050 W/m2. I cu…
  • But is keeping precision to the 15th place in the case of an energy density justified? It's clear from the context ("This is still an approximation but...") that I do not imply such a precision. I kept the decimals in order to make it faster vi…
  • I wrote That is $$0.5∗300∗0.008W/m^2=1.2W/m^2$$ I now downloaded the data from Lisird - actually not the "all" -file for download but "all" from the interactive download, which had a smaller data size, which was although about half the size st…
  • I would also be interesting to hear from you if you are being paid by BAE Systems for your QBO research. I still haven't gotten an answer to this question. Finally BAE Systems Applied Intelligence Operations include e.g. communications and so c…
  • whats so funny about that question?