A gyökkettő az a nem negatív valós szám, melynek négyzete a kettő. Ezt a számot így lehet definiálni, a definícióhoz elég volt véges sok szó, vagy írásjel. Egy átlagos tudású érettségiző percek alatt be tudja bizonyítani, hogy ez a szám nem racionális.
Részben érinti a témát, hogy a matematikusok egy része, az ún. konstruktivisták elvetik azt a bizonyítási módszert, amin a gyökkettő irracionalitása alapszik.

Aki szeretné a gyökkettőt tizedestört alakban meghatározni, közelítést végez mindaddig, míg a tizedesvessző utáni jegyek száma véges.
Ezt nem értem.

A matematikai fogalmak absztrakció útján jönnek létre. Ha valaki konstruál egy definíciót, azzal a fogalom létrejött, felesleges erőlködés annak materializálható megfelelőjét felkutatni.

A fogalom létezését nem is vonta kétségbe senki.
A kérdés, ami úgy tűnik néhányunkat foglalkoztat, a #320-ban hangzott el pl.