Reklama
Nepřihlášený uživatel | Zaregistrovat se
 

Téma:

Věda a technika, mládeži

Spravují:

arnost, snop

Reklama


Zasláno do klubu

Matematika


Když do tebe, tak do tebe. 1) Standardně se to zavádí přesně obráceně, tj. unární mínus jako zakládní operace a binární jako syntactic sugar pro x + (-y). Jako je to jedno, šlo by to i jak píšeš, ale axiomy by nebyly tak elegantní. 2) Tahleta snaha redukovat všechno na množiny je samoúčelná úchylárna. 3) Stejně to máš nějak divně ;-) Já bych to třeba udělal jako uspořádan6 dvojice (z, n), kde z je znamínko, 0 je + a 1 je -, a n je přirozený s tim, že zápis -0 neboli (1, 0) je zakázanej.