MyWikiBiz, Author Your Legacy — Sunday October 26, 2025
Jump to navigationJump to search
21 bytes added
, 15:38, 1 July 2008
| Line 1: |
Line 1: |
| | {{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}} | | {{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}} |
| − |
| |
| | __NOTOC__ | | __NOTOC__ |
| | | | |
| Line 65: |
Line 64: |
| | ===Theory of Control and Control of Theory=== | | ===Theory of Control and Control of Theory=== |
| | | | |
| − | <blockquote>
| + | {| align="right" |
| | + | | |
| | <p>You will hardly know who I am or what I mean,<br> | | <p>You will hardly know who I am or what I mean,<br> |
| | But I shall be good health to you nevertheless,<br> | | But I shall be good health to you nevertheless,<br> |
| | And filter and fibre your blood.</p> | | And filter and fibre your blood.</p> |
| − | | + | |- |
| − | <p>Walt Whitman, ''Leaves of Grass'', [Whi, 88]</p>
| + | | align="right" | — Walt Whitman, ''Leaves of Grass'', [Whi, 88] |
| − | </blockquote>
| + | |} |
| | + | {{-}} |
| | | | |
| | ===Propositions as Types and Higher Order Types=== | | ===Propositions as Types and Higher Order Types=== |