« first day (869 days earlier)      last day (1335 days later) » 

12:02 PM
After 13 hr I am still thinking if you mean by cardinality of rational numbers are same from (10^n,10^(n+1)) to (10^(n+1),10^(n+2)). Otherwise I don't know what that means ;_; . I am wishing future me bring same book to me but corrected and clearly explained edition.
My apologie to be unable to grasp what you mean . I am kinda dumb when it comes to understanding what other means I mostly precieve ideas visually so it will take me sometime or may be I will never able to understand it unless provided alternative approach.
 
 
2 hours later…
1:54 PM
Hello
I have a matrix, Matrix A = [1 -3 0,
oops
$$[1, -3, 0
```[0, 0, 0]
 
@Stupidquestioninc "Sum { d[i]·10^−i : i∈{1..k} }" simply means d[1]·10^−1 + d[2]·10^−2 + ... + d[k]·10^−k.
@Stupidquestioninc I think you have difficulty with English. I said that there are the same number of rationals of some form in each interval of some form.
Let r(n) be the number of rationals in the interval [10^n,10^(n+1)] that are of the form Sum { d[i]·10^−i : i∈{1..k} } · 10^n where k∈ℕ and n∈ℤ and d[i]∈{0..9} for each i∈{1..k} and d[1]∈{1..9}. Then r(n) is the same for every integer n.
 
@user21820 OK that looks more clearer. I will look it tomorrow. Thanks for help ;)
 
You're welcome.
 
2:31 PM
May 2 at 3:23, by user21820
@MEcho If you have a mathematical question, just go ahead and ask it, and provide your thoughts and attempts, and if nobody else answers it I will answer if I can.
 
 
2 hours later…
4:18 PM
1 message moved to Sandbox
 
 
1 hour later…
5:24 PM
Is there a "glossary" of theorems that hold for vector spaces but not modules? As I understand the only difference between them is that modules act on a ring, and vector spaces on a field.
 
5:59 PM
@Threnody You got it backwards. A vector space has a field acting on a set, whereas a module generalizes that to a ring action.
But that makes a very big difference. Wikipedia lists a whole bunch of types of modules, only one of which is similar to vector spaces.
 
 
1 hour later…
7:26 PM
Awesome thanks... we don't cover modules here (Afaik)
 
 
3 hours later…
10:11 PM
@user21820 Sorry for the nitpick. Am I wrong in saying semantic valuation has nothing to do with deduction, putting "meaningful" aside?
When I write PL proofs, I do not really care about truth.
I agree we would hope the way we piece our rules and semantics agree. I would hope my rules of deduction are sound, for a start.
 
10:38 PM
I guess this is why semantic valuation comes before a proposed deductive system? Because we want to be able to see if it is sound?
 

« first day (869 days earlier)      last day (1335 days later) »