Re: [SystemSafety] Logic

From: Martyn Thomas < >
Date: Tue, 18 Feb 2014 22:00:11 +0000


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



The System Safety Mailing List
systemsafety_at_xxxxxx Received on Tue Feb 18 2014 - 23:00:24 CET

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:06 CEST