drozzy
Reputation
347
Next privilege 500 Rep.
Access review queues
 Jan 30 comment What is “determined form” of a predicate? @CarlMummert I believe you're right. Otherwise it makes no sense - because interesting applies to "disjunctions", and cannot be absolutely defined. This is simply for the definition of the "probe" (A,B,C, M,N) - relative to which the notion of interesting is applied. You should answer so I can accept. Jan 27 comment $x=2t^3-9t^2+12t+6$ where $x$ is the position of a body at anytime $t$. Show your work maybe? Which part did you get stuck at? Jan 27 asked What is “determined form” of a predicate? Jan 26 accepted What is a “prime implicent”? Jan 24 asked What is a “prime implicent”? Jan 24 accepted What is L-implication? Jan 23 revised What is L-implication? deleted 20 characters in body Jan 23 comment What is L-implication? Thanks that makes sense, still not sure why he goes through all this trouble - seems like the usual logical concepts... P.S.: I've included a greater slice from the paper with the surrounding context. Jan 23 comment What is L-implication? P.S.: I've also added a bigger excerpt to the image from the book. Jan 23 revised What is L-implication? Updated image to surrounding context Jan 23 comment What is L-implication? So factual is just some formula that is true for some values but not for others? Basically what I intuitively think of when I see logical formulas...? Jan 23 asked What is L-implication? Jan 26 awarded Popular Question Jul 2 awarded Curious Feb 18 accepted How does expanding by Taylor's theorem work here? Feb 18 comment How does expanding by Taylor's theorem work here? Thank you! And wolfram has a similar explanation of this (Eq. 27). Feb 14 comment How does expanding by Taylor's theorem work here? Thank you, it's very helpful to know what the equivalent modern terminology is! One more silly question though, how does the Taylor theorem fit into here? I.e. what is it's purpose? Feb 13 accepted What does Universal mapping property for a free monoid mean? Feb 13 asked How does expanding by Taylor's theorem work here? Nov 18 accepted Isn't every Endofunctor an identity Functor?