On Constructive Axiomatic Method

Abstract

In this last version of the paper one may find a critical overview of some recent philosophical literature on Axiomatic Method and Genetic Method.

25 pages, no figures

References in corpus (2)

• Physics, Topology, Logic and Computation: A Rosetta Stone
• Quantization via Linear homotopy types

Cited by in corpus (2)

• A Galois connection between classical and intuitionistic logics. I: Syntax
• One Mathematic(s) or Many? Foundations of Mathematics in Today's Mathematical Practice