Reputation
347
Next privilege 500 Rep.
Access review queues
Badges
1 10
Impact
~6k people reached

  • 0 posts edited
  • 0 helpful flags
  • 20 votes cast
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?