Vita:Alfred Tarski

Mozo: Szerinted kész vagyunk?

Nem állítanám, hogy készen vagyunk. Mozó

Akkor, mondd meg, hogy mit csináljak!

Nos, szerintem

1) az "igazság fogalmás" cikkhez kéne még valami rövidebb összefoglalót írni arról, hogy hogyan is definiálta Tarski az igaz mondat fogalmát.

2) ugyanítt, vagy máshol kéne arról írni, hogy míg Gödel platonista meggyőződésétől vezéreltetve fogalmaz úgy, hogy "létezik olyan mondat, mely ugyan igaz, de nem bizonyítható" (merthogy Gödel szerint minden matematikai állítás vagy "igaz" vagy "hamis"), addig Tarski ugyanezt már matematikailag jól meghatározott igazságfogalom mellett mondja és bizonyítja is (ez lenne Tarski azon tétele, mely a Smullyan könyvben is szerepel Tarski-Gödel név alatt). Az eredeti Tarski cikkben a nemdefiniálhatósági tétel (204. oldal) más kontextusban szerepel.

3) kéne írni néhány sort a Banach-Tarski paradoxonról és a kiválasztási axióma filozófiai problémáiról.

4) Tarski sok geometriai tárgyú cikket is írt, így érdemes lenne megemlíteni valami ilyen eredményét is. Mondjuk az angol wikiben van egy szócikk az euklideszi geometria Tarski féle axómáiról en:Tarski's axioms - ezek nekem például tetszenek. De nem tudom, lehet, hogy lenne jobb geometriai téma is.

Végül megkérlek, írj egy szakaszt a Gödel első nemteljességi tétele szócikkbe a Smullyan-féle logvagos interpretációról, tehát, hogy a tételnek van egy tudományos ismeretterjesztő szintű megfogalmazása is.Mozo 2006. január 5., 22:30 (CET)

Üdv, Meg kellene jegyezni szerintem, hogy ki is tartja a négy legnagyobb logikus egyikének - az angol Wikin megtalálható az infó.