elsoszulott Creative Commons License 2011.12.08 0 0 4048

Akkor ha jól értem a legkevésbé sem osztod azt a nézetet miszerint:

 

"A fenti ´eszrev´etel f´eny´eben mondhat´o, hogy az els˝orend˝u elm´eletek kev´esb´e
alkalmasak a matematika megalapoz´as´ara, mint az 5. pontban t´argyalt matematikai
elm´eletek. De az els˝orend˝u nyelveket ´es elm´eleteket eredetileg sem erre, hanem
logikai vizsg´alatok c´elj´ara fejlesztett´ek ki."

 

 

A "fenti észrevételek" rész arra vonatkozik, hogy a szerző előtte 8 pontban összefoglalja, hogy az Általa matematikai elméletnek nevezett dolgok milyen tekintetben jobbak, mint az elsőrendű elméletek.

 

Hogy pontos hivatkozást is adjak: Kristóf János Tanár Úr "A matematikai analízis logikai alapjai" című jegyzetnének 121. oldalának közepétől sorakoztatja fel az érveit, előtte pedig számomra teljesen ismeretlen logikai eszközöket használ a "matematikai elméletek" fölépítésére, amik lényegesen mások mint az elsőrendű elméletek.

Előzmény: Gergo73 (4047)