a140101
Astraendo Topic
Mathematical-Logic Notation
Diary & Job Jar
|
|
a140101
Astraendo Topic
|
| Status | Date | Description | |
| 2014-02-03 | This folio needs Creative Commons and attribution notices. | ||
| 2014-01-29 | Recover what I can from the IMT wikis and perhaps my OneNote. | ||
| 2014-01-29 | Use the blog page on notation or tie it in here somehow. | ||
|
2013-12-25 [from n000000] |
I need to create a notation note. I want to use the same structure that Keith Devlin has employed, especially with the biconditional, conditional, and exclusive or notation. I don't need set theory so much. I do need equational algebraic formulations, propositions, predicates, and quantifiers. The goal is to work up in stages and get to the point where representation of functions in a logical theory can be addressed. Farther out, there is need to deal with computational completeness and what the import of that is. This applies first (I think) for the representation of combinators and then for the related computational completeness of the expressed functions on obs. The basics of this can be done in Astraendo and appealed to from the oMiser materials(?). | ||
|
2006-06-08 [from n000000] |
Move some of the notations article into a Note? Then include it up there because it is referred to up there. I should move some of the references over time. [dh:2014-01-29 This is definitely an astraendo topic tii. There are Miser- and Frugal-specific notations, and those do go in notes along with the explanation for the various choices.] | ||
| done | 2014-02-03 | Correct the accession-name of this page in the context block. | |
| done | 2014-01-29 | Share the new 2014/01/ structure to the mirror site | |
| done | 2014-01-29 | a140101: Reflect in the a000001 catalog | |
| done | 2014-01-29 |
|
|
| done | 2014-01-29 | Customize a140101, a140101a, a140101b, a140101c as placeholders for the summary of mathematical-logic notation information |
 |
|
created 2014-01-29-19:21 -0800 (pst) by
orcmid |