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:
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…
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 …
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".
As Jonathan explained, ⊢ is not a logical connective.
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…
@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…
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…
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…
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:
but I think they have measurements since around 1973/1974:
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…
The O IV 554 can (now?) also be viewed within the TIMED mission:
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:
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.
It is customary to specify positions of celestial bod…
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…
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 …
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…
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:
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…
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…