Re: Fwd: Owen Densmore (@backspaces) shared a conversation with you!

Posted by Russ Abbott on Dec 18, 2013; 4:52am
URL: http://friam.383.s1.nabble.com/Fwd-Owen-Densmore-backspaces-shared-a-conversation-with-you-tp7584556p7584557.html

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, 

                 http://tinyurl.com/RussAbbott, or 

                 http://google.com/+RussAbbottCa 

  vita:  sites.google.com/site/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:

Lovely tweet!

Computer Science @CompSciFact   A proof is an algorithm for moving from one proposition to another.       04:46 PM - 17 Dec 13

============================================================
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

============================================================
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