Ars Mathematica

Logician Solomon Feferman, who did his PhD under Alfred Tarski, has just written a short article on Tarski’s influence on computer science.  It seems that this influence was wider than just that between cylindrical algebras and relational database theory.

This entry was posted on Wednesday, August 16th, 2006 at 4:13 am and is filed under Computer science, Mathematics. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.