Talmudic Foundations of Mathematics
Andrew Schumann Alexander V. Kuznetsov University of Information Technology and Voronezh State University Management in Rzeszow Universitetskaya pl. 1 35-225 Rzeszow 394018 Voronezh Poland Russia [email protected] [email protected]
ABSTRACT i.e. in fact it was the first attempt to make explicitly math- In this paper, we assume that the mathematicians in prov- ematics from the point of view of symbolic logic, that is an ing new significant theorem, such as Fermat’s Last Theorem, attempt to consider mathematical theorems as logical state- deal with combining proof trees on tree forests by using the ments which are automatically inferred from axioms by log- analogy as an inference metarule. In other words, the real ical inference rules. To continue and enhance this approach, mathematical proofs cannot be formalized as discrete se- David Hilbert, the German mathematician (1862–1943), put quences, but they are concurrent and can by formalized as forward a new proposal for the foundation of mathematics analog processes within a space with some topological prop- called the Finite Program (or Hilbert’s Program). In this erties. For the first time, inference metarules in a topological proposal all of mathematics should have been formalized in space were proposed in the Talmud within a general Judaic axiomatic form, together with a proof by ‘finitary’ methods approach to concurrent or even massive-parallel conclusions. proposed by Hilbert that this axiomatization is consistent. The mathematician does not think sequentially like a logi- Now there are some basic formal theories which are re- cal automaton, but concurrently, also. Hence, we suppose garded as start points in the foundations of mathematics. that the proof technique of real mathematics cannot be for- This means that these theories, in the way how it seems malized by discrete methods. It is just a hypothesis of the to mathematicians, can cover big fragments of mathemat- foundations of mathematics that we can use discrete tools so ics by their extensions. For instance, it is assumed that in that mathematics can be reduced to logic. We show in the the foundations for number theory we should start from the paper how the mathematical proof can be formalized just five Peano’s axioms, introduced by Giuseppe Peano in 1889 by analog computations, not discrete ones. and now called the Peano arithmetic PA. Also, it is sup- posed that any set-theoretic reasoning in mathematics (like reasoning in topology) can be reduced to statements for- CCS Concepts malized in the Zermelo-Fraenkel set theory, constructed by •Computing methodologies → Parallel computing me- mathematicians Ernst Zermelo and Abraham Fraenkel and thodologies; Artificial intelligence; •Parallel algorithms denoted by the abbreviation ZFC, where C means axiom of → Massively parallel algorithms; •Artificial intelligence choice. → Philosophical/theoretical foundations of artificial intelli- To sum up, mathematicians believe still that the founda- gence; tions of mathematics in the meaning of Principia Mathe- matica are possible and any correct well-done mathematical Keywords reasoning can be rewritten in a logical theory such as ZFC. So, they believe that all the mathematics can be reduced to Hilbert’s program; foundations of mathematics; Fermat’s a logic. Is it true indeed? Is it possible? last theorem; Cauchy criterion; topological Cauchy-Cantor In mathematics there are really non-trivial theorems which intersection theorem; proof trees are so deep that they cannot be inferred without introduc- ing absolutely new mathematical constructions. For exam- 1. INTRODUCTION ple, Fermat’s Last Theorem (FLT)iswellformulatedinPA. The Principia Mathematica, a three-volume work written Therefore this statement seems to be so simple. For the first jointly by Alfred North Whitehead and Bertrand Russell and time, FLT was put forward by Pierre de Fermat in 1637 in published in 1910, 1912, and 1913, was the first book the margin of a copy of Arithmetica. However, this state- mentwasprovenformallyonlyafter358yearsofeffortby mathematicians, namely by Andrew Wiles in 1995 [6]. The most dramatic problem of FLT recently is that this theo- Permission to make digital or hard copies of all or part of this work for personal rem is proved mathematically and this proof was accepted or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice by mathematical communities, but this statement was not and the full citation on the first page. To copy otherwise, to republish, to post on checked by logicians at all. It is unknown still whether there servers or to redistribute to lists, requires prior specific permission and/or a fee. is a logical proof of FLT. In other words, FLT is not covered BICT 2017, March 15-16, Hoboken, United States by any foundations of mathematics still. *4#/ As we said, FLT is well written in a first-order sentence %0*10.4108/eai.22-3-2017.152404 of PA. However, it does not mean that it can be proved Copyright © 2017 &"*
in PA. After the Paris-Harrington theorem [3], it is well stance, the notation t = {c[{a[{}],b[{}]}]} means that we known that there are ever first-order arithmetic statements have a tree consisting only of two edges/premisses a[{}]and written in PA which cannot be proved in PA, such as the b[{}] and one conclusion from them c[{a[{}],b[{}]}]: Strong Ramsey Theorem that can easily be proved in the second-order arithmetic from the infinite version of the stan- dard theorem. Also, it is known that there are many other combinatorial problems that are beyond PA. In [2], Colin McLarty supposed that FLT can be proved in some higher- order extensions of PA, but nobody has checked it still. a b Another hypothesis of McLarty [2] is that FLT is beyond ZFC. It is quite evident taking into account the fact that cohomological number theory used by Wiles [6] is based on Grothendieck’s universes which model ZFC, but the exis- c tence of a universe is not provable in ZFC. Grothendieck’s own axiom of universes, which was added to ZFC,affirms that every set is contained in some universe (there is an un- countable strongly inaccessible cardinal for sets) [1]. Hence, in cohomology we deal with ZFC+U consisting of ZFC The notation t = {c[{a[{}],b[{}]}],a[{}]} designates the with the assumption U of a universe. So, FLT can be proved following tree: at least in ZFC+U or even in higher extensions, and evi- dently not in ZFC. Nevertheless, there is no formal proof still what is set theory looks like for FLT. Thus, there are ever serious mathematical theorems such as FLT which are beyond the recent foundations of mathe- matics (for instance, beyond PA or ZFC). However, math- a b ematicians and logicians unconsciously obey the quite re- ligious faith and follow the deep-inner intuition that any mathematical theorem can be reduced to a theorem of ex- isted symbolic logic. In symbolic logic we appeal to a formal T aL theory i that possesses logical axioms/theorems ( i1,..., a c L ain) within a logical system L like the classical propositional T T logic and non-logical axioms / theorems (ai1,...,aim)for defining properties of predicates and functions introduced T L in i. Then by using inference rules of we can infer L L The formula t = {d[{c[{a[{}],b[{}]}],a[{}]}],f[{}],e[{}]} in Ti all possible provable sentences from (ai1,...,ain)+ T T satisfies the following tree: (ai1,...,aim). Surely, it does work in symbolic logic indeed, but it is unknown still whether it gives something to real mathematics. In real mathematics, i.e. in a proof of deep sentences such as FLT, we use some axioms / presuppo- M M sitions / sentences (ai1 ,...,aik )andthemaintaskofthe T foundations of mathematics is to set up a formal theory i a M M b to find out an injective mapping from (ai1 ,...,aik )into T T (ai1,...,aim). The problem is that, on the one hand, some M M sentences from (ai1 ,...,aik )inFLT can be just intuitive and not well-formulated (or even not conscious). On the other hand, their true symbolic-logical analogues in Ti can T T a c be absent from the list (ai1,...,aim) and not sketched still. M M In this paper we assume that (ai1 ,...,aik ) for serious the- orems like FLT are not non-logical axioms / theorems which T T can be represented as (ai1,...,aim). So, we assume that higher mathematics cannot be reduced to symbolic logic. f M M M M Let us suppose now that (ai1 ,...,aik )=(ai1 ,...,aik )+ e L L T T T T L d (ai1,...,ain) and (ai1,...,aim)=(ai1,...,aim)+(ai1,..., L ain), i.e. they are closed under the inference rules of L. T aT aT t t Each proof in i =(i1,..., im)isatree .Letej be an inference rule of T , i.e. it is an elementary tree i Hence, in T we deal just with finite trees labelled in – it has one parent (the inferred statement) and several i (aT ,...,aT ) in the way defined above. its direct children (axioms as premisses). Then t consists i1 im Let an ordered sequence of trees be called a forest.We of te1 ,...,tej as its subtrees. Let {} be an empty tree. say a forest si = ti,ti,ti ,... is a piece of a forest sj = Then each edge/branch of t can be labelled by a sentence t ,t ,t ,..., written s s if s can be obtained from α ∈ (aT ,...,aT )asfollows: α[t ], where t is an elemen- j j j i j i i1 im s by removing nodes. In other words, there is an injec- tary subtree (inference rule) of t that was used to obtain j tive mapping from nodes of s to nodes of s that pre- α. Then a tree can be denoted by all its branches. For in- i j serves the lexicographic and descendant ordering. Then a
M M T T reduction of (ai1 ,...,aim)to(ai1,...,ain) would mean that of Section 1, if we define all the last particulars of the Torah aM ,...,aM aT ,...,aT aM ,...,aM apart,...,apart ( i1 im)isapieceof( i1 in), i.e. ( i1 im) as axioms of the Talmud: ( i1 in ). T T (ai1,...,ain). Now, let us consider an example from Exodus 22 and let In deep theorems like FLT we have ever a forest sj ,which us try to build up a proof tree for the notion ‘responsibility M M is a substantial part of (ai1 ,...,aim), such that sj is not a for the property of his neighbour’, just basing on the text of T T piece for any forest of (ai1,...,ain). So, we can distinguish the Torah. We have the following statements mentioned in M M two kinds of forests from (ai1 ,...,aim): this chapter of the Holy Book:
T G “He is responsible for the property of his neighbour.” 1. a forest sj which is a piece of some forest from (ai1, aT ..., in), these pieces are called logical fragments; G1 “The neighbour’s property is given for safekeeping for free of charge.” 2. a forest sj which is not a piece of any forest from aT ,...,aT s ( i1 in), this j is called a new construction. G2 “The neighbour’s property is given for safekeeping for money.” We assume that logical fragments are well studied in the foundations of mathematics, but new constructions are not G3 “The neighbour’s property is borrowed.” yet. The true mathematical task is to give non-trivial es- sential theorems containing new constructions. The math- G1P1 “The safekeeping for free of charge is stolen. He ematician starts his work with logical fragments to obtain should swear that he did not lay his hand upon his new constructions later. neighbor’s property.” Thus, the higher mathematics is eternally to extend forests If a man shall deliver unto his neighbour of (aM ,...,aM ) by proposing new constructions. Therefore, i1 im moneyorstufftokeep,anditbestolenout the mathematician deals not only with proofs/trees (what of the man’s house; if the thief be found, let can be reduced completely to pieces from (aT ,...,aT )), but i1 in him pay double. If the thief be not found, more often with forests which are irreducible to pieces of then the master of the house shall be brought (aT ,...,aT ). Mathematicians know that sometimes rea- i1 in unto the judges, to see whether he have put soning by analogy allows them to propose really something M his hand unto his neighbour’s goods (KJV, new. They take a piece from one theory Ti =(ai1 ,..., M Exodus, 22:7-8). aim) to combine it with forests of another theory Tj = aM ,...,aM T ( j1 jk) and then to obtain the next theory f = G2P1 “The safekeeping for money is stolen. He should pay aM ,...,aM ( f1 fl). the loss.” In the Talmud there was proposed a metareasoning for M M G2P2 “The safekeeping for money is destroyed for natural extending the dataset (forests) of the Torah, (ai1 ,...,aik ), by analogies for the first time (see Section 2). It is a way reasons. He should swear that he did not lay his hand M M upon his neighbor’s property.” how we can add new axioms to (ai1 ,...,aik ) just looking at existing forests. In Section 3 we will show how we can use these methods in the recent foundations of mathemat- If a man deliver unto his neighbour an ass, ics. Hence, the Talmudic metareasoning in the foundations or an ox, or a sheep, or any beast, to keep; of mathematics are called by us ‘Talmudic foundations of and it die, or be hurt, or driven away, no mathematics’, see [4], [5]. We assume that in a real mathe- man seeing it: Then shall an oath of the matical practice mathematicians use a similar metareason- Lord be between them both, that he hath ing to build up new forests by looking at existing forests (let not put his hand unto his neighbour’s goods; us notice that this metareasoning is considered often as a and the owner of it shall accept thereof, and mathematical intuition). he shall not make it good. And if it be stolen from him, he shall make restitution unto the owner thereof (KJV, Exodus, 22:10-12). 2. WHAT IS TALMUDIC LOGIC? Usually, the term ‘Talmudic logic’ means the Judaic her- G3P2 “The borrowed is destroyed for natural reasons. He ”.first formulated should pay the loss ,[4] (מידות ,meneutic rules (Hebrew: middot as a special hermeneutics by Hillel in the 1st century B.C. (he proposed the 7 rules), by Rabbi Ishmael in the 2nd cen- And if a man borrow ought of his neighbour, tury A.D. (he established the 13 rules for inferring the law, and it be hurt, or die, the owner thereof be- halakhah), and by Rabbi Eliezer ben Jose HaGelili in the ing not with it, he shall surely make it good. same 2nd century A.D. (he examined the 32 rules for infer- But if the owner thereof be with it, he shall ring the holy stories, haggadah). As a result, in the Talmud notmakeitgood:ifitbeanhiredthing,it we face a logical point of view in respect to the Torah: all the came for his hire (KJV, Exodus, 22:14-15). -or‘gen(פרט ) ’Biblical statements are considered ‘particular As we see, we deal here with the four last particulars (i.e. implying some conclusions by using hermeneutic (כלל ) ’eral Talmudic axioms): (G1P1, G2P1, G2P2, G3P2). How- rules. A Biblical statement, ϕi , is regarded particular,if part ever, the data set for ‘responsibility for the property of his |ϕi | ϕi its verification part (i.e. all denotates of part) is a subset neighbour’ is not complete – we know nothing about the |ϕj | ϕj of a verification gen for another statement, gen,namely: following two particulars (axioms) which are supposed also: i j i j |ϕpart|⊆|ϕgen|. In this case the implication ϕpart → ϕgen is true. Hence, we can draw appropriate proof trees by using G1P2 “The safekeeping for free of charge is destroyed for modus ponens and other classical inference rules in the way natural reasons. What should he do?”
G3P1 “The borrowed is stolen. What should he do?” G1P2 = min(G2P2, G1P1). In the picture form, the complete data set must be seen as follows: From this it follows that
G1P2 “The safekeeping for free of charge is destroyed for natural reasons. He should swear that he did not lay his hand upon his neighbor’s property.” G3P2 G3P1 G2P2 G2P1 G1P2 G1P1 Analogically, G3P1 is defined by qal wa-h. omer thus:
G3P1 = min(G2P1, G3P2). Then it is inferred that G3 G2 G1 G3P1 “The borrowed is stolen. He should pay the loss.”
So, the main goal of qal wa-h. omer is to add new axioms for the Torah data sets to make the proof trees more sym- G metrical: in the same tree t with only one root all subtrees must bear the same number of edges. For instance, in the tree
t = {G[{G1[{G1P1[{}]}], G2[{G2P1[{}], G2P2[{}]}], Nevertheless, in the Torah an appropriate data set is sketched G3[{G3P2[{}]}]}]} in the following manner, i.e. it is absolutely incomplete for inferring ‘responsibility for the property of his neighbour’: we had the subtree t = {G2[{G2P1[{}], G2P2[{}]}]} with the number of edges 2 that exceeds the numbers of edges of all other subtrees. Then we must add new branches to each subtree where the number of edges is less than 2.
G3P2 G2P2 G2P1 G1P1 Definition 1 (Inference Metarule qal wa-h. omer). Let a tree t have i subtrees: t1, ..., ti and let Nj be a number apart,...,apart j ,i of axioms ( j1 jN ) for each = 1 and let all ax- ioms for each subtree be lexicographically ordered in the same i way. Assume that max Nj = n. This means that there exists =1 G3 G2 G1 j l such that 1 ≤ l ≤ i and Nl = n. Let us suppose now that there exists k ∈{1,...,i} such that k = l and Nk = m