Baidu
map

Reshaping the metaphor of proof

Vavilov, N

Vavilov, N (reprint author), St Petersburg State Univ, Dept Math & Mech, 14th Line 29B, St Petersburg 199178, Russia.

PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2019; 377 (2140):

Abstract

The simplistic view of Mathematics as a logical system of formal truths deduced from a limited set of axioms by a limited set of inference rules immed......

Full Text Link


Baidu
map
Baidu
map
Baidu
map