Research Article

# Talmudic Foundations of Mathematics

@INPROCEEDINGS{10.4108/eai.22-3-2017.152404, author={Andrew Schumann and Alexander V. Kuznetsov}, title={Talmudic Foundations of Mathematics}, proceedings={10th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)}, publisher={EAI}, proceedings_a={BICT}, year={2017}, month={3}, keywords={hilbert’s program; foundations of mathematics; fermat’s last theorem; cauchy criterion; topological cauchy-cantor intersection theorem; proof trees}, doi={10.4108/eai.22-3-2017.152404} }

- Andrew Schumann

Alexander V. Kuznetsov

Year: 2017

Talmudic Foundations of Mathematics

BICT

EAI

DOI: 10.4108/eai.22-3-2017.152404

## Abstract

In this paper, we assume that the mathematicians in proving new signiﬁcant theorem, such as Fermat’s Last Theorem, deal with combining proof trees on tree forests by using the analogy as an inference metarule. In other words, the real mathematical proofs cannot be formalized as discrete sequences, but they are concurrent and can by formalized as analog processes within a space with some topological properties. For the ﬁrst time, inference metarules in a topological space were proposed in the Talmud within a general Judaic approach to concurrent or even massive-parallel conclusions. The mathematician does not think sequentially like a logical automaton, but concurrently, also. Hence, we suppose that the proof technique of real mathematics cannot be formalized by discrete methods. It is just a hypothesis of the foundations of mathematics that we can use discrete tools so that mathematics can be reduced to logic. We show in the paper how the mathematical proof can be formalized just by analog computations, not discrete ones.