Schumann, Andrew and Kuznetsov, Alexander V. (2017) Talmudic Foundations of Mathematics. In: 10th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS).
![[thumbnail of 25327.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "25327.pdf")
PDF
25327.pdf
Download (185kB)
Abstract
In this paper, we assume that the mathematicians in proving new significant 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, b
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 11:03 |
| Last Modified: | 17 Apr 2026 17:10 |
| URI: | http://eprints.eai.eu/id/eprint/16661 |
Actions (login required)
- View Item