<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xml:base="http://132.161.132.157/drupal6"  xmlns:dc="http://purl.org/dc/elements/1.1/">
<channel>
 <title>Computer Science - computability</title>
 <link>http://132.161.132.157/drupal6/taxonomy/term/440/0</link>
 <description></description>
 <language>en</language>
<item>
 <title>Thursday Extra: &quot;wot they shoulda bin dun learned me in SKule&quot;</title>
 <link>http://132.161.132.157/drupal6/node/620</link>
 <description>&lt;p&gt;
On Thursday, April 25, Professor Rhys Price Jones will challenge
conventional wisdom about elementary education, encompass the cosmos in a
combinatory nutshell, and suggest how hardware designers could teach
processors to sing the &amp;lambda;-calculus like birds.
&lt;/p&gt;

&lt;blockquote&gt;
&lt;p&gt;
The talk includes an overview of how combinators epitomize all of the complex interactions of the living world, every single atom in the universe and absolutely everything else we care about. We’ll show how just two of these combinators encompass all of creation. And finally, we’ll recommend a change in the direction of computer design and manufacture to properly recognize and leverage these amazing birds.
&lt;/p&gt;
&lt;/blockquote&gt;

&lt;p&gt;
&lt;a href=&quot;http://www.cs.grinnell.edu/drupal6/sites/default/files/rpj-abstract.pdf&quot;&gt;See the poster or attachment&lt;/a&gt; for more details.
&lt;/p&gt;

&lt;p&gt;
Refreshments will be served at 4:15 p.m. in the Computer Science Commons (Noyce 3817).  The talk, &amp;ldquo;wot they shoulda bin dun learned me in SKule,&amp;rdquo; will follow at 4:30 p.m. in Noyce 3821.  Everyone is welcome to attend!
&lt;/p&gt;&lt;table id=&quot;attachments&quot; class=&quot;sticky-enabled&quot;&gt;
 &lt;thead&gt;&lt;tr&gt;&lt;th&gt;Attachment&lt;/th&gt;&lt;th&gt;Size&lt;/th&gt; &lt;/tr&gt;&lt;/thead&gt;
&lt;tbody&gt;
 &lt;tr class=&quot;odd&quot;&gt;&lt;td&gt;&lt;a href=&quot;http://132.161.132.157/drupal6/sites/default/files/rpj-abstract.pdf&quot;&gt;rpj-abstract.pdf&lt;/a&gt;&lt;/td&gt;&lt;td&gt;133.4 KB&lt;/td&gt; &lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
</description>
 <comments>http://132.161.132.157/drupal6/node/620#comments</comments>
 <category domain="http://132.161.132.157/drupal6/taxonomy/term/439">Church</category>
 <category domain="http://132.161.132.157/drupal6/taxonomy/term/438">combinatory logic</category>
 <category domain="http://132.161.132.157/drupal6/taxonomy/term/440">computability</category>
 <category domain="http://132.161.132.157/drupal6/taxonomy/term/437">lambda calculus</category>
 <enclosure url="http://132.161.132.157/drupal6/sites/default/files/rpj-abstract.pdf" length="136599" type="application/pdf" />
 <pubDate>Fri, 19 Apr 2013 16:48:13 +0000</pubDate>
 <dc:creator>stone</dc:creator>
 <guid isPermaLink="false">620 at http://132.161.132.157/drupal6</guid>
</item>
</channel>
</rss>
