Reputation
Next privilege 15,000 Rep.
Protect questions
Badges
5 42 152
Impact
~455k people reached

Oct
21
revised Coordinates of a vector under a basis in a Hilbert space?
added 44 characters in body
Oct
16
revised Supremum and union
added 23 characters in body
Sep
24
revised Equivalent alternative to delta-epsilon formulation of limit?
added 4 characters in body
Sep
3
revised In composition of two mappings, can the outer mapping access the arguments of the inner mapping?
added 145 characters in body
Aug
14
revised Is a set of some $m \times n$ matrices a relation?
added 174 characters in body
Aug
14
revised Is a set of some $m \times n$ matrices a relation?
added 10 characters in body
Aug
14
revised Is a set of some $m \times n$ matrices a relation?
edited tags
Aug
14
revised Is a set of some $m \times n$ matrices a relation?
deleted 8 characters in body
Jul
24
revised Is this theorem about soundness or completeness?
added 8 characters in body
Jul
23
revised Is there no propositional letter in first order logic?
added 5 characters in body
Jul
23
revised separating propositons with commas?
deleted 24 characters in body
Jul
21
revised Relations and functions with valence 0
added 62 characters in body
Jul
21
revised Are variables logical or non-logical symbols in a logic system?
added 75 characters in body
Jul
21
revised What does “calculus” mean?
deleted 9 characters in body
Jul
20
revised theory, theorems and axioms
rolled back to a previous revision
Jul
20
revised theory, theorems and axioms
added 22 characters in body
Jul
19
revised Is a definition either intensional or extensional?
added 774 characters in body
Jul
19
revised Is a definition either intensional or extensional?
added 774 characters in body
Jul
19
revised Is a definition either intensional or extensional?
added 774 characters in body
Jul
15
revised Are there formal systems that are not logical systems?
added 122 characters in body