Thuluviel
Csatlakozott ekkor: 2008. január 11.
Molnár Attila A Logika tanszék Wikipédia-szócikkíró szemináriumának keretében kezdtem meg tevékenykedésem.
Ami érdekel: A matematika alapjai.
Mi van részSzerkesztés
Nem jók a dolgok, amiket a bizonyíthatósági logikához írtam. Aztán átrágom mégegyszer az elsőrendet és befejezem. Aztán szétvagdalom ezt a hatalmas cikket asszem.
AllapokSzerkesztés
FirkalapSzerkesztés
IdézetekSzerkesztés
- Irányelvek:
- Ide való idézet egy nem közismert, hanem szűk szakmai körökben ismert szakkönyvből vett részlet, mivel nem tart közérdeklődésre számot.
Terminológia és szokásokSzerkesztés
- Ki hogy jelöl, mit hogy hív, hogy épít fel, miben különbözik, ha jobb, miért rosszabb...
SzócikkekSzerkesztés
- Modális logika
- Euklideszi reláció
- Peano-aritmetika (Átvéve és úgy fejlesztve)