Módosítás
A változat dátuma: 2023. 06. 24., 06:09:51pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Definíció szerint van így, nem szorul bizonyításra.
A változatbani tételleírás: Bármely szám nulladik hatványa 1.
A változat dátuma: 2023. 06. 27., 08:37:54am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Definíció szerint van így, nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: Lásd még
hozzáadása
A változat dátuma: 2023. 06. 30., 01:22:41pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Definíció szerint van így, nem szorul ennélfogva bizonyításra.
Az előző változaton végzett változtatások összefoglalva: kis javítás
A változat dátuma: 2023. 07. 10., 05:35:05pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Definíció szerint van így, nem szorul ennélfogva bizonyításra.
Az előző változaton végzett változtatások összefoglalva: apró kódszépítés
A változat dátuma: 2023. 07. 11., 05:10:39pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: nyelvtani (szórendi) és kódszépítés
A változatbani tételleírás hossza byte-ban: 1
A változatbani bizonyítás hossza byte-ban: 68
A változat dátuma: 2023. 07. 11., 05:13:15pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: Semmit, az előbb még nem volt jó a hossz-számláló
A változatbani tételleírás hossza byte-ban: 271
A változatbani bizonyítás hossza byte-ban: 68
A változat dátuma: 2023. 07. 13., 04:19:36pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: Hátha működik
A változatbani tételleírás hossza byte-ban: 325
A változatbani bizonyítás hossza byte-ban: 68
A változat dátuma: 2023. 07. 15., 08:35:53am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: Pontossági szint megadása a „bizonyítás”-hoz
A változatbani tételleírás hossza byte-ban: 325
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 07. 26., 05:07:44am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
A változatbani tételleírás:
Bármely szám nulladik hatványa 1.
Lásd még
∀(a): a0 = 1
Az előző változaton végzett változtatások összefoglalva: apró szépítés
A változatbani tételleírás hossza byte-ban: 323
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 07. 26., 05:09:21am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: Hopsz, elnéztem
A változatbani tételleírás hossza byte-ban: 333
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 07. 26., 05:09:59am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva:
A változatbani tételleírás hossza byte-ban: 332
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 07. 26., 05:10:33am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva:
A változatbani tételleírás hossza byte-ban: 328
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 07. 26., 05:14:41am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: apró javítás
A változatbani tételleírás hossza byte-ban: 339
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 07. 26., 05:17:33am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva:
A változatbani tételleírás hossza byte-ban: 343
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 07. 26., 05:18:56am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: Ide nem kell szóköz
A változatbani tételleírás hossza byte-ban: 334
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 07. 26., 10:46:18am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: Igen-igen, csakazértis átlátható marad a kód, még ha kétszáz szoftverhiba teszi is tönkre – de szerencsére csak egy apróság volt.
A változatbani tételleírás hossza byte-ban: 342
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 07. 26., 10:47:55am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: Nézzük: jó-e már?
A változatbani tételleírás hossza byte-ban: 342
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 07. 28., 06:26:09am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
A változatbani tételleírás:
Bármely számot nulladik hatványra emelve egyet kapunk.
Lásd még
∀a∀b: ab+1 = ab * a
Az előző változaton végzett változtatások összefoglalva: Megfogalmazás javítása
A változatbani tételleírás hossza byte-ban: 276
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 08. 08., 12:52:18pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: Hurrá, már ez is működik!
A változatbani tételleírás hossza byte-ban: 265
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 08. 10., 01:25:38pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: Lásd még – a katalógus vonatkozó részének linkelése
A változatbani tételleírás hossza byte-ban: 407
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 08. 11., 03:16:45pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
Az előző változaton végzett változtatások összefoglalva: CatSzámelméletCat
A változatbani tételleírás hossza byte-ban: 286
A változatbani bizonyítás hossza byte-ban: 93
A változat dátuma: 2023. 08. 12., 11:43:47am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Definíció szerint van így, ennélfogva nem szorul bizonyításra.
A változatbani tételleírás:
Bármely számot nulladik hatványra emelve egyet kapunk.
Lásd még
Link22103218331121321410331201113132141033111332Link
CatSzámelméletCat
Az előző változaton végzett változtatások összefoglalva: Új funkció tesztelése
A változatbani tételleírás hossza byte-ban: 227
A változatbani bizonyítás hossza byte-ban: 93