Un matematico, si sa, non sbaglia mai… purché resti sempre nell’ambito della teoria studiata e ne rispetti le regole.
Schematicamente, ogni ragionamento matematico può essere ricondotto a un semplice sillogismo che coinvolge due proposizioni: l’ipotesi H, ossia l’insieme delle informazioni che si suppongono note, e la tesi T da dimostrare. Se si suppongono vere l’ipotesi H e l’implicazione dall’ipotesi alla tesi (indicata con H⇒TH\Rightarrow T), allora anche la tesi T è vera.

«Dimmi, zio, perché tossisci?», di Fernand Raynaud

Dal «certo» al «plausibile»