9,794 reputation
225106
bio website
location
age
visits member for 4 years
seen 12 hours ago

Just a layman and slow learner. Thank you for your enlightenment and patience, and for giving me the best memory in my life.


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
Jul
15
revised Are there formal systems that are not logical systems?
added 143 characters in body
Jul
4
revised Meaning of the characteristic polynomial of a matroid
added 5 characters in body
Jul
3
revised Matrices with the same characteristic polynomial
added 63 characters in body
Jun
30
revised Equivalent definitions for a coloop?
added 448 characters in body