Logical Proof: An Experimental Science? By Claude RosentalNo 84, 2009/1, pages 33 to 43 Go to the article on Cairn-int.info