MATHEMATICAL INFERENCE AND LOGICAL INFERENCE

Hamami, Y

Hamami, Y (reprint author), Vrije Univ Brussel, Ctr Log & Philosophy Sci, B-1050 Brussels, Belgium.

REVIEW OF SYMBOLIC LOGIC, 2018; 11 (4): 665

Abstract

The deviation of mathematical proof-proof in mathematical practice-from the ideal of formal proof-proof in formal logic-has led many philosophers of m......

Full Text Link