<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Mol, Liesbeth</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Theory and Experiment in the work of Alonzo Church and Emil Post</style></title><secondary-title><style face="normal" font="default" size="100%">unpublished</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;While most mathematicians would probably agree that experimentation together with an empirical attitude  both understood in their most general sense  can be important methods of mathematical discovery, this is often obscured in the final presentation of the results for the sake of mathematical elegance. In this paper it will be shown how this method has played a significant role in the work of two major contributors to the rather abstract discipline called mathematical logic, namely Alonzo Church and Emil Post.&lt;/p&gt;</style></abstract></record></records></xml>