A TheoDefről, a használt Gödel-számozás leírása Technikai hibák jelentése, segítségkérés, javaslattételA szerkesztéslista (2023. június 27., 17:40-től van benne minden a változatokhoz a tartalom mellett tartozó információ)
A weboldal jelenleg fejlesztés alatt áll, előfordulhat egyes funkciók átmeneti működésképtelensége.
Módosítás


A változat dátuma: 2023. 07. 17., 11:08:26am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Nem szükséges bizonyítani, ez a szorzás definíciója.
A változatbani tételleírás: Tetszőleges számot nullával szorozva nullát kapunk.
Az előző változaton végzett változtatások összefoglalva: Hopsz, ez kimaradt
A változatbani tételleírás hossza byte-ban: 55
A változatbani bizonyítás hossza byte-ban: 58

A változat dátuma: 2023. 07. 17., 11:09:19am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Nem szükséges bizonyítani, ez a szorzás definíciója.
A változatbani tételleírás: Bármely számot nullával szorozva nullát kapunk.
Az előző változaton végzett változtatások összefoglalva:
A változatbani tételleírás hossza byte-ban: 51
A változatbani bizonyítás hossza byte-ban: 58

A változat dátuma: 2023. 07. 17., 11:09:54am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Nem szükséges bizonyítani, ez a szorzás definíciója.
A változatbani tételleírás: Tetszőleges számot nullával szorozva nullát kapunk.
Az előző változaton végzett változtatások összefoglalva: Jobb szó a tetszőleges
A változatbani tételleírás hossza byte-ban: 55
A változatbani bizonyítás hossza byte-ban: 58

A változat dátuma: 2023. 07. 19., 02:01:39pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Nem szükséges bizonyítani, ez a szorzás definíciója.

A változatbani tételleírás:

Tetszőleges számot nullával szorozva nullát kapunk.

Az előző változaton végzett változtatások összefoglalva: pontossági szintek megadása
A változatbani tételleírás hossza byte-ban: 80
A változatbani bizonyítás hossza byte-ban: 83

A változat dátuma: 2023. 08. 03., 06:09:38am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Nem szükséges bizonyítani, ez a szorzás definíciója.
A változatbani tételleírás: Tetszőleges számot nullával szorozva nullát kapunk.
Az előző változaton végzett változtatások összefoglalva: Teszt
A változatbani tételleírás hossza byte-ban: 55
A változatbani bizonyítás hossza byte-ban: 58

A változat dátuma: 2023. 08. 03., 06:10:15am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Nem szükséges bizonyítani, ez a szorzás definíciója.

A változatbani tételleírás:

Tetszőleges számot nullával szorozva nullát kapunk.

Az előző változaton végzett változtatások összefoglalva: Teszt utáni helyreállítás –
A változatbani tételleírás hossza byte-ban: 80
A változatbani bizonyítás hossza byte-ban: 83

A változat dátuma: 2023. 08. 03., 06:11:46am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Nem szükséges bizonyítani, ez a szorzás definíciója.
A változatbani tételleírás: Bármely számot nullával szorozva nullát kapunk.
Az előző változaton végzett változtatások összefoglalva: Szoftverteszt
A változatbani tételleírás hossza byte-ban: 51
A változatbani bizonyítás hossza byte-ban: 58

A változat dátuma: 2023. 08. 03., 06:12:09am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Nem szükséges bizonyítani, ez a szorzás definíciója.

A változatbani tételleírás:

Tetszőleges számot nullával szorozva nullát kapunk.

Az előző változaton végzett változtatások összefoglalva: Teszt utáni helyreállítás
A változatbani tételleírás hossza byte-ban: 80
A változatbani bizonyítás hossza byte-ban: 83

A változat dátuma: 2023. 08. 03., 06:15:26am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Nem szükséges bizonyítani, ez a szorzás definíciója.
A változatbani tételleírás: Bármely számot nullával szorozva nullát kapunk.
Az előző változaton végzett változtatások összefoglalva: Hát ez miért nem működik?
A változatbani tételleírás hossza byte-ban: 51
A változatbani bizonyítás hossza byte-ban: 58

A változat dátuma: 2023. 08. 03., 06:15:36am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Nem szükséges bizonyítani, ez a szorzás definíciója.

A változatbani tételleírás:

Tetszőleges számot nullával szorozva nullát kapunk.

Az előző változaton végzett változtatások összefoglalva:
A változatbani tételleírás hossza byte-ban: 80
A változatbani bizonyítás hossza byte-ban: 83

A változat dátuma: 2023. 08. 10., 01:25:01pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Nem szükséges bizonyítani, ez a szorzás definíciója.

A változatbani tételleírás:

Tetszőleges számot nullával szorozva nullát kapunk.

Lásd még

Egyéb számelméleti cikkek (a lista nem „lapraszabott”, e leírást is tartalmazza)
Az előző változaton végzett változtatások összefoglalva: Lásd még – linkeltem a katalógus vonatkozó részét
A változatbani tételleírás hossza byte-ban: 261
A változatbani bizonyítás hossza byte-ban: 83

A változat dátuma: 2023. 08. 11., 03:16:01pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Nem szükséges bizonyítani, ez a szorzás definíciója.

A változatbani tételleírás:

Tetszőleges számot nullával szorozva nullát kapunk.

Lásd még

CatSzámelméletCat
Az előző változaton végzett változtatások összefoglalva:
A változatbani tételleírás hossza byte-ban: 140
A változatbani bizonyítás hossza byte-ban: 83

A változat dátuma: 2023. 08. 12., 11:56:10am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Nem szükséges bizonyítani, ez a szorzás definíciója.

A változatbani tételleírás:

Tetszőleges számot nullával szorozva nullát kapunk.

Lásd még

Link2210321833112132131033120111313213331232Link CatSzámelméletCat
Az előző változaton végzett változtatások összefoglalva: Lásd még
A változatbani tételleírás hossza byte-ban: 190
A változatbani bizonyítás hossza byte-ban: 83

A változat dátuma: 2023. 08. 12., 11:56:21am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Nem szükséges bizonyítani, ez a szorzás definíciója.

A változatbani tételleírás:

Tetszőleges számot nullával szorozva nullát kapunk.

Lásd még

Link2210321833112132131033120111313213331232Link
CatSzámelméletCat
Az előző változaton végzett változtatások összefoglalva:
A változatbani tételleírás hossza byte-ban: 195
A változatbani bizonyítás hossza byte-ban: 83