Fwd: Owen Densmore (@backspaces) shared a conversation with you!
Locked
Fwd: Owen Densmore (@backspaces) shared a conversation with you!
 
Administrator
|
Lovely tweet!
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com |
||||||||||||||||||||||||||||||||
Re: Fwd: Owen Densmore (@backspaces) shared a conversation with you!
|
|
A very long time ago I taught an elementary course that covered what was called natural deduction. It had rules for transforming expressions into other expressions using so-called introduction and elimination rules that allowed you to introduce or eliminate operations such as and, or, etc. and quantifiers. At the time it struck me that a proof in that system was indeed an algorithm for transforming one expression or set of expressions into another. The link above is the sort of thing we did.
-- Russ Abbott _____________________________________________ Professor, Computer Science California State University, Los Angeles Google voice: 747-999-5105; CS Dept.: 323-343-6690 Google+: http://GPlus.to/RussAbbott,
CS Wiki and the courses I teach
A draft of "Abstractions and Implementations" How the Fed can fix the economy (2 pages): ssrn.com/abstract=1977688
_____________________________________________ On Tue, Dec 17, 2013 at 8:20 PM, Owen Densmore <[hidden email]> wrote:
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com |
||||||||||||||||||||||||||||||||
| Free forum by Nabble | Edit this page |