9,784 reputation
225106
bio website
location
age
visits member for 4 years
seen yesterday

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


Jul
19
comment Is a definition either intensional or extensional?
@hardmath: I simplified the example, see the edit. I hope you can understand what I meant earlier with the original example. Both examples are similar in that there is only one object that satisfies their definitions.
Jul
19
comment Is a definition either intensional or extensional?
@GitGud: I simplified the example, see the edit. I hope you can understand what I meant earlier with the original example. Both examples are similar in that there is only one object that satisfies their definitions.
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
comment Is a definition either intensional or extensional?
@GitGud Here I am defining A, not if an object is its element. So I think either of your and my definitions is both intensional and extensional..
Jul
19
comment Is a definition either intensional or extensional?
@hardmath: I am defining $A$, not if an object is its element. So I think the definition of $A$ is both intensional and extensional.
Jul
19
comment Is a definition either intensional or extensional?
@GitGud: I think both your and my ways of defining $A$ are both intensional and extensional. See my edit
Jul
19
revised Is a definition either intensional or extensional?
added 774 characters in body
Jul
19
comment Is a definition either intensional or extensional?
Is it intensional? @Git
Jul
19
asked Is a definition either intensional or extensional?
Jul
16
comment What do “completely described” and “complete formalisation” mean?
Thanks. I am also wondering what the axioms, inference rules, and semantics of a lambda calculus are. I don't find it in Boolos' book. Do I miss it or is there some other references for that?
Jul
15
revised Are there formal systems that are not logical systems?
added 122 characters in body
Jul
15
comment Are there formal systems that are not logical systems?
@Squirtle I don't know the definition of an illogical formal system. From the link "A logic system is sound if all sentences that can be derived are true in the interpretation, and complete if, conversely, all true sentences can be derived."
Jul
15
revised Are there formal systems that are not logical systems?
added 143 characters in body
Jul
15
comment Are there formal systems that are not logical systems?
Does a set of rewrite rules have a set of axioms and a set of inference rules, as well as a formal language and a formal grammar?
Jul
15
asked Are there formal systems that are not logical systems?
Jul
15
asked What do “completely described” and “complete formalisation” mean?
Jul
9
awarded  Popular Question
Jul
6
asked Must the weight function be nonnegative for the greedy algorithm to be optimal for both a matroid and a greedoid?
Jul
5
accepted Is the determinant of a matrix some kind of “integral” of the linear mapping?