Probléma: a matematikusok szerint nem egyértelmű, mit jelent az “egyenlőségjel”
Az “egyenlőségnek” a matematikusok számára több definíciója is létezik, ami sokáig nem okozott problémát, de a számítógépes bizonyításellenőrzés során már gondot jelent. Ennek megoldása a matematika alapjainak az újragondolását is igényelheti.
- Hirdetés -