10,294 reputation
436131
bio website
location
age
visits member for 4 years, 4 months
seen 2 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.


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
Jun
26
revised Do the following properties characterize the set membership?
added 11 characters in body
Jun
22
revised Rank feasible subset of a greedoid
edited tags
Jun
22
revised Two definitions of matroid
edited tags
Jun
16
revised If a k-regular graph is 1-factorable, then does it have chromatic index k?
added 103 characters in body
Jun
15
revised Name for a generalized relation to be a multiset?
added 67 characters in body; edited tags
Jun
3
revised Mathematical concept for formal languages
added 133 characters in body
May
27
revised What is the name of $a \mapsto b$?
added 496 characters in body
Apr
17
revised When will functions of two uncorrelated random variables be still uncorrelated?
added 1 character in body