Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2410.19976 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916455810859008 |
|---|---|
| author | Sant'Anna, Adonai Schlup |
| author_facet | Sant'Anna, Adonai Schlup |
| contents | Equations are ubiquitous in most mathematical activities. Nevertheless, in this paper it is shown how to do standard mathematics without any equation at all. More than that, it is proven there is a foundational framework for standard mathematics where equations cannot be even written, in the sense they are not formulas. The proof of those claims is very simple, almost obvious. I use this framework to suggest a way to deal with certain notions of indiscernibility between `objects', with special emphasis on some aspects of quantum mechanics. Finally I compare this approach to quasi-set theory, an unnecessarily complicated formal work designed to deal with violation of Leibniz Principle of the Identity of Indiscernibles. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_19976 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Nobody needs equations Sant'Anna, Adonai Schlup Logic Equations are ubiquitous in most mathematical activities. Nevertheless, in this paper it is shown how to do standard mathematics without any equation at all. More than that, it is proven there is a foundational framework for standard mathematics where equations cannot be even written, in the sense they are not formulas. The proof of those claims is very simple, almost obvious. I use this framework to suggest a way to deal with certain notions of indiscernibility between `objects', with special emphasis on some aspects of quantum mechanics. Finally I compare this approach to quasi-set theory, an unnecessarily complicated formal work designed to deal with violation of Leibniz Principle of the Identity of Indiscernibles. |
| title | Nobody needs equations |
| topic | Logic |
| url | https://arxiv.org/abs/2410.19976 |