[SystemSafety] Logic

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

Previous message: [SystemSafety] Logic
Next message: [SystemSafety] Logic
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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>

Previous message: [SystemSafety] Logic
Next message: [SystemSafety] Logic
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the systemsafety mailing list