Login  Register

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

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

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