Timeline for Algebraization of arithmetic and stronger theories?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 22, 2020 at 23:34 | comment | added | Frode Alfson Bjørdal | Indeed. Anyway, I would like to know some about what such algebras look like if they exist. | |
| Jul 22, 2020 at 23:12 | comment | added | user44143 | For this case, Euler had everything needed by 1770. | |
| Jul 22, 2020 at 22:31 | comment | added | Frode Alfson Bjørdal | At least that was discovered after 1989. :) | |
| Jul 22, 2020 at 22:16 | comment | added | user44143 | Sure, instead of saying $x^3+y^3=z^3\to xyz=0$, say $\max((xyz)^2(1-(x^3+y^3-z^3)^2))=0$. | |
| Jul 22, 2020 at 21:12 | history | edited | YCor | CC BY-SA 4.0 |
fixed title
|
| Jul 22, 2020 at 21:05 | history | asked | Frode Alfson Bjørdal | CC BY-SA 4.0 |