Subwiki talk:Property-theoretic organization: Difference between revisions
Jon Awbrey (talk | contribs) (previously ...) |
Jon Awbrey (talk | contribs) |
||
| Line 13: | Line 13: | ||
<p>From the initial sample of your writing distribution that I’ve read so far, your approach to mathematical objects by way of their properties is essentially a logical angle.</p> | <p>From the initial sample of your writing distribution that I’ve read so far, your approach to mathematical objects by way of their properties is essentially a logical angle.</p> | ||
<p>If one elects to think in functional, computational terms from the very beginning, then it is convenient to think of a property <math>p</math> as being a mapping from a space <math>X,</math> the universe of discourse, to a space of 2 elements, say, <math>\mathbb{B} = \{ 0, 1 \}.</math> So a property is something of the form <math>p : X \to \mathbb{B}.</math> That level of consideration amounts to propositional calculus. Trivial as it may seem, it’s been my experience that getting efficient computational support at this level is key to many of the things we’d like to do at higher levels in the way of mathematical knowledge management.</p> | <p>If one elects to think in functional, computational terms from the very beginning, then it is convenient to think of a property <math>p\!</math> as being a mapping from a space <math>X,\!</math> the universe of discourse, to a space of 2 elements, say, <math>\mathbb{B} = \{ 0, 1 \}.</math> So a property is something of the form <math>p : X \to \mathbb{B}.</math> That level of consideration amounts to propositional calculus. Trivial as it may seem, it’s been my experience that getting efficient computational support at this level is key to many of the things we’d like to do at higher levels in the way of mathematical knowledge management.</p> | ||
<p>Well, enough for now, as I’m not even sure the above formatting will work here. Let’s look for a wiki discussion page where it will be easier to talk. Either at MyWikiBiz, one of your Subject Wikis, or if you like email archiving there is the Inquiry List that an e-friend set up for me.</p> | <p>Well, enough for now, as I’m not even sure the above formatting will work here. Let’s look for a wiki discussion page where it will be easier to talk. Either at MyWikiBiz, one of your Subject Wikis, or if you like email archiving there is the Inquiry List that an e-friend set up for me.</p> | ||
Revision as of 21:15, 25 February 2009
This discussion page is intended for a discussion on using property theory as a means of organizing material in subject wikis, as well as the underlying issues of mathematics, logic, computation and philosophy. Vipul 20:20, 25 February 2009 (UTC)
Prospects for a Logic Wiki
Previously on Buffer …
Vipul,
From the initial sample of your writing distribution that I’ve read so far, your approach to mathematical objects by way of their properties is essentially a logical angle.
If one elects to think in functional, computational terms from the very beginning, then it is convenient to think of a property as being a mapping from a space the universe of discourse, to a space of 2 elements, say, So a property is something of the form That level of consideration amounts to propositional calculus. Trivial as it may seem, it’s been my experience that getting efficient computational support at this level is key to many of the things we’d like to do at higher levels in the way of mathematical knowledge management.
Well, enough for now, as I’m not even sure the above formatting will work here. Let’s look for a wiki discussion page where it will be easier to talk. Either at MyWikiBiz, one of your Subject Wikis, or if you like email archiving there is the Inquiry List that an e-friend set up for me.