[SystemSafety] Logic

Martyn Thomas martyn at thomas-associates.co.uk
Tue Feb 18 23:00:11 CET 2014


On 18/02/2014 17:56, Derek M Jones wrote:
> ‘The nature of mathematical proof’


Is it time perhaps for someone to mention Lakatos' "Proofs and Refutations"?

Martyn
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20140218/54b23cf1/attachment.html>


More information about the systemsafety mailing list